323 search results - page 6 / 65 » Verify Your Runs |
IPPS
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper focuses on parallelization of the classic static timing analysis (STA) algorithm for verifying timing characteristics of digital integrated circuits. Given ever-increasi...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we report the design, implementation and experimental results of Machine Bank, a system engineered towards the popular shared-lab scenario, where users outnumber av...
HVC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
USS
2008
13 years 9 months ago
2008
As the web continues to play an ever increasing role in information exchange, so too is it becoming the prevailing platform for infecting vulnerable hosts. In this paper, we provi...