Sciweavers

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

Book
246views
17 years 4 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
EH
2004
IEEE
125views Hardware» more  EH 2004»
15 years 10 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
TCC
2007
Springer
142views Cryptology» more  TCC 2007»
16 years 8 days 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
ENTCS
2002
84views more  ENTCS 2002»
15 years 6 months 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
ICC
2008
IEEE
144views Communications» more  ICC 2008»
16 years 18 days 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