1226 search results - page 69 / 246 » Generating Abstractions from Static Domain Analysis |
140
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
118
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
112
Voted
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
163
Voted
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
121
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...