1429 search results - page 2 / 286 » An Overview of the Annex System |
NOTERE
2010
13 years 3 months ago
2010
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
JSA
2011
12 years 8 months ago
2011
The importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed and three interrupt accounting methods, namely quantum-centric, task-...
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...