663 search results - page 79 / 133 » Algorithms for Computing Minimal Unsatisfiable Subsets of Co... |
MIDDLEWARE
2009
Springer
14 years 6 days ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
MOBIHOC
2000
ACM
13 years 11 months ago
2000
ACM
AbstractDeveloping wireless sensor networks can enable information gathering, information processing and reliable monitoring of a variety of environments for both civil and militar...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
When designing a System-on-Chip (SoC) using a Networkon-Chip (NoC), silicon area and power consumption are two key elements to optimize. A dominant part of the NoC area and power ...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we present a new multi-packing tree (MP-tree) representation for macro placement to handle mixed-size designs. Based on binary trees, the MP-tree is very efficient,...
JGS
2006
13 years 7 months ago
2006
In practical applications of area-to-point spatial interpolation, inequality constraints, such as non-negativity, or more general constraints on the maximum and/or minimum allowab...