461 search results - page 29 / 93 » Verifying parallel programs with dynamic communication struc... |
SAS
2010
Springer
13 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
1 In the competitive electricity structure, demand response programs enable customers to react dynamically to changes in electricity prices. The implementation of such programs ma...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
IPPS
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Programs with irregular patterns of dynamic data structures and/or those with complicated control structures such as recursion are notoriously difficult to parallelize efficient...