15155 search results - page 2876 / 3031 » System Software |
234
click to vote
HOST
2011
IEEE
14 years 6 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
176
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
183
click to vote
HPCA
2012
IEEE
14 years 1 months ago
2012
IEEE
Data races are a major contributor to parallel software unreliability. A type of race that is both common and typically harmful is the Asymmetric data race. It occurs when at leas...
205
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
With its close ties to the Web, the IR community is destined to leverage the dissemination and collaboration capabilities that the Web provides today. Especially with the advent o...
198
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...