Sciweavers

13489 search results - page 311 / 2698
» Self-migration of operating systems
Sort
View
ICCD
1993
IEEE
94views Hardware» more  ICCD 1993»
15 years 11 months ago
Symbolic Analysis Methods for Masks, Circuits, and Systems
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
Randal E. Bryant
149
Voted
AHCI
2010
66views more  AHCI 2010»
15 years 1 months ago
The SEMAINE API: Towards a Standards-Based Framework for Building Emotion-Oriented Systems
This paper presents the SEMAINE API, an open source framework for building emotion-oriented systems. By encouraging and simplifying the use of standard representation formats, the...
Marc Schröder
LISA
2008
15 years 9 months ago
Sysman: A Virtual File System for Managing Clusters
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
Mohammad Banikazemi, David Daly, Bülent Abali
ISCA
2011
IEEE
240views Hardware» more  ISCA 2011»
14 years 10 months ago
Virtualizing performance asymmetric multi-core systems
Performance-asymmetric multi-cores consist of heterogeneous cores, which support the same ISA, but have different computing capabilities. To maximize the throughput of asymmetric...
Youngjin Kwon, Changdae Kim, Seungryoul Maeng, Jae...
DATE
2004
IEEE
115views Hardware» more  DATE 2004»
15 years 10 months ago
Aspects of Formal and Graphical Design of a Bus System
This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action system...
Tiberiu Seceleanu, Tomi Westerlund