Search Sciweavers | Sciweavers

1753 search results - page 38 / 351

» State Machines

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 2 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 2 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

click to vote

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

15 years 2 months ago

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

click to vote

EURODAC
1990
IEEE

73views VHDL» more EURODAC 1990»

A new method for the state reduction of incompletely specified finite sequential machines

15 years 2 months ago

Download web.cecs.pdx.edu

Maria J. Avedillo, José M. Quintana, Jos&ea...

claim paper

Read More »

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers