12981 search results - page 2201 / 2597 » Model Checking (Abstract) |
143
click to vote
ISQED
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
166
Voted
PERCOM
2009
ACM
15 years 12 months ago
2009
ACM
Abstract—In this paper, we introduce the cellphonebased indirect sensing problem. While participatory sensing aims at monitoring of a phenomenon by deploying a dense set of senso...
121
click to vote
DAC
2009
ACM
15 years 12 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
150
click to vote
PPOPP
2009
ACM
15 years 12 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
157
click to vote
ARC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...