1411 search results - page 17 / 283 » A Value Analysis for C Programs |
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
LPAR
1993
Springer
14 years 21 days ago
1993
Springer
POPL
2011
ACM
12 years 11 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
PLDI
2006
ACM
14 years 2 months 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) ...