3473 search results - page 269 / 695 » Aspect-Oriented Programming with C |
172
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
203
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
218
click to vote
CSCW
2004
ACM
16 years 25 days ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
177
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
213
click to vote
SIAMJO
2008
15 years 7 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...