Sciweavers

1916 search results - page 48 / 384

» Reconfiguring a state machine

111

Voted

ASM
2000
ASM

157views Computational Biology» more ASM 2000»

Abstract State Machines and Computationally Complete Query Languages

15 years 7 months ago

Abstract State Machines and Computationally Complete Query Languages

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

claim paper

Read More »

106

Voted

ASM
2000
ASM

129views Computational Biology» more ASM 2000»

Abstract State Machines at the Cusp of the Millenium

15 years 7 months ago

Abstract State Machines at the Cusp of the Millenium

Download www.di.unipi.it

Egon Börger

claim paper

Read More »

98

Voted

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 7 months ago

Investigating Java Concurrency Using Abstract State Machines

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

88

Voted

ANSS
1999
IEEE

119views Modeling and Simulation» more ANSS 1999»

Genetic Simulation for Finite State Machine Identification

15 years 7 months ago

Genetic Simulation for Finite State Machine Identification

Download is.ifmo.ru

Lamine Ngom, Claude Baron, Jean Claude Geffroy

claim paper

Read More »

86

Voted

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

15 years 7 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

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