7778 search results - page 1139 / 1556 » Designing Controllers for Reachability |
153
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
170
click to vote
WWW
2010
ACM
16 years 1 days 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 ...
184
click to vote
ISPASS
2009
IEEE
15 years 12 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
152
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
143
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—As Chip-Multiprocessor systems (CMP) have become the predominant topology for leading microprocessors, critical components of the system are now integrated on a single c...