7557 search results - page 532 / 1512 » Modeling Timed Concurrent Systems |
201
click to vote
ICIC
2007
Springer
16 years 1 months 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...
197
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...
181
click to vote
SSS
2007
Springer
16 years 1 months 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...
188
click to vote
ICON
2007
IEEE
16 years 1 months 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...
179
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we consider an M/M/k queueing system with setup costs. Servers are turned off when there is no work to do, but turning on an off server incurs a setup cost. The s...