Sciweavers

1795 search results - page 265 / 359
» On the Complexity of Circuit Satisfiability
Sort
View
112
Voted
CORR
2007
Springer
149views Education» more  CORR 2007»
15 years 20 days ago
Graph Entropy, Network Coding and Guessing games
We introduce the (private) entropy of a directed graph (in a new network coding sense) as well as a number of related concepts. We show that the entropy of a directed graph is ide...
Søren Riis
ATMOS
2010
134views Optimization» more  ATMOS 2010»
14 years 11 months ago
Vertex Disjoint Paths for Dispatching in Railways
We study variants of the vertex disjoint paths problem in planar graphs where paths have to be selected from a given set of paths. We study the problem as a decision, maximization...
Holger Flier, Matús Mihalák, Anita S...
104
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
SAT: A Stream Architecture Template for Embedded Applications
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
Qianming Yang, Nan Wu, Mei Wen, Yi He, Huayou Su, ...
79
Voted
TASLP
2010
99views more  TASLP 2010»
14 years 11 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker
107
Voted
ACSD
2010
IEEE
239views Hardware» more  ACSD 2010»
14 years 10 months ago
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...
W. B. Toms, David A. Edwards