Sciweavers

25 search results - page 4 / 5
» Integrating Collaborative Program Development and Debugging ...
Sort
View
DISCO
1993
156views Hardware» more  DISCO 1993»
13 years 9 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
AEI
2005
102views more  AEI 2005»
13 years 5 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
13 years 11 months ago
A Whole-body Control Framework for Humanoids Operating in Human Environments
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
Luis Sentis, Oussama Khatib
ENTCS
2008
94views more  ENTCS 2008»
13 years 5 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
VEE
2012
ACM
222views Virtualization» more  VEE 2012»
12 years 24 days ago
Unpicking the knot: teasing apart VM/application interdependencies
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
Yi Lin, Stephen M. Blackburn, Daniel Frampton