Did you mean: techniques

search result

Cover von Termination analysis for offline partial evaluation of a higher order functional language

Termination analysis for offline partial evaluation of a higher order functional language
Author: Andersen, Peter Holst Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/6
Media group: DISSERTATION
Cover von Modal logic and the Curry-Howard isomorphism

Modal logic and the Curry-Howard isomorphism
Author: Nielsen, Michael Florentin Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/10
Media group: DISSERTATION
Cover von Weak and strong normalization, K-redexes, and first-order logic

Weak and strong normalization, K-redexes, and first-order logic
Author: Moeller Neergaard, Peter Search for this author
Year: 1999
Publisher: Karlsruhe, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/11
Media group: DISSERTATION
Cover von Stochastic models for performance analyses of iterative algorithms in distributed environments

Stochastic models for performance analyses of iterative algorithms in distributed environments
Author: Casanova, Henri Search for this author
Year: 1998
Publisher: Knoxville, University
Series: CS / Technical report / Knoxville / University of Tennessee / Computer Science Department; 98-386
Media group: OPENACCESS
Cover von Eurographics 96

Eurographics 96
graphics, virtual reality, graphics highways : Futuroscope,Poitiers, France, August 26 - 30, 1996
Search for this author
Year: 1996
Publisher: Cambridge, Blackwell
Series: Computer graphics forum : 15. 1996, 3, Technical report; 95-2
Media group: SPECIAL ISSUE
Cover von A proof system for a sequential object-based language

A proof system for a sequential object-based language
Author: Camarao de Figueiredo, Carlos Search for this author
Year: 1995
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 95-1-1
Media group: DISSERTATION
Cover von From types to dataflow

From types to dataflow
code analysis for an object-oriented language
Author: Barnard, Andrew J. Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-10-2
Media group: DISSERTATION
Cover von A graph-based appproach to resolution in temporal logic

A graph-based appproach to resolution in temporal logic
Author: Dixon, Clare Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-9-2
Media group: DISSERTATION
Cover von Multimedia information system with automatic content retrieval

Multimedia information system with automatic content retrieval
Author: O'Docherty, Michael Hugh Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-2-2
Media group: DISSERTATION
Cover von Program and data transformations for efficient execution on distributed memory architectures

Program and data transformations for efficient execution on distributed memory architectures
Author: O'Boyle, Michael Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-1-6
Media group: DISSERTATION
OPEN V 11.1.0.0