2302 search results - page 180 / 461 » Testing as Abstraction |
137
click to vote
PASTE
2004
ACM
16 years 5 hour ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
136
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract—Two simple three-dimensional moth inspired odortracking algorithms, Counter-turner and Modified counterturner, were tested on a robotic platform. The Counter-turner uses...
147
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
The dimensionality reduction problem has been widely studied in the database literature because of its application for concise data representation in a variety of database applica...
179
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
162
click to vote
TC
2008
15 years 6 months ago
2008
Abstract-- Dilated integers form an ordered group of the cartesian indices into a d-dimensional array represented in Morton order. Efficient implementations of its operations can b...