5186 search results - page 362 / 1038 » Embedded Systems |
160
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the challenging tasks in code generation for embedded systems is register allocation and assignment, wherein one decides on the placement and lifetimes of variables in regi...
172
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
174
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
206
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution