3104 search results - page 427 / 621 » Using quantitative analysis to implement autonomic IT system... |
144
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
115
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
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...
185
click to vote
KCAP
2011
ACM
14 years 7 months ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...
148
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
The traditional high-level algorithms for rigid body simulation work well for moderate numbers of bodies but scale poorly to systems of hundreds or more moving, interacting bodies...
146
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...