Models of computation

Results: 1716



#Item
31UNIVERSITY OF SOUTH AUSTRALIA  Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java  ANDREW A. TOKMAKOFF

UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF

Add to Reading List

Source URL: www.itr.unisa.edu.au

Language: English - Date: 1999-01-26 23:27:05
32ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-02-16 12:08:02
33Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 12:06:16
34REVERSIBLE  COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science

REVERSIBLE COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science

Add to Reading List

Source URL: cqi.inf.usi.ch

Language: English - Date: 2012-02-22 14:04:06
35

PDF Document

Add to Reading List

Source URL: people.ee.ethz.ch

Language: English - Date: 2016-07-12 07:35:12
36Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers  Northeastern University

Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2011-07-01 15:20:10
37Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1  3

Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3

Add to Reading List

Source URL: fm.csl.sri.com

Language: English - Date: 2010-10-31 10:33:48
38New-age computing T by Adam Hadhazy  22

New-age computing T by Adam Hadhazy 22

Add to Reading List

Source URL: www.aerospaceamerica.org

Language: English - Date: 2016-06-30 20:35:31
39The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis

The Compositional Speci cation of Timed Systems A Tutorial Joseph Sifakis

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 09:25:31
40Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2  Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-23 07:13:56