Sciweavers

2180 search results - page 355 / 436
» Algorithms for discovering bucket orders from data
Sort
View
105
Voted
FASE
2006
Springer
15 years 4 months ago
Automated Systematic Testing of Open Distributed Programs
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
Koushik Sen, Gul Agha
92
Voted
ISPASS
2006
IEEE
15 years 6 months ago
Comparing multinomial and k-means clustering for SimPoint
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
Greg Hamerly, Erez Perelman, Brad Calder
PLDI
2003
ACM
15 years 6 months ago
Static array storage optimization in MATLAB
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
Pramod G. Joisha, Prithviraj Banerjee
WG
1993
Springer
15 years 4 months ago
Graphs, Hypergraphs and Hashing
Minimal perfect hash functions are used for memory efficient storage and fast retrieval of items from static sets. We present an infinite family of efficient and practical algori...
George Havas, Bohdan S. Majewski, Nicholas C. Worm...
118
Voted
JFR
2007
94views more  JFR 2007»
15 years 17 days ago
Vision-aided inertial navigation for pin-point landing using observations of mapped landmarks
In this paper we describe an Extended Kalman Filter (EKF) algorithm for estimating the pose and velocity of a spacecraft during Entry, Descent and Landing (EDL). The proposed esti...
Nikolas Trawny, Anastasios I. Mourikis, Stergios I...