117 search results - page 5 / 24 » Isolating cause-effect chains from computer programs |
IEEEPACT
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
WOA
2000
14 years 6 days ago
2000
Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World
ACMSE
2008
ACM
14 years 26 days ago
2008
ACM
With stock surpluses and shortages representing one of the greatest elements of risk to wholesalers, a solution to the multiretailer supply chain management problem would result i...
ENTCS
2007
13 years 10 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
CC
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...