Sciweavers

2129 search results - page 30 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
83
Voted
DAC
2009
ACM
15 years 1 months ago
Reduction techniques for synchronous dataflow graphs
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
Marc Geilen
PAMI
2000
260views more  PAMI 2000»
14 years 9 months ago
Robust Real-Time Periodic Motion Detection, Analysis, and Applications
We describe new techniques to detect and analyze periodic motion as seen from both a static and moving camera. By tracking objects of interest, we compute an object's self-si...
Ross Cutler, Larry S. Davis
79
Voted
IPPS
2006
IEEE
15 years 3 months ago
Timed automata based analysis of embedded system architectures
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
Martijn Hendriks, Marcel Verhoef
FORTE
2007
14 years 11 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
NIME
2005
Springer
159views Music» more  NIME 2005»
15 years 3 months ago
Voice-controlled plucked bass guitar through two synthesis techniques
In this paper we present an example of the use of the singing voice as a controller for digital music synthesis. The analysis of the voice with spectral processing techniques, der...
Jordi Janer