Sciweavers

1533 search results - page 225 / 307
» Semantic Matching: Algorithms and Implementation
Sort
View
EXPDB
2006
ACM
14 years 4 months ago
Symmetric Publish / Subscribe via Constraint Publication
Current publish / subscribe systems offer a range of expressive subscription languages for constraints. However, classical systems restrict the publish operation to be a single p...
Anthony Tomasic, Charles Garrod, Kris Popendorf
ISMIR
2004
Springer
141views Music» more  ISMIR 2004»
14 years 3 months ago
Causal Tempo Tracking of Audio
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...
Matthew E. P. Davies, Mark D. Plumbley
HPDC
1998
IEEE
14 years 2 months ago
Matchmaking: Distributed Resource Management for High Throughput Computing
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
Rajesh Raman, Miron Livny, Marvin H. Solomon
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
14 years 1 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
SPAA
1995
ACM
14 years 1 months ago
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism
Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such lan...
Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias