2470 search results - page 85 / 494 » Liveness-Preserving Simulation Relations |
129
click to vote
FAC
2010
14 years 10 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Fourier-envelope algorithms are an important component of the mixed-signal/RF verification toolbox. In this paper, we address the unpredictability and lack of robustness that has...
100
Voted
ASUNAM
2009
IEEE
15 years 7 months ago
2009
IEEE
—We study information diffusion in real-life and synthetic dynamic networks, using well known threshold and cascade models of diffusion. Our test-bed is the communication network...
ESM
2000
15 years 1 months ago
2000
The classical method of evaluation of simulations surely is the batch means method, see e.g. [Bratley et al. 1987], giving confidence intervals to express the precision of the sim...
110
Voted
CIDR
2009
15 years 1 months ago
2009
In recent years, column stores (or C-stores for short) have emerged as a novel approach to deal with read-mostly data warehousing applications. Experimental evidence suggests that...