432 search results - page 58 / 87 » Embedded system synthesis under memory constraints |
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...
ENTCS
2010
14 years 9 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
RTAS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
124
click to vote
EEF
2000
15 years 1 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...