1972 search results - page 259 / 395 » The Timed Asynchronous Distributed System Model |
166
Voted
JCIT
2010
14 years 12 months ago
2010
In this paper we propose a signal-to-interference (SIR)-based distributed Call Admission Control (CAC) strategy that considers the combined effect of both call and packet level qu...
123
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
116
Voted
SIAMAM
2008
15 years 5 months ago
2008
Abstract. We present a model of protein receptor trafficking within the membrane of a cylindrical dendrite containing small protrusions called spines. Spines are the locus of most ...
130
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
192
click to vote
NN
2002
Springer
15 years 4 months ago
2002
Springer
In this paper we implement a computational model of a neuromodulatory system in an autonomous robot. The output of the neuromodulatory system acts as a value signal, modulating wi...