Sciweavers

58 search results - page 4 / 12
» RuleMonkey: software for stochastic simulation of rule-based...
Sort
View
CPE
2003
Springer
149views Hardware» more  CPE 2003»
14 years 27 days ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
ANSS
2000
IEEE
14 years 3 days ago
Modeling and Analysis of Software Aging and Rejuvenation
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Kate...
IEEEHPCS
2010
13 years 6 months ago
An FPGA design for the stochastic Greenberg-Hastings cellular automata
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
Nikolaos Vlassopoulos, Nazim Fatès, Hugues ...
WOSP
2004
ACM
14 years 1 months ago
Experimenting different software architectures performance techniques: a case study
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
Simonetta Balsamo, Moreno Marzolla, Antinisca Di M...
IBPRIA
2007
Springer
14 years 1 months ago
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Gilles Dequen, Laure Devendeville, E. Mouaddib