805 search results - page 92 / 161 » Modeling and Analyzing Periodic Distributed Computations |
IPPS
2007
IEEE
14 years 3 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...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
ICPPW
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we present a technique for reducing response delay for web systems, which is based on a proactive cache scheme. It combines predictive pre-fetching and streaming to ...
ICDCS
1993
IEEE
14 years 1 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...