7820 search results - page 1276 / 1564 » Formalization of Time and Space |
191
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
Abstract— Substantial attention is being paid to the fault diagnosis problem in recent test literature. Yet, the compaction of test vectors for fault diagnosis is little explored...
159
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— The main thesis of this paper is to perform a reliability based performance analysis for a shared latch inserted global interconnect under uncertainty. We first put forward a ...
160
Voted
CASES
2006
ACM
16 years 20 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
182
click to vote
CASES
2006
ACM
16 years 20 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
153
click to vote
DOLAP
2006
ACM
16 years 20 days ago
2006
ACM
Motivated by the increasing need to analyze complex, uncertain multidimensional data this paper proposes probabilistic OLAP queries that are computed using probability distributio...