2775 search results - page 126 / 555 » Visualizing abstract events |
132
click to vote
IJCNN
2008
IEEE
2008
IEEE
Large developing axonal arbors using a distributed and locally-reprogrammable address-event receiver
15 years 11 months ago
Abstract— We have designed a distributed and locally reprogrammable address event receiver. Incoming address-events are monitored simultaneously by all synapses, allowing for arb...
122
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
104
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: This paper gives a short overview of the multiagent-based simulation system PlaSMA. The system provides distributed discrete event simulation with conservative synchronisation. P...
113
click to vote
MFCS
1993
Springer
15 years 9 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
165
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...