Sciweavers

6568 search results - page 387 / 1314
» Reducing the Complexity of Reductions
Sort
View
ASPDAC
2004
ACM
75views Hardware» more  ASPDAC 2004»
16 years 1 months ago
Power-performance trade-off using pipeline delays
— We study the delays faced by instructions in the pipeline of a superscalar processor and its impact on power and performance. Instructions that are ready-on-dispatch (ROD) are ...
G. Surendra, Subhasis Banerjee, S. K. Nandy
FSTTCS
2004
Springer
16 years 1 months ago
Decidability of MSO Theories of Tree Structures
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
Angelo Montanari, Gabriele Puppis
IBERAMIA
2004
Springer
16 years 1 months ago
A Multi-robot Strategy for Rapidly Searching a Polygonal Environment
In this paper we address the problem of finding an object in a polygonal environment as quickly as possible on average, with a team of mobile robots that can sense the environment...
Alejandro Sarmiento, Rafael Murrieta-Cid, Seth Hut...
IOLTS
2003
IEEE
95views Hardware» more  IOLTS 2003»
16 years 29 days ago
Crosstalk Effect Minimization for Encoded Busses
In this paper we present a technique which allows to reduce the crosstalk-induced delay within busses implementing an error detecting/correcting code. This technique is based on t...
L. Di Silvio, Daniele Rossi, Cecilia Metra
ISMVL
2003
IEEE
80views Hardware» more  ISMVL 2003»
16 years 29 days ago
Augmented Sifting of Multiple-Valued Decision Diagrams
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
D. Michael Miller, Rolf Drechsler