1226 search results - page 171 / 246 » Designing systems-on-chip using cores |
133
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
128
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
186
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
144
click to vote
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
137
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...