Sciweavers

17298 search results - page 4 / 3460

» Abstract computing machines

115

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

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

122

CMSB
2010
Springer

91views Applied Computing» more CMSB 2010»

A generic abstract machine for stochastic process calculi

15 years 20 days ago

A generic abstract machine for stochastic process calculi

Download research.microsoft.com

Loïc Paulevé, Simon Youssef, Matthew R...

claim paper

Read More »

172

MFPS
1993

198views Programming Languages» more MFPS 1993»

A Chemical Abstract Machine for Graph Reduction

15 years 9 months ago

A Chemical Abstract Machine for Graph Reduction

Download fpl.cs.depaul.edu

al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...

Alan Jeffrey

claim paper

Read More »

119

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 10 months ago

Interacting Abstract State Machines

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

123

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

The Biochemical Abstract Machine BIOCHAM

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

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