2468 search results - page 189 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
197
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
P2P systems have witnessed phenomenal development in recent years. Evaluating and analyzing new and existing algorithms and techniques is a key issue for developers of P2P systems...
175
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
200
click to vote
ICDCS
2008
IEEE
16 years 26 days ago
2008
IEEE
3D tele-immersion (3DTI) has recently emerged as a new way of video-mediated collaboration across the Internet. Unlike conventional 2D video-conferencing systems, it can immerse r...
155
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
198
click to vote
HPDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...