Sciweavers

41 search results - page 3 / 9

» ifip 1994

62

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 1 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

56

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

15 years 1 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

60

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

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

15 years 1 months ago

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

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

68

IFIP
1994
Springer

113views Programming Languages» more IFIP 1994»

Adaptive User Interfaces

15 years 1 months ago

Adaptive User Interfaces

Download www.eng.utah.edu

Markus A. Thies

claim paper

Read More »

74

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

15 years 1 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 »