Sciweavers

940 search results - page 111 / 188
» Control Abstractions for Local Search
Sort
View
OOPSLA
2009
Springer
16 years 27 days ago
Parallel programming with object assemblies
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cern&...
W2GIS
2004
Springer
15 years 11 months ago
Expansion-Based Algorithms for Finding Single Pair Shortest Path on Surface
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
Ke Deng, Xiaofang Zhou
ICRA
2009
IEEE
86views Robotics» more  ICRA 2009»
16 years 1 months ago
Transmission of tactile roughness through master-slave systems
Abstract— In this study, a tactile-roughness transmission system applicable to master-slave systems with a communication time delay is developed. The master-side system construct...
Shogo Okamoto, Masashi Konyo, Takashi Maeno, Satos...
INFOCOM
2007
IEEE
16 years 19 days ago
Losing Opportunism: Evaluating Service Integration in an Opportunistic Wireless System
Abstract— In this paper we evaluate interactions among flowlevel performance metrics when integrating QoS and best effort flows in a wireless system using opportunistic schedul...
Hongseok Kim, Gustavo de Veciana
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer