19700 search results - page 149 / 3940 » DNA-Based Computation Times |
PRDC
2006
IEEE
15 years 7 months ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...
107
click to vote
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— As Internet computing gains speed, complexity and becomes ubiquitous, the need for precise and accurate time synchronization increases. In this paper, we present a characteriza...
PODC
1999
ACM
15 years 5 months ago
1999
ACM
Various timing-based mutualexclusion algorithms have been proposed that guarantee mutual exclusion if certain timing assumptions hold. In this paper, we examine how these algorith...
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
EUC
2008
Springer
15 years 2 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...