419 search results - page 34 / 84 » Automatic Synthesis of Real Time Systems |
148
click to vote
TCAD
1998
15 years 3 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
123
Voted
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...
164
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
119
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
One of the efficient design methodologies for large scale System on a Chip (SoC) is IP-based design. In this methodology, a system is considered as a set of components and intercon...
129
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we report on Qaviar, an experimental automated evaluation system for question answering applications. The goal of our research was to find an automatically calculat...