894 search results - page 63 / 179 » Optimizations for LTL Synthesis |
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
68
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
To reduce the number of synthesis and layout iterations, we present a new delay optimization technique, which inserts buers based on back-annotated detailed routing information. D...
103
Voted
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
In this paper we combine model-based video synthesis with block-based motion-compensated prediction (MCP). Two frames are utilized far prediction where one frame is the previous d...
93
Voted
EURODAC
1994
IEEE
1994
IEEE
OSCAR: optimum simultaneous scheduling, allocation and resource binding based on integer programming
15 years 4 months ago
: This paper presents an approach to high-level synthesis which is based upon a 0/1 integer programming model. In contrast to other approaches, this model allows solving all three ...
92
Voted
CODES
1999
IEEE
15 years 5 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...