8874 search results - page 211 / 1775 » A New Implementation of Automath |
109
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The minimization of cost, power consumption and timeto-market of DSP applications requires the development of methodologies for the automatic implementation of floating-point alg...
118
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
124
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the implementation of the Advanced Encryption Standard Algorithm, Rijndael, in a new nanoscale technology, called CMOL. This technology consists of an array of...
149
click to vote
ROBOCUP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
121
click to vote
DSL
1997
15 years 5 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...