950 search results - page 54 / 190 » Type Specialization in Aldor |
FLOPS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
CHES
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This work proposes a new elliptic curve processor architecture for the computation of point multiplication for curves defined over fields GF(p). This is a scalable arch...
CVPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Many communicative behaviors in the animal kingdom consist of performing and recognizing specialized patterns of oscillatory motion. Here we present an approach to the representat...
AGENTS
1997
Springer
14 years 29 days ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
APN
2001
Springer
14 years 13 days ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...