6756 search results - page 119 / 1352 » Distributed Shared State |
119
Voted
TSE
2008
15 years 2 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
122
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Consider a robust downlink beamforming optimization problem for secondary multicast transmission in a multiple-input multiple-output (MIMO) spectrum sharing cognitive radio (CR) n...
163
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
110
click to vote
PACT
2007
Springer
15 years 8 months ago
2007
Springer
The application of the Orthogonal Organized Finite State Machine (OOFSM) to the representation of data acquired by sensor networks is proposed. The OOFSM was proposed in earlier wo...
236
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...