Search Sciweavers | Sciweavers

799 search results - page 9 / 160

» A Logic for Abstract State Machines

click to vote

MODELLIERUNG
2004

59views Software Engineering» more MODELLIERUNG 2004»

Modeling with Abstract State Machines: A support for accurate system design and analysis

13 years 8 months ago

Download subs.emis.de

Egon Börger

claim paper

Read More »

click to vote

JUCS
2008

148views more JUCS 2008»

A Metamodel-based Language and a Simulation Engine for Abstract State Machines

13 years 7 months ago

Download www.jucs.org

Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...

claim paper

Read More »

click to vote

JUCS
2008

101views more JUCS 2008»

Quo Vadis Abstract State Machines?

13 years 7 months ago

Download www.jucs.org

Egon Börger, Andreas Prinz

claim paper

Read More »

click to vote

LMCS
2007

61views more LMCS 2007»

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

13 years 7 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...

claim paper

Read More »

click to vote

HIPC
2004
Springer

127views Distributed And Parallel Com...» more HIPC 2004»

A Parallel State Assignment Algorithm for Finite State Machines

14 years 24 days ago

Download www.cc.gatech.edu

This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...

David A. Bader, Kamesh Madduri

claim paper

Read More »

« Prev « First page 9 / 160 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers