Sciweavers

1429 search results - page 2 / 286
» An Overview of the Annex System
Sort
View
ATAL
2009
Springer
15 years 4 months ago
False name manipulations in weighted voting games: splitting, merging and annexation
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...
Haris Aziz, Mike Paterson
ISORC
2000
IEEE
15 years 1 months ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
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...
Laurent Pautet, Samuel Tardieu
78
Voted
JSA
2011
81views more  JSA 2011»
14 years 10 days ago
An overview of interrupt accounting techniques for multiprocessor real-time systems
The importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed and three interrupt accounting methods, namely quantum-centric, task-...
Björn B. Brandenburg, Hennadiy Leontyev, Jame...
69
Voted
SIGADA
1998
Springer
15 years 1 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
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...
Samuel Tardieu, Laurent Pautet