Ada95

swMATH1753MaRDI QIDQ14401FDOQ14401

Author name not available (Why is that?)

Official website: http://www.adahome.com/rm95/

Cited In (only showing first 100 items - show all)

• Algebraic semantics of the modeling language AML
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real-time properties of indirect recursive procedures
• Open and closed scopes for constrained genericity
• A Ravenscar-compliant run-time kernel for safety-critical systems
• Fairness in shared invocation servicing
• Concurrent C: A programming language for distributed multiprocessor systems
• Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings
• Application of mixed language programming
• A method of program transformation between variable sharing and message passing
• Some breathers and multi-breathers for FPU-type chains
• \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
• Some reversing orbits for a rattleback model
• Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
• Exception handling—A static approach
• Non-radial solutions for some semilinear elliptic equations on the disk
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent and Real-Time Programming in Ada 2005
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Developing software for parallel computing systems
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• An ``executable impredicative semantics for the Ada configuration
• Title not available (Why is that?)
• Type-based hot swapping of running modules
• On the dynamic semantics and the timing behavior of Ravenscar kernels
• The maximum diversity assortment selection problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Families of Periodic Solutions for Some Hamiltonian PDEs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A review of Ada tasking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Proof System for Ada Tasks
• Title not available (Why is that?)
• A comparison of concurrent programming and cooperative multithreading
• Label-selective \(\lambda\)-calculus syntax and confluence
• An algebra for process creation
• SoftBound
• Conversion of Fortran to Ada using an Intermediate Tree Representation
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Traveling wave solutions for the FPU chain: a constructive approach
• Value sensitivity and observable abstract values for information flow control
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real-time BASIC
• Architectural support for variable addressing in Ada? A design approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent programming in the Ada® language: The polling bias
• Integrating library modules into Pascal programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transducers are type-converters
• Title not available (Why is that?)
• Adam: An Ada-based language for multiprocessing
• Implementation of a Pascal based parallel language for a multiprocessor computer
• Using Ada for discrete event simulation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Comparative Evaluation Of Ada And Euclidf^†
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: Ada95