14382 search results - page 64 / 2877 » Time in Connectionist Models |
120
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
119
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
124
click to vote
IDEAL
2004
Springer
15 years 6 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...
144
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we introduce a simple analytical modeling approach for computing service unavailability due to long response time, for infinite and finite single-server systems a...