668 search results - page 67 / 134 » Evaluation of Parallel Logic Simulation Using DVSIM |
134
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
127
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
139
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
97
Voted
WSC
2008
15 years 5 months ago
2008
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...
156
Voted
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...