1151 search results - page 93 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
143
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
129
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
129
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...
169
click to vote
ASE
2004
15 years 4 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
112
Voted
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...