Ada95

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