62 search results - page 7 / 13 » Model-checking Trace Event Structures |
SIGOPS
2010
13 years 5 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
MASCOTS
2010
13 years 9 months ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...
ICTAI
2008
IEEE
14 years 1 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
BPM
2009
Springer
14 years 2 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
SIGGRAPH
1998
ACM
13 years 11 months ago
1998
ACM
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...