Sciweavers

853 search results - page 59 / 171
» Delimited Continuations in Operating Systems
Sort
View
OSDI
2008
ACM
15 years 3 days ago
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Bud...
MONET
2006
88views more  MONET 2006»
14 years 9 months ago
Introducing consciousness in UWB networks by hybrid modelling of admission control
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
Maria-Gabriella Di Benedetto, Guerino Giancola, Ma...
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
15 years 3 months ago
Proprioceptive Control for a Robotic Vehicle over Geometric Obstacles
In this paper we describe a software system built to coordinate an autonomous vehicle with variable configuration ability operating in rough terrain conditions. The paper describe...
Kenneth J. Waldron, Ronald C. Arkin, Douglas Bakku...
ISSS
1997
IEEE
105views Hardware» more  ISSS 1997»
15 years 2 months ago
Co-Emulation and Debugging of HW/SW-Systems
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel
FLAIRS
2007
15 years 3 days ago
Using Plans to Automate Software Applications
Many software applications consist of a number of interdependent steps and are executed under the supervision of a human administrator or operator. The administrator responds to e...
Jon R. Wright