201 search results - page 27 / 41 » Scalability analysis of SPMD codes using expectations |
104
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
101
click to vote
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
141
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
132
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
113
click to vote
PVLDB
2008
15 years 1 months ago
2008
This paper reports on the results of an independent evaluation of the techniques presented in the VLDB 2007 paper "Scalable Semantic Web Data Management Using Vertical Partit...