Sciweavers

3844 search results - page 348 / 769
» Modular interpreted systems
Sort
View
POPL
2006
ACM
16 years 5 months ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
ICRA
1999
IEEE
187views Robotics» more  ICRA 1999»
15 years 9 months ago
VISP: A Software Environment for Eye-in-Hand Visual Servoing
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
Éric Marchand
RTCSA
1999
IEEE
15 years 9 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
LISA
2008
15 years 7 months ago
Devolved Management of Distributed Infrastructures with Quattor
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
Stephen Childs, Marco Emilio Poleggi, Charles Loom...
146
Voted
NIPS
1994
15 years 6 months ago
Catastrophic Interference in Human Motor Learning
Biological sensorimotor systems are not static maps that transform input sensory information into output motor behavior. Evidence from many lines of research suggests that their r...
Tom Brashers-Krug, Reza Shadmehr, Emanuel Todorov