Sciweavers

2019 search results - page 82 / 404
» Programming with Shared Data Abstractions
Sort
View
JUCS
2008
140views more  JUCS 2008»
13 years 9 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
14 years 3 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
PPOPP
2009
ACM
14 years 9 months ago
A compiler-directed data prefetching scheme for chip multiprocessors
Data prefetching has been widely used in the past as a technique for hiding memory access latencies. However, data prefetching in multi-threaded applications running on chip multi...
Dhruva Chakrabarti, Mahmut T. Kandemir, Mustafa Ka...
POPL
2007
ACM
14 years 9 months ago
SAC: off-the-shelf support for data-parallelism on multicores
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...
Clemens Grelck, Sven-Bodo Scholz
CEFP
2005
Springer
14 years 2 months ago
Generic Editors for the World Wide Web
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
Rinus Plasmeijer, Peter Achten