8689 search results - page 1334 / 1738 » Software: hard data |
208
click to vote
OOPSLA
2010
Springer
15 years 6 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
212
click to vote
SEKE
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we are interested in the relationship between final prices of online auctions and possible shill activities during those auctions. We conduct experiments on real auc...
212
click to vote
WDAG
2010
Springer
15 years 6 months ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...
229
click to vote
WIAS
2010
15 years 6 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
183
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...