805 search results - page 92 / 161 » Modeling and Analyzing Periodic Distributed Computations |
152
click to vote
IPPS
2007
IEEE
16 years 13 days 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...
144
click to vote
IPPS
2006
IEEE
16 years 5 days 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...
172
click to vote
ISQED
2003
IEEE
15 years 11 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...
169
click to vote
ICPPW
2000
IEEE
15 years 10 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 ...
189
click to vote
ICDCS
1993
IEEE
15 years 10 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...