1321 search results - page 42 / 265 » Logic Simulation Using Networks of State Machines |
DSN
2000
IEEE
15 years 2 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...
DSN
2011
IEEE
13 years 9 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 1 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
15 years 10 months 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 3 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...