Sciweavers

41 search results - page 3 / 9

» ifip 1994

16

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

13 years 10 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

12

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

13 years 10 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

12

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

13 years 10 months ago

Linear Speed-Up, Information Vicinity, and Finite-State Machines

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

20

IFIP
1994
Springer

113views Programming Languages» more IFIP 1994»

Adaptive User Interfaces

13 years 10 months ago

Adaptive User Interfaces

Download www.eng.utah.edu

Markus A. Thies

claim paper

Read More »

19

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

13 years 10 months ago

Towards a model of exploration in computer-aided design

Download mason.gmu.edu

John S. Gero

claim paper

Read More »

« Prev « First page 3 / 9 Last » Next »