Sciweavers

939 search results - page 138 / 188
» Improving Dynamic Data Analysis with Aspect-Oriented Program...
Sort
View
130
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
Correlation exploitation in error ranking
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R...
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 10 months ago
Design of a Biomimetic Controlled-Curvature Robotic Pectoral Fin
—This paper describes the design, construction, and testing of a biomimetic pectoral (side) fin with actively controlled curvature for UUV propulsion. First, a 3D unsteady comput...
John Palmisano, Ravi Ramamurti, Kerr-Jia Lu, Jonah...
163
Voted
KDD
2006
ACM
174views Data Mining» more  KDD 2006»
16 years 4 months ago
Onboard classifiers for science event detection on a remote sensing spacecraft
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
Ashley Davies, Benjamin Cichy, Dominic Mazzoni, Ng...
ECRA
2007
116views more  ECRA 2007»
15 years 3 months ago
Two-level workload characterization of online auctions
Online auctions are rapidly becoming one of the significant forms of electronic commerce for buying and selling goods and services. A good understanding of the workload of auctio...
Vasudeva Akula, Daniel A. Menascé
108
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
Increasing and Detecting Memory Address Congruence
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
Samuel Larsen, Emmett Witchel, Saman P. Amarasingh...