Sciweavers

3310 search results - page 103 / 662
» Aspect-aware operating system development
Sort
View
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 7 months ago
A Human-Robot Interface Using an Interactive Hand Pointer that Projects a Mark in the Real Work Space
A human-robot interface system is under development that takes into account the exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
Shin Sato, Shigeyuki Sakane
TLCA
2005
Springer
15 years 8 months ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
117
Voted
SLE
2009
Springer
15 years 10 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
106
Voted
SOSP
1997
ACM
15 years 4 months ago
The Flux OSKit: A Substrate for Kernel and Language Research
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau,...
USENIX
2000
15 years 4 months ago
MOSIX: How Linux Clusters Solve Real-World Problems
As the complexity of software increases, the size of the software tends to increase as well, which incurs longer compilation and build cycles. In this paper, the authors present o...
Steve McClure, Richard Wheeler