193 search results - page 13 / 39 » Automatic Parallelization and Optimization of Programs by Pr... |
CAV
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
ISMIR
2004
Springer
14 years 29 days 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...