4520 search results - page 387 / 904 » Algebraic Techniques for Timed Systems |
235
click to vote
TDSC
2010
15 years 2 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
200
click to vote
FDL
2003
IEEE
16 years 26 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
212
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
166
click to vote
USITS
2001
15 years 9 months ago
2001
In this paper we present a prefetch technique, which incorporates a scheme similar to data streaming to minimize the response-lag. Unlike previous all or none techniques, we propo...
198
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we propose a novel channel estimation technique based on 2D spread pilots. The merits of this technique are its simplicity, its flexibility regarding the transmissi...