6308 search results - page 309 / 1262 » Modeling Urgency in Timed Systems |
188
click to vote
SIAMSC
2011
15 years 1 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
190
click to vote
ICIC
2007
Springer
16 years 24 days ago
2007
Springer
Inspired by the behaviour of biological receptive fields and the human visual system, a network model based on spiking neurons is proposed to detect edges in a visual image. The st...
169
click to vote
SSS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
177
click to vote
ICON
2007
IEEE
16 years 29 days ago
2007
IEEE
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...
165
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Mutual exclusion is a fundamental distributed coordination problem. Shared-memory mutual exclusion research focuses on local-spin algorithms and uses the remote memory references ...