Sciweavers

2778 search results - page 117 / 556
» Limit complexities revisited
Sort
View
DAC
2005
ACM
16 years 5 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
16 years 5 months ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
ICCD
2002
IEEE
70views Hardware» more  ICCD 2002»
16 years 1 months ago
Dynamic Loop Caching Meets Preloaded Loop Caching - A Hybrid Approach
Dynamically-loaded tagless loop caching reduces instruction fetch power for embedded software with small loops, but only supports simple loops without taken branches. Preloaded ta...
Ann Gordon-Ross, Frank Vahid
ICDAR
2009
IEEE
15 years 11 months ago
An RDF-Based Blackboard Architecture for Improving Table Analysis
Table analysis is a complex problem, involving searching solutions from a large search space. Studies show that finding the most credible answers to complex problems often requir...
Vanessa Long
RTSS
2009
IEEE
15 years 11 months ago
Rapid Early-Phase Virtual Integration
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...
Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lu...