Search Sciweavers | Sciweavers

1523 search results - page 30 / 305

» Partially ordered secretaries

161

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

16 years 26 days ago

Download www.liafa.jussieu.fr

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

claim paper

Read More »

157

click to vote

ICTAI
2003
IEEE

132views Artificial Intelligence» more ICTAI 2003»

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

16 years 23 days ago

Download www.cs.iastate.edu

Rong Zhou, Eric A. Hansen

claim paper

Read More »

143

click to vote

CONCUR
2003
Springer

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

Compression of Partially Ordered Strings

16 years 21 days ago

Download www.cis.upenn.edu

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

claim paper

Read More »

154

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

Download www.cs.umass.edu

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

claim paper

Read More »

127

click to vote

RELMICS
1998
Springer

85views Theoretical Computer Science» more RELMICS 1998»

Modal and temporal operators on partial orders

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers