6756 search results - page 1306 / 1352 » Distributed Shared State |
110
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
156
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
121
click to vote
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
121
click to vote
WETICE
2009
IEEE
15 years 9 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...
134
click to vote
ICDM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...