3227 search results - page 253 / 646 » Software engineering and performance: a road-map |
165
click to vote
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
155
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
168
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
173
click to vote
ISSRE
2006
IEEE
16 years 21 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
180
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
Grid computing is a new paradigm that enables the distributed coordination of resources and services which are geographically dispersed, span multiple trust domains and are hetero...