3473 search results - page 269 / 695 » Aspect-Oriented Programming with C |
160
click to vote
PLDI
2000
ACM
15 years 10 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...
177
click to vote
PLDI
2006
ACM
16 years 16 days 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...
187
click to vote
CSCW
2004
ACM
16 years 5 hour 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...
152
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...
189
click to vote
SIAMJO
2008
15 years 6 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...