6358 search results - page 1016 / 1272 » Computing spectral sequences |
165
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
196
click to vote
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
170
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
156
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Retiming has been proposed as an optimizationstep forsequential circuits represented at the net-list level. Retiming moves the latches across the logic gates and in doing so chang...
196
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...