Sciweavers

41 search results - page 3 / 9

» ifip 1994

82

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 6 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

74

Voted

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

15 years 6 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

78

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

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

15 years 6 months ago

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

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

90

IFIP
1994
Springer

113views Programming Languages» more IFIP 1994»

Adaptive User Interfaces

15 years 6 months ago

Adaptive User Interfaces

Download www.eng.utah.edu

Markus A. Thies

claim paper

Read More »

95

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

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