Sciweavers

1329 search results - page 241 / 266
» Constraint-based model synthesis
Sort
View
EMSOFT
2001
Springer
15 years 6 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
129
Voted
DATE
2000
IEEE
94views Hardware» more  DATE 2000»
15 years 6 months ago
Shared Memory Implementations of Synchronous Dataflow Specifications
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
Praveen K. Murthy, Shuvra S. Bhattacharyya
ICCAD
2000
IEEE
159views Hardware» more  ICCAD 2000»
15 years 6 months ago
ACTIF: A High-Level Power Estimation Tool for Analog Continuous-Time-Filters
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
Erik Lauwers, Georges G. E. Gielen
ICMCS
2000
IEEE
145views Multimedia» more  ICMCS 2000»
15 years 6 months ago
Talking Heads and Synthetic Speech: An Architecture for Supporting Electronic Commerce
Facial animation has been combined with text-to-speech synthesis to create innovative multimodal interfaces. In this paper, we present an architecture for this multimodal interfac...
Jörn Ostermann, David R. Millen
VVS
2000
IEEE
130views Visualization» more  VVS 2000»
15 years 6 months ago
A practical evaluation of popular volume rendering algorithms
This paper evaluates and compares four volume rendering algorithms that have become rather popular for rendering datasets described on uniform rectilinear grids: raycasting, splat...
Michael Meißner, Jian Huang, Dirk Bartz, Kla...