974 search results - page 22 / 195 » Hardware Synthesis from Term Rewriting Systems |
138
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
107
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
168
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarante...
130
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
161
click to vote
ISPD
2012
ACM
13 years 12 months ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...