Sciweavers

6248 search results - page 105 / 1250
» Programming in a data factory
Sort
View
139
Voted
MICRO
2003
IEEE
116views Hardware» more  MICRO 2003»
15 years 8 months ago
Universal Mechanisms for Data-Parallel Architectures
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
Karthikeyan Sankaralingam, Stephen W. Keckler, Wil...
132
Voted
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 9 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
PTS
2007
112views Hardware» more  PTS 2007»
15 years 4 months ago
Implementing Conformiq Qtronic
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
Antti Huima
PODS
2005
ACM
147views Database» more  PODS 2005»
16 years 2 months ago
Peer data exchange
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
Ariel Fuxman, Phokion G. Kolaitis, Renée J....
96
Voted
ECOOP
2006
Springer
15 years 6 months ago
Demeter Interfaces: Adaptive Programming Without Surprises
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieber...