Sciweavers

6897 search results - page 1017 / 1380
» Parallelization of Modular Algorithms
Sort
View
SIGSOFT
2005
ACM
16 years 7 months ago
Context- and path-sensitive memory leak detection
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
Yichen Xie, Alexander Aiken
SIGMOD
2004
ACM
166views Database» more  SIGMOD 2004»
16 years 7 months ago
Fast Computation of Database Operations using Graphics Processors
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
Naga K. Govindaraju, Brandon Lloyd, Wei Wang 0010,...
ICDCS
2009
IEEE
16 years 3 months ago
Graduated QoS by Decomposing Bursts: Don't Let the Tail Wag Your Server
The growing popularity of hosted storage services and shared storage infrastructure in data centers is driving the recent interest in resource management and QoS in storage system...
Lanyue Lu, Peter J. Varman, Kshitij Doshi
KBSE
2009
IEEE
16 years 1 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
IROS
2009
IEEE
136views Robotics» more  IROS 2009»
16 years 1 months ago
Floating visual grasp of unknown objects
— A new method for fast visual grasp of unknown objects using a camera mounted on a robot in an eye-inhand configuration is presented. The method is composed of a fast iterative...
Vincenzo Lippiello, Fabio Ruggiero, Luigi Villani
« Prev « First page 1017 / 1380 Last » Next »