Sciweavers

4306 search results - page 341 / 862
» Timed Testing with TorX
Sort
View
122
Voted
WSC
2001
15 years 4 months ago
Simulation of rare events in transportation systems
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
Lori M. Kaufman, Ted C. Giras
140
Voted
WSC
2001
15 years 4 months ago
A crowd of little man computers: visual computer simulator teaching tools
This paper describes the use of a particular type of computer simulator as a tool for teaching computer architecture. The Little Man Computer (LMC) paradigm was developed by Stuar...
William Yurcik, Hugh Osborne
116
Voted
ISTA
2003
15 years 4 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
WSC
2004
15 years 4 months ago
Fixing the Emergency Department: A Transformational Journey with EDsim
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...
Martin J. Miller, David M. Ferrin, Marcia Messer
NIPS
2003
15 years 4 months ago
Synchrony Detection by Analogue VLSI Neurons with Bimodal STDP Synapses
We present test results from spike-timing correlation learning experiments carried out with silicon neurons with STDP (Spike Timing Dependent Plasticity) synapses. The weight chan...
Adria Bofill-i-Petit, Alan F. Murray