407 search results - page 2 / 82 » Thermal-aware data flow analysis |
CC
2006
Springer
13 years 9 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...
ACSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
CAISE
2009
Springer
13 years 9 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
JEC
2006
13 years 5 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...