Search Sciweavers | Sciweavers

11328 search results - page 16 / 2266

» Timed Branching Processes

123

Voted

ICALP
2003
Springer

135views Programming Languages» more ICALP 2003»

Oracle Circuits for Branching-Time Model Checking

15 years 9 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

FOCS
1999
IEEE

74views Theoretical Computer Science» more FOCS 1999»

A Non-linear Time Lower Bound for Boolean Branching Programs

15 years 9 months ago

Download cs.anu.edu.au

Miklós Ajtai

claim paper

Read More »

110

click to vote

FOCS
1998
IEEE

73views Theoretical Computer Science» more FOCS 1998»

Time-Space Tradeoffs for Branching Programs

15 years 8 months ago

Download www.cs.washington.edu

Paul Beame, Michael E. Saks, Jayram S. Thathachar

claim paper

Read More »

122

click to vote

ATVA
2006
Springer

79views Hardware» more ATVA 2006»

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

15 years 8 months ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

107

click to vote

ECRTS
2004
IEEE

95views Embedded Systems» more ECRTS 2004»

Worst-Case Execution Time Analysis for Dynamic Branch Predictors

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers