DISCO
1992
14 years 24 days 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...
DISCO
1992
14 years 24 days 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...
CAV
1992
Springer
14 years 24 days ago
1992
Springer
CAV
1992
Springer
14 years 24 days 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...
CAV
1992
Springer
14 years 24 days ago
1992
Springer
FPL
1994
Springer
14 years 24 days 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...
FPL
1994
Springer
14 years 24 days ago
1994
Springer
FPL
1994
Springer
14 years 24 days ago
1994
Springer
FPL
1994
Springer
14 years 24 days 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...
EUROCAST
1994
Springer
14 years 24 days 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...