4743 search results - page 240 / 949 » The PlusCal Algorithm Language |
111
click to vote
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
As new computer architectures are developed to exploit large-scale data-level parallelism, techniques are needed to retarget legacy sequential code to these platforms. Sequential ...
151
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
177
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
129
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
100
Voted
SLS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...