13489 search results - page 311 / 2698 » Self-migration of operating systems |
171
Voted
ICCD
1993
IEEE
15 years 11 months ago
1993
IEEE
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...
171
Voted
AHCI
2010
15 years 2 months ago
2010
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...
214
Voted
LISA
2008
15 years 9 months ago
2008
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...
212
Voted
ISCA
2011
IEEE
14 years 11 months ago
2011
IEEE
Performance-asymmetric multi-cores consist of heterogeneous cores, which support the same ISA, but have different computing capabilities. To maximize the throughput of asymmetric...
158
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
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...