Sciweavers

12 search results - page 3 / 3
» Relating Typability and Expressiveness in Finite-Rank Inters...
Sort
View
ICFP
2005
ACM
14 years 4 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
EDBT
2009
ACM
136views Database» more  EDBT 2009»
13 years 11 months ago
Rule-based multi-query optimization
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
Mingsheng Hong, Mirek Riedewald, Christoph Koch, J...