119 search results - page 7 / 24 » A New Method for Compiling Parallel Replacement Rules |
POPL
1997
ACM
14 years 3 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
EDBTW
2006
Springer
14 years 2 months ago
2006
Springer
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
ICDCSW
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we propose a new control method to cover the “holes” in wireless sensor networks. Many applications often face the problem of holes when some sensor nodes are d...
DAGSTUHL
2007
14 years 6 days ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...