5149 search results - page 264 / 1030 » Timed Asynchronous Distributed Systems |
135
Voted
TITB
2010
14 years 10 months ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
151
Voted
PRDC
1999
IEEE
15 years 8 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
120
Voted
NSDI
2008
15 years 6 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
148
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
174
Voted
PODC
2006
ACM
15 years 9 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...