339 search results - page 52 / 68 » A novel parallel deadlock detection algorithm and architectu... |
DAC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
148
click to vote
HPDC
1998
IEEE
15 years 4 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
101
click to vote
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
— As network infrastructures with 10 Gb/s bandwidth and beyond have become pervasive and as cost advantages of large commodity-machine clusters continue to increase, research and...
122
Voted
FPL
2008
Springer
15 years 1 months ago
2008
Springer
Cryptanalysis of symmetric and asymmetric ciphers is a challenging task due to the enormous amount of involved computations. To tackle this computational complexity, usually the e...
89
Voted
JCC
2008
14 years 11 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...