Sciweavers

13489 search results - page 116 / 2698
» Self-migration of operating systems
Sort
View
TLCA
1995
Springer
15 years 8 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
WSC
2008
15 years 7 months ago
A framework for real-time simulation of heavy construction operations
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...
Lingguang Song, Fernando Ramos, Katie Arnold
WSC
2004
15 years 6 months ago
Autonomous Predictive-Adaptive Simulation for Operations Support
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
Peter Bosch, Majdi Rajab
IPMU
2010
Springer
15 years 3 months ago
Performance Comparison of Fusion Operators in Bimodal Remote Sensing Snow Detection
Abstract. This contribution describes the system developed and implemented for the detection of snow based on the fusion of optical and Synthetic Aperture Radar (SAR) remote sensin...
Aureli Soria-Frisch, Antonio Repucci, Laura Moreno...
ISKI
1992
15 years 8 months ago
Generic Update Operations Keeping Object-Oriented Databases Consistent
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
Christian Laasch, Marc H. Scholl