5239 search results - page 760 / 1048 » Model-Integrated Embedded Systems |
166
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
167
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- In the design process of a reconfigurable accelerator employing in an embedded system, multitude parameters may result in remarkable complexity and a large design space. Design s...
190
click to vote
CAMP
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...
185
click to vote
DFT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs). The migration of IC fabrication to untrusted foundries has made ICs vulnerable to malicious alterat...
159
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordin...