Search Sciweavers | Sciweavers

7311 search results - page 54 / 1463

» Time in State Machines

126

click to vote

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

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

15 years 10 months ago

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

140

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

Download web.cecs.pdx.edu

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

claim paper

Read More »

137

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 10 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

172

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

151

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers