1093 search results - page 78 / 219 » Fast Abstracts |
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. This paper presents a fast image synthesis procedure for elastic volumes under deformation. Given the node displacements of a mesh and the 3D image voxel data of an undef...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper describes the design of a fast longjumping robot conceived to move in unstructured environments through simple feed-forward control laws. Despite the apparen...
HPSR
2011
12 years 8 months ago
2011
Abstract—This paper describes the implementation of ARPPath (a.k.a. FastPath) bridges, a recently proposed concept for low latency bridges, in Linux/Soekris and OpenFlow/NetFPGA ...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...