2881 search results - page 538 / 577 » Model Checking for Programming Languages using Verisoft |
128
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
165
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
207
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
143
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
107
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...