Sciweavers

1916 search results - page 47 / 384

» Reconfiguring a state machine

23

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

14 years 8 days ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

21

DATE
2000
IEEE

79views Hardware» more DATE 2000»

Logic Simulation Using Networks of State Machines

14 years 6 days ago

Logic Simulation Using Networks of State Machines

Download cs.ecs.baylor.edu

Peter M. Maurer

claim paper

Read More »

19

SRDS
2000
IEEE

81views Operating System» more SRDS 2000»

Abstractions for Devising Byzantine-Resilient State Machine Replication

14 years 5 days ago

Abstractions for Devising Byzantine-Resilient State Machine Replication

Download infoscience.epfl.ch

Assia Doudou, Rachid Guerraoui, Benoît Garbi...

claim paper

Read More »

22

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

14 years 4 days ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

23

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

14 years 4 days ago

Using Abstract State Machines at Microsoft: A Case Study

Download research.microsoft.com

Michael Barnett, Egon Börger, Yuri Gurevich, ...

claim paper

Read More »

« Prev « First page 47 / 384 Last » Next »