Sciweavers

1246 search results - page 147 / 250
» Activity Modeling Using Event Probability Sequences
Sort
View
175
Voted
ISCA
2012
IEEE
224views Hardware» more  ISCA 2012»
13 years 5 months ago
A first-order mechanistic model for architectural vulnerability factor
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
Arun A. Nair, Stijn Eyerman, Lieven Eeckhout, Lizy...
99
Voted
ICECCS
2002
IEEE
79views Hardware» more  ICECCS 2002»
15 years 7 months ago
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...
Srinivasan Ramani, Katerina Goseva-Popstojanova, K...
104
Voted
HYBRID
2007
Springer
15 years 9 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
MODELS
2009
Springer
15 years 9 months ago
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
Steffen Mazanek, Mark Minas
CVPR
2000
IEEE
15 years 7 months ago
Scene Modeling for Wide Area Surveillance and Image Synthesis
We present a method for modeling a scene that is observed by a moving camera, where only a portion of the scene is visible at any time. This method uses mixture models to represen...
Anurag Mittal, Daniel P. Huttenlocher