205 search results - page 19 / 41 » Relaxed memory models: an operational approach |
100
Voted
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
108
Voted
EGITALY
2006
15 years 1 months ago
2006
These latest years witnessed an impressive improvement of graphics hardware both in terms of features and in terms of computational power. This improvement can be easily observed ...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a novel disk-based multiresolution triangle mesh data structure that supports paging and view-dependent rendering of very large meshes at interactive frame rates from e...
121
click to vote
4OR
2006
14 years 11 months ago
2006
Sorting models consist in assigning alternatives evaluated on several criteria to ordered categories. To implement such models it is necessary to set the values of the preference p...