2036 search results - page 256 / 408 » A generic type-and-effect system |
146
Voted
ISPDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
124
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
Most of today‘s HPC systems employ a single head node for control, which represents a single point of failure as it interrupts an entire HPC system upon failure. Furthermore, it...
108
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
75
Voted
WIKIS
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we propose a new wiki concept — light constraints — designed to encode community best practices and domain-specific requirements, and to assist in their applica...
132
Voted
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...