Sciweavers

1769 search results - page 197 / 354
» Choice in Dynamic Linking
Sort
View
ICDCS
2011
IEEE
14 years 5 months ago
Delay-Cognizant Reliable Delivery for Publish/Subscribe Overlay Networks
—The number of real-world applications that require QoS guarantees is constantly increasing and they often follow the publish/subscribe (pub/sub) messaging paradigm, which provid...
Shuo Guo, Kyriakos Karenos, Minkyong Kim, Hui Lei,...
ISBI
2006
IEEE
16 years 6 months ago
Bayesian tracking for fluorescence microscopic imaging
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...
Ihor Smal, Wiro J. Niessen, Erik H. W. Meijering
ESOP
2009
Springer
16 years 19 days ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
164
Voted
IWOCA
2009
Springer
153views Algorithms» more  IWOCA 2009»
16 years 12 days ago
Feedback Vertex Set on Graphs of Low Cliquewidth
The Feedback Vertex Set problem asks whether a graph contains q vertices meeting all its cycles. This is not a local property, in the sense that we cannot check if q vertices meet...
Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshel...
ICRA
2005
IEEE
86views Robotics» more  ICRA 2005»
15 years 11 months ago
A New Perspective on O(n) Mass-Matrix Inversion for Serial Revolute Manipulators
– This paper describes a new algorithm for the efficient mass-matrix inversion of serial manipulators. Whereas several well-known O(n) algorithms already exist, our presentation ...
Kiju Lee, Gregory S. Chirikjian