Sciweavers

2346 search results - page 49 / 470

» Hierarchical State Machines

21

ANSS
1999
IEEE

119views Modeling and Simulation» more ANSS 1999»

Genetic Simulation for Finite State Machine Identification

13 years 12 months ago

Genetic Simulation for Finite State Machine Identification

Download is.ifmo.ru

Lamine Ngom, Claude Baron, Jean Claude Geffroy

claim paper

Read More »

15

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 12 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

23

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

13 years 12 months ago

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

24

DAC
1998
ACM

117views Computer Architecture» more DAC 1998»

Finite State Machine Decomposition For Low Power

13 years 12 months ago

Finite State Machine Decomposition For Low Power

Download www.cs.york.ac.uk

José C. Monteiro, Arlindo L. Oliveira

claim paper

Read More »

16

ASM
1998
ASM

92views Computational Biology» more ASM 1998»

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

13 years 12 months ago

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

« Prev « First page 49 / 470 Last » Next »