Sciweavers

15614 search results - page 170 / 3123
» The State of State
Sort
View
125
Voted
CORR
2011
Springer
124views Education» more  CORR 2011»
14 years 10 months ago
Parallel Recursive State Compression for Free
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
142
Voted
CDC
2010
IEEE
128views Control Systems» more  CDC 2010»
14 years 10 months ago
Decentralization of particle filters using arbitrary state decomposition
In this paper, a new particle filter (PF) which we refer to as the decentralized PF (DPF) is proposed. By first decomposing the state into two parts, the DPF splits the filtering p...
Tianshi Chen, Thomas B. Schön, Henrik Ohlsson...
ICASSP
2011
IEEE
14 years 7 months ago
Stochastic resource allocation for cognitive radio networks based on imperfect state information
Efficient design of cognitive radio networks calls for secondary users implementing adaptive resource allocation, which requires knowledge of the channel state information in ord...
Antonio G. Marqués, Georgios B. Giannakis, ...
CCGRID
2010
IEEE
14 years 7 months ago
WORKEM: Representing and Emulating Distributed Scientific Workflow Execution State
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
Lavanya Ramakrishnan, Dennis Gannon, Beth Plale
FAST
2011
14 years 7 months ago
CAFTL: A Content-Aware Flash Translation Layer Enhancing the Lifespan of Flash Memory based Solid State Drives
Although Flash Memory based Solid State Drive (SSD) exhibits high performance and low power consumption, a critical concern is its limited lifespan along with the associated relia...
Feng Chen, Tian Luo, Xiaodong Zhang