8928 search results - page 127 / 1786 » Modeling Current Events |
137
click to vote
ENTCS
2006
15 years 2 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
117
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper we propose a model to predict the performance of synchronous discrete event simulation. The model considers parameters including the number of active objects per cyc...
119
click to vote
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes the use of microprocessor performance counters for online measurement of complete system power consumption. While past studies have demonstrated the use of per...
131
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
139
click to vote
ISI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...