1528 search results - page 119 / 306 » Performance Assertion Checking |
109
Voted
GSN
2009
Springer
15 years 7 months ago
2009
Springer
We present an algorithm that makes an appropriate use of a Kalman filter combined with a geometric computation with respect to the localisation of a pollutant-emitting point sourc...
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...
111
click to vote
COCO
1994
Springer
15 years 6 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
134
click to vote
ICS
1994
Tsinghua U.
15 years 6 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
122
click to vote
PPOPP
1993
ACM
15 years 6 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...