Sciweavers

406 search results - page 13 / 82
» On Actors and Objects - OOP in System Level Design
Sort
View
HOTOS
1999
IEEE
14 years 1 months ago
The Case for Higher-Level Power Management
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
Carla Schlatter Ellis
SRDS
2008
IEEE
14 years 3 months ago
An Incremental File System Consistency Checker for Block-Level CDP Systems
A block-level continuous data protection (CDP) system logs every disk block update from an application server (e.g., a file or DBMS server) to a storage system so that any disk u...
Maohua Lu, Tzi-cker Chiueh, Shibiao Lin
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 14 days ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
APAQS
2001
IEEE
14 years 12 days ago
Incremental Fault-Tolerant Design in an Object-Oriented Setting
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, ...
WSC
1998
13 years 10 months ago
Modeling at the Machine-Control Level Using Discrete Event Simulation (DES)
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
Raid Al-Aomar, Daniel Cook