696 search results - page 68 / 140 » Explaining abstract counterexamples |
122
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
124
Voted
FQAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
130
Voted
IDMS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
130
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
154
Voted
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. There are evolutionary trajectories in two different but related spaces, design space and niche space. Coevolution occurs in parallel trajectories in both spaces, with co...