Sciweavers

1075 search results - page 158 / 215
» On Singular Interval Systems
Sort
View
IPPS
2002
IEEE
15 years 9 months ago
A Prediction-Based Real-Time Scheduling Advisor
The real-time scheduling advisor (RTSA) is an entirely userlevel system that an application running on a typical shared, unreserved distributed computing environment can turn to f...
Peter A. Dinda
CMMR
2007
Springer
122views Music» more  CMMR 2007»
15 years 8 months ago
Rule-Based Expressive Modifications of Tempo in Polyphonic Audio Recordings
This paper describes a few aspects of a system for expressive, rule-based modifications of audio recordings regarding tempo, dynamics and articulation. The input audio signal is fi...
Marco Fabiani, Anders Friberg
GECCO
2010
Springer
169views Optimization» more  GECCO 2010»
15 years 7 months ago
Robust symbolic regression with affine arithmetic
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
Cassio Pennachin, Moshe Looks, João A. de V...
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 6 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
CP
2008
Springer
15 years 5 months ago
Exploiting Common Subexpressions in Numerical CSPs
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
Ignacio Araya, Bertrand Neveu, Gilles Trombettoni