Sciweavers

2333 search results - page 404 / 467
» Recursive Computational Depth
Sort
View
EUROPAR
2003
Springer
14 years 1 months ago
Parallelization with Tree Skeletons
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
IPSN
2003
Springer
14 years 1 months ago
Multi-target Sensor Management Using Alpha-Divergence Measures
This paper presents a sensor management scheme based on maximizing the expected R´enyi Information Divergence at each sample, applied to the problem of tracking multiple targets. ...
Christopher M. Kreucher, Keith Kastella, Alfred O....
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
14 years 1 months ago
Leveraging dominators for preprocessing QBF
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva,...
DATE
2010
IEEE
182views Hardware» more  DATE 2010»
14 years 1 months ago
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
ISMVL
2002
IEEE
113views Hardware» more  ISMVL 2002»
14 years 29 days ago
On the Construction of Multiple-Valued Decision Diagrams
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
D. Michael Miller, Rolf Drechsler