1126 search results - page 147 / 226 » Architectural and Analytic Integration of Cyber-Physical Sys... |
179
click to vote
CACM
2008
15 years 6 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...
156
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
155
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
179
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
190
click to vote
SACMAT
2009
ACM
16 years 25 days ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...