1972 search results - page 100 / 395 » The Timed Asynchronous Distributed System Model |
126
Voted
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
104
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
133
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
95
Voted
MASCOTS
2008
15 years 3 months ago
2008
We present and validate an enhanced analytical queueing network model of zoned RAID. The model focuses on RAID levels 01 and 5, and yields the distribution of I/O request response...
108
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...