43264 search results - page 439 / 8653 » Comparing models of computation |
146
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
131
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
126
click to vote
IWANN
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
146
click to vote
ACISICIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
CVPR
2000
IEEE
16 years 7 months ago
2000
IEEE
