Sciweavers

5005 search results - page 175 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
116
Voted
SIGMETRICS
2010
ACM
214views Hardware» more  SIGMETRICS 2010»
15 years 5 months ago
Distributed sensor network localization from local connectivity: performance analysis for the HOP-TERRAIN algorithm
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
Amin Karbasi, Sewoong Oh
CORR
2011
Springer
124views Education» more  CORR 2011»
14 years 7 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...
100
Voted
CORR
2008
Springer
81views Education» more  CORR 2008»
15 years 1 months ago
Kinematic Analysis of the vertebra of an eel like robot
The kinematic analysis of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger French project, which aims to design and to bu...
Damien Chablat
114
Voted
LCPC
2004
Springer
15 years 6 months ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
Lin Li, Clark Verbrugge
116
Voted
DCOSS
2006
Springer
15 years 4 months ago
Efficient In-Network Processing Through Local Ad-Hoc Information Coalescence
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...
Onur Savas, Murat Alanyali, Venkatesh Saligrama