894 search results - page 112 / 179 » Optimizations for LTL Synthesis |
112
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
103
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
100
click to vote
DAC
1995
ACM
15 years 4 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
105
Voted
DAC
1998
ACM
16 years 1 months ago
1998
ACM
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by domin...
104
Voted
DAC
1999
ACM
15 years 5 months ago
1999
ACM
This paper presents a design methodology, called common-case computation (CCC), and new design automation algorithms for optimizing power consumption or performance. The proposed ...