2775 search results - page 46 / 555 » Visualizing abstract events |
146
Voted
ENTCS
2008
15 years 4 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
112
click to vote
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...
134
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
122
click to vote
VL
2009
IEEE
15 years 10 months ago
2009
IEEE
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
130
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...