Sciweavers

14 search results - page 2 / 3
» Basic Program Structures for Avoiding Priority Inversions
Sort
View
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 4 months ago
Polynomial Linear Programming with Gaussian Belief Propagation
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...
Danny Bickson, Yoav Tock, Ori Shental, Danny Dolev
JPDC
2006
111views more  JPDC 2006»
13 years 4 months ago
Designing irregular parallel algorithms with mutual exclusion and lock-free protocols
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
Guojing Cong, David A. Bader
ICSE
2009
IEEE-ACM
13 years 11 months ago
Guided path exploration for regression test generation
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan ...
PPDP
2007
Springer
13 years 11 months ago
Real-time rewriting semantics of orc
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
Musab AlTurki, José Meseguer
ICRA
2005
IEEE
169views Robotics» more  ICRA 2005»
13 years 10 months ago
Absolute Stereo SFM without Stereo Correspondence for Vision Based SLAM
— This paper presents a vision based SLAM method by using stereo SFM technique. The proposed method is based on the stereo SFM presented in our former paper. The method do not ne...
Jae-Hean Kim, Myung Jin Chung