Sciweavers

2271 search results - page 196 / 455
» Scalable Software Libraries
Sort
View
124
Voted
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
15 years 2 months ago
Improving a Robotics Framework with Real-Time and High-Performance Features
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
Jesús Martínez, Adrián Romero...
ICSE
2007
IEEE-ACM
16 years 4 months ago
Korat: A Tool for Generating Structurally Complex Test Inputs
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
Aleksandar Milicevic, Sasa Misailovic, Darko Marin...
ISSRE
2008
IEEE
15 years 11 months ago
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexan...
ADAEUROPE
2007
Springer
15 years 10 months ago
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
Alejandro R. Mosteo, Luis Montano
VLSI
2007
Springer
15 years 10 months ago
A low-power deblocking filter architecture for H.264 advanced video coding
Abstract— In this paper, a low-power deblocking filter architecture for H.264/AVC is proposed. A hybrid filtering order has been adopted to boost the speed of the deblocking ...
Jaemoon Kim, Sangkwon Na, Chong-Min Kyung