1452 search results - page 47 / 291 » Algorithmic Analysis of Array-Accessing Programs |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
TACAS
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
PPOPP
2005
ACM
14 years 3 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
NJC
2006
13 years 10 months ago
2006
Abstract. We present a new parallel computation model called the Parallel ResourceOptimal computation model. PRO is a framework being proposed to enable the design of efficient and...