4725 search results - page 511 / 945 » Dependence-Based Program Analysis |
194
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
190
click to vote
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
238
click to vote
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
180
click to vote
LCPC
2005
Springer
16 years 10 days ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
196
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...