Sciweavers

22358 search results - page 3948 / 4472
» Software Performance Engineering
Sort
View
166
Voted
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
IJCV
2002
148views more  IJCV 2002»
15 years 6 months ago
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little wo...
Daniel Scharstein, Richard Szeliski
CONCURRENCY
1998
130views more  CONCURRENCY 1998»
15 years 6 months ago
JPVM: network parallel computing in Java
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
Adam Ferrari
PVLDB
2008
83views more  PVLDB 2008»
15 years 5 months ago
Clustera: an integrated computation and data management system
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...
David J. DeWitt, Erik Paulson, Eric Robinson, Jeff...
ICRA
2010
IEEE
129views Robotics» more  ICRA 2010»
15 years 5 months ago
Optimal passive dynamics for torque/force control
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
Kevin Kemper, Devin Koepl, Jonathan Hurst
« Prev « First page 3948 / 4472 Last » Next »