3130 search results - page 471 / 626 » Design Correctness of Digital Systems |
187
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
211
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we study the impact of sharing memory resources on five Google datacenter applications: a web search engine, bigtable, content analyzer, image stitching, and protoc...
166
click to vote
JCDL
2006
ACM
16 years 14 days ago
2006
ACM
Although recording of usage data is common in scholarly information services, its exploitation for the creation of valueadded services remains limited due to concerns regarding, a...
167
click to vote
PPOPP
2005
ACM
16 years 2 days ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
185
click to vote
AAECC
2003
Springer
15 years 11 months ago
2003
Springer
A pirate is a person who buys a legal copy of a copyrighted work and who reproduces it to sell illegal copies. Artists and authors are worried as they do not get the income which i...