Sciweavers

3796 search results - page 279 / 760
» Presentations by Programmers for Programmers
Sort
View
100
Voted
DAC
1998
ACM
16 years 4 months ago
Design and Implementation of the NUMAchine Multiprocessor
This paper describes the design and implementation of the NUMAchine multiprocessor. As the market for CC-NUMA multiprocessors expands, this research project provides a timely arch...
A. Grbic, Stephen Dean Brown, S. Caranci, R. Grind...
110
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Specification of an exception handling system for a replicated agent environment
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
Christophe Dony, Chouki Tibermacine, Christelle Ur...
229
Voted
ECOOP
2009
Springer
16 years 4 months ago
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
Jan Smans, Bart Jacobs 0002, Frank Piessens
120
Voted
SPAA
2009
ACM
16 years 4 months ago
Brief announcement: selfishness in transactional memory
In order to be efficient with selfish programmers, a multicore transactional memory (TM) system must be designed such that it is compatible with good programming incentives (GPI),...
Raphael Eidenbenz, Roger Wattenhofer
100
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
Mining Version Histories to Guide Software Changes
We apply data mining to version histories in order to guide programmers along related changes: "Programmers who changed these functions also changed...." Given a set of e...
Andreas Zeller, Peter Weißgerber, Stephan Di...