Sciweavers

575 search results - page 108 / 115
» Towards Electrical, Integrated Implementations of SIMPL Syst...
Sort
View
FIW
1998
130views Communications» more  FIW 1998»
15 years 1 months ago
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
Maritta Heisel, Jeanine Souquières
ASPLOS
2009
ACM
16 years 9 days ago
Dynamic prediction of collection yield for managed runtimes
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
Michal Wegiel, Chandra Krintz
ICRA
2006
IEEE
210views Robotics» more  ICRA 2006»
15 years 5 months ago
Programmable Central Pattern Generators: an Application to Biped Locomotion Control
— We present a system of coupled nonlinear oscillators to be used as programmable central pattern generators, and apply it to control the locomotion of a humanoid robot. Central ...
Ludovic Righetti, Auke Jan Ijspeert
SOSP
2005
ACM
15 years 8 months ago
THINC: a virtual display architecture for thin-client computing
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
Ricardo A. Baratto, Leonard N. Kim, Jason Nieh
SSDBM
2008
IEEE
149views Database» more  SSDBM 2008»
15 years 6 months ago
Query Planning for Searching Inter-dependent Deep-Web Databases
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...
Fan Wang, Gagan Agrawal, Ruoming Jin