6568 search results - page 1076 / 1314 » Reducing the Complexity of Reductions |
215
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
The growing complexity of embedded applications and pressure on time-to-market has resulted in the increasing use of embedded real-time operating systems. Unfortunately, RTOSes ca...
189
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
259
click to vote
FCCM
2003
IEEE
15 years 12 months ago
2003
IEEE
Although domain-specialized FPGAs can offer significant area, speed and power improvements over conventional reconfigurable devices, there are several unique and unexplored design...
183
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...
152
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...