FAC 2000 | Sciweavers

32

click to vote

FAC
2000

80views more FAC 2000»

Modelling and Validation: AUTOFOCUS and Quest

14 years 8 days ago

Download www.validas.de

Oscar Slotosch

claim paper

Read More »

25

click to vote

FAC
2000

94views more FAC 2000»

Maximally Concurrent Programs

14 years 8 days ago

Download www.cs.utexas.edu

Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...

Rajeev Joshi, Jayadev Misra

claim paper

Read More »

46

click to vote

FAC
2000

124views more FAC 2000»

Algebraic Models of Correctness for Microprocessors

14 years 8 days ago

Download www.cs.swan.ac.uk

In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

37

click to vote

FAC
2000

114views more FAC 2000»

Representational Reasoning and Verification

14 years 8 days ago

Download www.dtek.chalmers.se

Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...

Gavin J. Doherty, José Creissac Campos, Mic...

claim paper

Read More »

31

click to vote

FAC
2000

76views more FAC 2000»

Natural Semantics-Directed Generation of Compilers and Abstract Machines

14 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers