1833 search results - page 57 / 367 » Mechanized Verification with Sharing |
97
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
107
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Line-rate data traffic monitoring in high-speed networks is essential for network management. To satisfy the line-rate requirement, one can leverage multi-core architectures to par...
121
click to vote
HIPC
2009
Springer
14 years 10 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
94
Voted
PRDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Several recent studies identify the memory system as the most frequent source of hardware failures in commercial servers. Techniques to protect the memory system from failures mus...
AUIC
2006
IEEE
15 years 6 months ago
2006
IEEE
1 Providing effective support for group awareness is a critical requirement of synchronous collaborative authoring tools. This paper reports our work on developing new awareness me...