3974 search results - page 246 / 795 » Metric Functional Dependencies |
169
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
163
click to vote
WCRE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—Change coupling is the implicit relationship between two or more software artifacts that have been observed to frequently change together during the evolution of a softw...
167
click to vote
APPROX
2009
Springer
16 years 19 days ago
2009
Springer
We consider adding k shortcut edges (i.e. edges of small fixed length δ ≥ 0) to a graph so as to minimize the weighted average shortest path distance over all pairs of vertices...
128
click to vote
DFT
2007
IEEE
16 years 11 days ago
2007
IEEE
We address two problems in this work, namely, 1) the resilience challenge in the future chips made up of massively defective nanoelements and organized in replicative multicore ar...
145
click to vote
ICMCS
2007
IEEE
16 years 10 days ago
2007
IEEE
In this paper, we present a graph-theoretic framework for provisioning overlay network based multimedia distribution services to a diverse set of receivers. Considering resource l...