Sciweavers

4520 search results - page 322 / 904
» Algebraic Techniques for Timed Systems
Sort
View
RTCSA
2008
IEEE
16 years 1 months ago
Reward Maximization for Embedded Systems with Renewable Energies
Renewable energies can enable embedded systems to be functional indefinitely. In particular for small autonomous sensors, energy harvesting techniques have attracted much interes...
Clemens Moser, Jian-Jia Chen, Lothar Thiele
IMC
2005
ACM
16 years 1 months ago
On the Accuracy of Embeddings for Internet Coordinate Systems
Internet coordinate systems embed Round-Trip-Times (RTTs) between Internet nodes into some geometric space so that unmeasured RTTs can be estimated using distance computation in t...
Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, H...
ISMIR
2001
Springer
173views Music» more  ISMIR 2001»
15 years 12 months ago
An Approach Towards A Polyphonic Music Retrieval System
Most research on music retrieval systems is based on monophonic musical sequences. In this paper, we investigate techniques for a full polyphonic music retrieval system. A method ...
Shyamala Doraisamy
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 11 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
AGP
1995
IEEE
15 years 11 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara