15614 search results - page 85 / 3123 » The State of State |
109
Voted
WADT
1999
Springer
15 years 5 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
81
Voted
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
100
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new neural network architecture, called Simple Recurrent Temporal-Difference Networks (SR-TDNs), that learns to predict future observations in partially observable en...
110
Voted
IEEEMSP
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract—Traditionally, random access protocols have been designed and studied by assuming simple models for the physical layer. We introduce a reception model that incorporates ...
101
click to vote
PADS
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...