Sciweavers

17298 search results - page 26 / 3460

» Abstract computing machines

107

AC
2000
Springer

101views Software Engineering» more AC 2000»

Abstract Machines, Control, and Sequents

15 years 7 months ago

Abstract Machines, Control, and Sequents

Download www.pps.jussieu.fr

Pierre-Louis Curien

claim paper

Read More »

87

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 »

97

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

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

15 years 7 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 »

94

Voted

LCPC
1999
Springer

112views System Software» more LCPC 1999»

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion

15 years 7 months ago

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion

Download cseweb.ucsd.edu

Scott B. Baden, Stephen J. Fink

claim paper

Read More »

108

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

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

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

« Prev « First page 26 / 3460 Last » Next »