8874 search results - page 154 / 1775 » A New Implementation of Automath |
108
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
122
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
140
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
140
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
: This paper presents a Least Popularly Used buffer cache algorithm to exploit both temporal locality and content locality of I/O requests. Popular data blocks are selected as refe...
148
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
More and more CoPs have chosen virtual environments and services to support their activities. However, recent research has underlined several problems: the lack of adequate scaffol...