4962 search results - page 662 / 993 » Stochastic Model Checking |
114
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
Authors Address the problem of recognition and retrieval of relatively weak industrial signal such as Partial Discharges (PD) buried in excessive noise. The major bottleneck being...
126
Voted
ICNP
2007
IEEE
15 years 9 months ago
2007
IEEE
— P2P streaming tries to achieve scalability (like P2P file distribution) and at the same time meet real-time playback requirements. It is a challenging problem still not well u...
182
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
152
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
158
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...