5415 search results - page 464 / 1083 » The Implementation of Functional Programming Languages |
226
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
209
click to vote
IEEEAMS
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
206
click to vote
PLDI
2003
ACM
16 years 26 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
255
click to vote
IFIP
2004
Springer
16 years 29 days ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
228
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...