655 search results - page 66 / 131 » Coinduction in Concurrent Timed Systems |
SSS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present a rigorous treatment to structured overlay maintenance in decentralized peerto-peer (P2P) systems subject to various system and network failures. we prese...
PE
2006
Springer
14 years 11 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
100
click to vote
SAMOS
2010
Springer
14 years 10 months ago
2010
Springer
—High-level simulation and design space exploration nowadays are key ingredients for system-level design of modern multimedia embedded systems. The majority of the work in this a...
111
click to vote
COMPUTER
2000
14 years 11 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
112
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...