1528 search results - page 68 / 306 » Implementing Generalized Operator Overloading |
141
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
137
click to vote
SIPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we investigate the efficient software implementations of the Montgomery modular multiplication algorithm on a multi-core system. A HW/SW co-design technique is use...
131
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
126
click to vote
FLAIRS
2004
15 years 6 months ago
2004
We present a single-layer recurrent neural network that implements novelty detection for spatiotemporal patterns. The architecture is based on the structure of region CA3 in the h...
146
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...