Sciweavers

575 search results - page 20 / 115
» Controller Synthesis for Probabilistic Systems
Sort
View
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
14 years 10 days ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
COST
2008
Springer
136views Multimedia» more  COST 2008»
13 years 9 months ago
Articulatory Synthesis of Speech and Singing: State of the Art and Suggestions for Future Research
Articulatory synthesis of speech and singing aims for modeling the production process of speech and singing as human-like or natural as possible. The state of the art is described ...
Bernd J. Kröger, Peter Birkholz
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
14 years 19 days ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
14 years 19 days ago
Optimal controlled trajectories for a mathematical model of anti-angiogenic therapy in cancer
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Urszula Ledzewicz, Heinz Schättler
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
14 years 2 days 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...