302 search results - page 43 / 61 » An approach to synthesise safe systems |
126
Voted
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
104
click to vote
SP
2003
IEEE
15 years 5 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
99
Voted
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...
111
click to vote
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...
109
click to vote
ENVSOFT
2007
15 years 12 days ago
2007
Cholera (Vibrio cholerae) is endemic in southern Africa and frequently breaks out in epidemics along the eastern seaboard. Extensive resources are directed at combating cholera ye...