Sciweavers

2335 search results - page 195 / 467
» Functional Differentiation of Computer Programs
Sort
View
216
Voted

Book
246views
16 years 10 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
94
Voted
EH
2004
IEEE
125views Hardware» more  EH 2004»
15 years 4 months ago
Routine High-Return Human-Competitive Evolvable Hardware
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
John R. Koza, Martin A. Keane, Matthew J. Streeter
92
Voted
TCC
2007
Springer
142views Cryptology» more  TCC 2007»
15 years 6 months ago
On Best-Possible Obfuscation
An obfuscator is a compiler that transforms any program (which we will view in this work as a boolean circuit) into an obfuscated program (also a circuit) that has the same input-...
Shafi Goldwasser, Guy N. Rothblum
100
Voted
ENTCS
2002
84views more  ENTCS 2002»
15 years 7 days ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner
87
Voted
ICC
2008
IEEE
144views Communications» more  ICC 2008»
15 years 6 months ago
Delay-Minimal Transmission for Energy Constrained Wireless Communications
—We investigate the problem of minimizing the overall transmission delay of data packets in a single-user wireless communication system, where the transmitter has a fixed amount...
Jing Yang, Sennur Ulukus