Sciweavers

9595 search results - page 264 / 1919
» Functional programming in C
Sort
View
253
Voted
POPL
2005
ACM
16 years 6 months ago
A probabilistic language based upon sampling functions
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
Sungwoo Park, Frank Pfenning, Sebastian Thrun
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
15 years 11 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp
163
Voted
IPPS
1998
IEEE
15 years 10 months ago
Automatic Differentiation for Message-Passing Parallel Programs
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
Paul D. Hovland, Christian H. Bischof
FCT
2009
Springer
16 years 1 months ago
Energy Complexity and Depth of Threshold Circuits
Abstract. In the paper we show that there is a close relationship between the energy complexity and the depth of threshold circuits computing any Boolean function although they hav...
Kei Uchizawa, Takao Nishizeki, Eiji Takimoto
POPL
1994
ACM
15 years 10 months ago
A Type System for Prototyping Languages
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
Dinesh Katiyar, David C. Luckham, John C. Mitchell