106
Voted
DISCO
1992
15 years 4 months ago
1992
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
111
Voted
DISCO
1992
15 years 4 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
124
Voted
CAV
1992
Springer
15 years 4 months ago
1992
Springer
110
Voted
CAV
1992
Springer
15 years 4 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
69
Voted
CAV
1992
Springer
15 years 4 months ago
1992
Springer
100
Voted
FPL
1994
Springer
15 years 4 months ago
1994
Springer
The implementation of larger digital neural networks has not been possible due to the real-estate requirements of single neurons. We present an expandable digital architecture whic...
76
Voted
FPL
1994
Springer
15 years 4 months ago
1994
Springer
86
Voted
FPL
1994
Springer
15 years 4 months ago
1994
Springer
113
click to vote
FPL
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
116
Voted
EUROCAST
1994
Springer
15 years 4 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...