Sciweavers

2403 search results - page 180 / 481
» Similarity of Event Sequences
Sort
View
IPPS
2007
IEEE
16 years 27 days ago
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
Rafik Henia, Razvan Racu, Rolf Ernst
ISPASS
2006
IEEE
16 years 19 days ago
Characterizing the branch misprediction penalty
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
Stijn Eyerman, James E. Smith, Lieven Eeckhout
SSPR
2004
Springer
15 years 12 months ago
Understanding Human-Computer Interactions in Map Revision
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...
Jun Zhou, Walter F. Bischof, Terry Caelli
IPPS
2003
IEEE
15 years 12 months ago
The Reconstruction of a Mobile Agent Computation and Its Validation
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
Mamoun Filali, Philippe Mauran, Gérard Padi...
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 10 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers