Sciweavers

5877 search results - page 299 / 1176
» Advanced High Performance Algorithms for Data Processing
Sort
View
TIP
2010
164views more  TIP 2010»
15 years 1 months ago
A Marked Point Process for Modeling Lidar Waveforms
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...
Clément Mallet, Florent Lafarge, Michel Rou...
ICDE
1994
IEEE
140views Database» more  ICDE 1994»
15 years 10 months ago
Mariposa: A New Architecture for Distributed Data
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...
Michael Stonebraker, Paul M. Aoki, Robert Devine, ...
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 12 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
MOBICOM
2010
ACM
15 years 6 months ago
Bartendr: a practical approach to energy-aware cellular data scheduling
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
Aaron Schulman, Vishnu Navda, Ramachandran Ramjee,...
DAC
2002
ACM
16 years 7 months ago
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao ...