Search Sciweavers | Sciweavers

1523 search results - page 30 / 305

» Partially ordered secretaries

112

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

15 years 10 months ago

Download www.liafa.jussieu.fr

Blaise Genest, Marius Minea, Anca Muscholl, Doron ...

claim paper

Read More »

107

click to vote

ICTAI
2003
IEEE

132views Artificial Intelligence» more ICTAI 2003»

Sweep A*: Space-Efficient Heuristic Search in Partially Ordered Graphs

15 years 10 months ago

Download www.cs.iastate.edu

Rong Zhou, Eric A. Hansen

claim paper

Read More »

101

click to vote

CONCUR
2003
Springer

90views Distributed And Parallel Com...» more CONCUR 2003»

Compression of Partially Ordered Strings

15 years 10 months ago

Download www.cis.upenn.edu

Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Su...

claim paper

Read More »

117

click to vote

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

15 years 9 months ago

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

click to vote

RELMICS
1998
Springer

85views Theoretical Computer Science» more RELMICS 1998»

Modal and temporal operators on partial orders

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers