Sciweavers

7404 search results - page 1211 / 1481
» Software performance antipatterns
Sort
View
177
Voted
FOSSACS
2009
Springer
16 years 1 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...
CEC
2009
IEEE
16 years 1 months ago
GPU-based parallel particle swarm optimization
— A novel parallel approach to run standard particle swarm optimization (SPSO) on Graphic Processing Unit (GPU) is presented in this paper. By using the general-purpose computing...
You Zhou, Ying Tan
CEC
2009
IEEE
16 years 1 months ago
HyperNEAT controlled robots learn how to drive on roads in simulated environment
Abstract— In this paper we describe simulation of autonomous robots controlled by recurrent neural networks, which are evolved through indirect encoding using HyperNEAT algorithm...
Jan Drchal, Jan Koutník, Miroslav Snorek
CRV
2009
IEEE
132views Robotics» more  CRV 2009»
16 years 1 months ago
A Vision-Based Control and Interaction Framework for a Legged Underwater Robot
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
Junaed Sattar, Gregory Dudek
DSN
2009
IEEE
16 years 1 months ago
LFI: A practical and general library-level fault injector
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
Paul Dan Marinescu, George Candea
« Prev « First page 1211 / 1481 Last » Next »