5012 search results - page 328 / 1003 » Distributed Error Correction |
172
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
161
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
189
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
192
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
179
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...