2470 search results - page 85 / 494 » Liveness-Preserving Simulation Relations |
156
Voted
FAC
2010
15 years 1 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...
100
click to vote
ICCAD
2002
IEEE
16 years 1 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...
130
click to vote
ASUNAM
2009
IEEE
15 years 11 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...
134
Voted
ESM
2000
15 years 5 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...
138
click to vote
CIDR
2009
15 years 5 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...