Sciweavers

440 search results - page 33 / 88
» On Some Systems Controlled by the Structure of Their Memory
Sort
View
SCS
2004
13 years 10 months ago
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...
Paul Chinneck, David Pumfrey, John McDermid
IRI
2008
IEEE
14 years 3 months ago
Eliminating the threat of kernel stack overflows
The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the me...
Yair Wiseman, Joel Isaacson, Eliad Lubovsky
IROS
2008
IEEE
157views Robotics» more  IROS 2008»
14 years 3 months ago
Cooperative navigation using environment compliant robot formations
— This paper reports an autonomous cooperative navigation system for robot formations in realistic scenarios. The formation movement control is based on a virtual structure compo...
Pablo Urcola, L. Riazuelo, M. T. Lazaro, Luis Mont...
NIPS
2007
13 years 10 months ago
Inferring Elapsed Time from Stochastic Neural Processes
Many perceptual processes and neural computations, such as speech recognition, motor control and learning, depend on the ability to measure and mark the passage of time. However, ...
Misha Ahrens, Maneesh Sahani
FGCN
2007
IEEE
14 years 3 months ago
An Evalulation of the Pool Maintenance Overhead in Reliable Server Pooling Systems
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. An important ...
Thomas Dreibholz, Erwin P. Rathgeb