Sciweavers

1093 search results - page 66 / 219
» Simplifying parallel and distributed simulation with the DUP...
Sort
View
CLADE
2008
IEEE
13 years 11 months ago
A grid-enabled workflow system for reservoir uncertainty analysis
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
Emrah Ceyhan, Gabrielle Allen, Christopher D. Whit...
ISCA
2002
IEEE
174views Hardware» more  ISCA 2002»
13 years 9 months ago
Efficient Task Partitioning Algorithms for Distributed Shared Memory Systems
In this paper, we consider the tree task graphs which arise from many important programming paradigms such as divide and conquer, branch and bound etc., and the linear task-graphs...
Sibabrata Ray, Hong Jiang
GPC
2009
Springer
13 years 7 months ago
Integrity Assurance Technique Using Determinant Approach
Data integrity is an important aspect of storage security and reliability which are prerequisite for most computer systems and network applications. This paper proposes a new tech...
Jasim A. Ghaeb
CDC
2010
IEEE
128views Control Systems» more  CDC 2010»
13 years 3 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...
ARTS
1997
Springer
14 years 25 days ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke