1321 search results - page 42 / 265 » Logic Simulation Using Networks of State Machines |
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
101
click to vote
DSN
2011
IEEE
13 years 11 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...
EENERGY
2010
15 years 3 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
ICML
2007
IEEE
16 years 19 days ago
2007
IEEE
Markov logic networks (MLNs) are a statistical relational model that consists of weighted firstorder clauses and generalizes first-order logic and Markov networks. The current sta...
ICANN
2007
Springer
15 years 6 months ago
2007
Springer
SpikeStream is a new simulator of biologically structured spiking neural networks that can be used to edit, display and simulate up to 100,000 neurons. This simulator uses a combin...