Ada95
From MaRDI portal
Software:14401
swMATH1753MaRDI QIDQ14401FDOQ14401
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Algebraic semantics of the modeling language AML
- Title not available (Why is that?)
- Some breathers and multi-breathers for FPU-type chains
- Title not available (Why is that?)
- Exception handling—A static 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?)
- Value Sensitivity and Observable Abstract Values for Information Flow Control
- Concurrent and Real-Time Programming in Ada 2005
- Title not available (Why is that?)
- Concurrent programming in the Ada® language: The polling bias
- Integrating library modules into Pascal programs
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Deadlock and WCET analysis of barrier-synchronized concurrent programs
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Title not available (Why is that?)
- Title not available (Why is that?)
- An ``executable impredicative semantics for the Ada configuration
- The maximum diversity assortment selection problem
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Proof System for Ada Tasks
- 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?)
- An introduction to compositional methods for concurrency and their application to real-time.
- Conversion of Fortran to Ada using an Intermediate Tree Representation
- Synthesizing implementations of abstract data types from axiomatic specifications
- Monitoring for Deadlock and Blocking in Ada Tasking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unisex: A unix-based symbolic executor for pascal
- Concurrent communication and synchronization mechanisms
- Traveling wave solutions for the FPU chain: a constructive approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Real-time properties of indirect recursive procedures
- An assessment of Multilisp: Lessons from experience
- System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings
- How to solve the Santa Claus problem
- Title not available (Why is that?)
- Open and closed scopes for constrained genericity
- A Ravenscar-compliant run-time kernel for safety-critical systems
- Fairness in shared invocation servicing
- An attribute grammar for the semantic analysis of ADA
- Concurrent C: A programming language for distributed multiprocessor systems
- The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
- 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
- Extending Hoare logic to real-time
- \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
- Title not available (Why is that?)
- Some reversing orbits for a rattleback model
- Compositional semantics for real-time distributed computing
- A kernel system for iconic image processing
- Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
- Title not available (Why is that?)
- Non-radial solutions for some semilinear elliptic equations on the disk
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Developing software for parallel computing systems
- Title not available (Why is that?)
- Type-based hot swapping of running modules
- Invariants in the application-oriented specification of control systems
- Control discipline necessity: Making the language as general as the implementation
- Evaluating the expressive power of the real-time specification for Java
- On the dynamic semantics and the timing behavior of Ravenscar kernels
- Title not available (Why is that?)
- Access mechanisms in block structured environments
- Families of Periodic Solutions for Some Hamiltonian PDEs
- Title not available (Why is that?)
This page was built for software: Ada95