Sciweavers

469 search results - page 17 / 94
» Scheduler Modeling Based on the Controller Synthesis Paradig...
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
EUROMICRO
1999
IEEE
15 years 1 months ago
Design Space Exploration in System Level Synthesis under Memory Constraints
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
Radoslaw Szymanek, Krzysztof Kuchcinski
ICASSP
2009
IEEE
15 years 4 months ago
Control of prosodic focus in corpus-based generation of fundamental frequency contours of Japanese based on the generation proce
A total corpus-based process of generating prosodic features from text is developed. The process first predicts pauses and phone durations, and then generates F0 contours. Since F...
Keiko Ochi, Keikichi Hirose, Nobuaki Minematsu
CAIP
2007
Springer
152views Image Analysis» more  CAIP 2007»
15 years 3 months ago
Adaptable Model-Based Tracking Using Analysis-by-Synthesis Techniques
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
Harald Wuest, Folker Wientapper, Didier Stricker
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 3 months ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...