Sciweavers

11328 search results - page 16 / 2266
» Timed Branching Processes
Sort
View
ICALP
2003
Springer
15 years 7 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
FOCS
1998
IEEE
15 years 6 months ago
Time-Space Tradeoffs for Branching Programs
Paul Beame, Michael E. Saks, Jayram S. Thathachar
102
Voted
ATVA
2006
Springer
79views Hardware» more  ATVA 2006»
15 years 5 months ago
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
Harald Fecher, Michael Huth
85
Voted
ECRTS
2004
IEEE
15 years 5 months ago
Worst-Case Execution Time Analysis for Dynamic Branch Predictors
Iain Bate, Ralf Reutemann