4323 search results - page 336 / 865 » Callback Implementations in C |
132
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
137
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
138
click to vote
CEFP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
130
Voted
CHES
2007
Springer
15 years 11 months ago
2007
Springer
With the establishment of the AES the need for new block ciphers has been greatly diminished; for almost all block cipher applications the AES is an excellent and preferred choice....
124
Voted
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
1 Future gain in computing performance will not stem from increased clock rates, but from even more cores in a processor. Since automatic parallelization is still limited to easily...