Search Sciweavers | Sciweavers

1701 search results - page 4 / 341

» Computer Science and State Machines

147

Voted

SC
2009
ACM

194views Applied Computing» more SC 2009»

Robust workflows for science and engineering

15 years 10 months ago

Download dsl.cs.uchicago.edu

Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...

David Abramson, Blair Bethwaite, Colin Enticott, S...

claim paper

Read More »

107

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 9 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

105

Voted

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 7 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

118

click to vote

CSR
2008
Springer

106views Theoretical Computer Science» more CSR 2008»

A survey of state vectors

15 years 3 months ago

Download www.elsevier.com

Ward Douglas Maurer

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

106views Theoretical Computer Science» more SOFSEM 2009»

Group Input Machine

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers