18306 search results - page 378 / 3662 » Algorithmics in Exponential Time |
206
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
185
click to vote
AAAI
2008
15 years 9 months ago
2008
A contract algorithm is an algorithm which is given, as part of its input, a specified amount of allowable computation time. In contrast, interruptible algorithms may be interrupt...
189
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
Timing closure problems occur when timing estimates computed during logic synthesis do not match with timing estimates computed from the layout of the circuit. In such a situation...
182
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...