1355 search results - page 107 / 271 » Alternating Timed Automata over Bounded Time |
141
click to vote
EUC
2007
Springer
15 years 11 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
136
click to vote
TCAD
2010
15 years 6 days ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
153
click to vote
IM
2007
15 years 5 months ago
2007
Today’s search engines are increasingly required to broaden their capabilities beyond free-text search. More complex features, such as supporting range constraints over numeric ...
178
click to vote
TVCG
2008
15 years 5 months ago
2008
Abstract-- Fluid simulations typically produce complex threedimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such "dynam...
165
click to vote
ANTS
2008
Springer
15 years 7 months ago
2008
Springer
We present and analyze two algorithms for computing the Hilbert class polynomial HD. The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < ...