Search Sciweavers | Sciweavers

1523 search results - page 30 / 305

» Partially ordered secretaries

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

15 years 3 months ago

Download www.liafa.jussieu.fr

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

claim paper

Read More »

click to vote

ICTAI
2003
IEEE

132views Artificial Intelligence» more ICTAI 2003»

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

15 years 3 months ago

Download www.cs.iastate.edu

Rong Zhou, Eric A. Hansen

claim paper

Read More »

click to vote

CONCUR
2003
Springer

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

Compression of Partially Ordered Strings

15 years 3 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

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 2 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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers