1404 search results - page 248 / 281 » A C to Hardware Software Compiler |
135
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
179
click to vote
LCTRTS
2000
Springer
15 years 8 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
169
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
161
click to vote
CODES
2011
IEEE
14 years 4 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
163
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...