Sciweavers

3323 search results - page 129 / 665
» Computational Semantics with Functional Programming
Sort
View
ICFP
2003
ACM
16 years 2 months ago
Functional automatic differentiation with dirac impulses
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
Henrik Nilsson
158
Voted
CONCUR
2006
Springer
15 years 6 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
114
Voted
FUIN
2006
81views more  FUIN 2006»
15 years 2 months ago
Redundant Call Elimination via Tupling
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones
78
Voted
IFIP
1993
Springer
15 years 6 months ago
Self-Timed Architecture of a Reduced Instruction Set Computer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
Ilana David, Ran Ginosar, Michael Yoeli
111
Voted
CGF
2005
147views more  CGF 2005»
15 years 2 months ago
GPU Simulation and Rendering of Volumetric Effects for Computer Games and Virtual Environments
As simulation and rendering capabilities continue to increase, volumetric effects like smoke, fire or explosions will be frequently encountered in computer games and virtual envir...
Jens Krüger, Rüdiger Westermann