2661 search results - page 148 / 533 » Model Checking Performability Properties |
109
click to vote
NN
2007
Springer
15 years 3 months ago
2007
Springer
We analyze in this article the significance of the edge of chaos for real-time computations in neural microcircuit models consisting of spiking neurons and dynamic synapses. We ...
147
Voted
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
106
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
121
Voted
QOFIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
134
click to vote
NETWORKING
2004
15 years 5 months ago
2004
In this work we model the relationship between the capacity and the Quality of Service (QoS) offered by the firm in a competitive scenario of two firm's working to maximize th...