11739 search results - page 333 / 2348 » Slideshow: functional presentations |
193
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Multi-valued neurons are the neural processing elements with complex-valued weights, huge functionality (it is possible to implement on the single neuron arbitrary mapping describ...
287
Voted
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
157
click to vote
FSE
2009
Springer
16 years 7 months ago
2009
Springer
The EnRUPT hash functions were proposed by O'Neil, Nohl and Henzen [5] as candidates for the SHA-3 competition, organised by NIST [4]. The proposal contains seven concrete has...
152
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
156
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...