894 search results - page 134 / 179 » Optimizations for LTL Synthesis |
IMR
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
EUROPAR
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
103
click to vote
LCTRTS
2001
Springer
15 years 3 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
DATE
1999
IEEE
15 years 3 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
EUROMICRO
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...