Sciweavers

1009 search results - page 49 / 202
» Performance Analysis of UML Models Using Aspect-Oriented Mod...
Sort
View
106
Voted
DAC
2003
ACM
15 years 11 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
105
Voted
RE
1999
Springer
15 years 2 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
78
Voted
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
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
15 years 4 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot
ISMIR
2004
Springer
236views Music» more  ISMIR 2004»
15 years 3 months ago
Rhythm and Tempo Recognition of Music Performance from a Probabilistic Approach
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
Haruto Takeda, Takuya Nishimoto, Shigeki Sagayama