4350 search results - page 531 / 870 » Case studies for contract-based systems |
225
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
189
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
221
click to vote
MST
2011
15 years 1 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
195
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We consider the problem of online keyword advertising auctions among multiple bidders with limited budgets, and study a natural bidding heuristic in which advertisers attempt to o...
168
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
The general purpose processor has long been the focus of intense optimization efforts that have resulted in an impressive doubling of performance every 18 months. However, recent ...