Sciweavers

18 search results - page 2 / 4
» sigada 1999
Sort
View
130
Voted
SIGADA
1999
Springer
15 years 11 months ago
Ada+SQL-an overview
Arthur V. Lopes
144
Voted
SIGADA
1999
Springer
15 years 11 months ago
A formal model of the Ada Ravenscar tasking profile; delay until
Kristina Lundqvist, Lars Asplund
144
Voted
SIGADA
1999
Springer
15 years 11 months ago
Scheduling problems for parallel and distributed systems
Olga Rusanova, Alexandr Korochkin
135
Voted
SIGADA
1999
Springer
15 years 11 months ago
Optimizing Ada on the fly
Sheri J. Bernstein, Robert S. Duff
SIGADA
1999
Springer
15 years 11 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu