Search Sciweavers | Sciweavers

1523 search results - page 36 / 305

» Partially ordered secretaries

144

click to vote

ASE
2004

167views more ASE 2004»

Cluster-Based Partial-Order Reduction

15 years 5 months ago

Download www.ics.ele.tue.nl

The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...

Twan Basten, Dragan Bosnacki, Marc Geilen

claim paper

Read More »

Voted

BIOINFORMATICS
2002

65views more BIOINFORMATICS 2002»

Multiple sequence alignment using partial order graphs

15 years 5 months ago

Download meetings.cshl.edu

Christopher Lee, Catherine Grasso, Mark F. Sharlow

claim paper

Read More »

104

click to vote

COMBINATORICS
2002

77views more COMBINATORICS 2002»

Profile Classes and Partial Well-Order for Permutations

15 years 5 months ago

Download www.combinatorics.org

Maximillian M. Murphy, Vincent R. Vatter

claim paper

Read More »

108

click to vote

ENTCS
2002

69views more ENTCS 2002»

Modular Synthesis of Timed Circuits using Partial Order Reduction

15 years 4 months ago

Download www.async.ece.utah.edu

Eric Mercer, Chris J. Myers, Tomohiro Yoneda

claim paper

Read More »

119

click to vote

EJC
1998

153views Information Technology» more EJC 1998»

Cohen-Macaulay Partially Ordered Sets with Pure Resolutions

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers