Sciweavers

3104 search results - page 465 / 621
» A High Performance Kernel-Less Operating System Architecture
Sort
View
ACSAC
2007
IEEE
15 years 9 months ago
Secure and Flexible Monitoring of Virtual Machines
The monitoring of virtual machines has many applications in areas such as security and systems management. A monitoring technique known as introspection has received significant ...
Bryan D. Payne, Wenke Lee
ISCA
2006
IEEE
144views Hardware» more  ISCA 2006»
15 years 2 months ago
Conditional Memory Ordering
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
Christoph von Praun, Harold W. Cain, Jong-Deok Cho...
141
Voted
SENSYS
2005
ACM
15 years 8 months ago
Everlast: long-life, supercapacitor-operated wireless sensor node
This paper describes a supercapacitor-operated, solar-powered wireless sensor node called Everlast. Unlike traditional wireless sensors that store energy in batteries, Everlast’...
Farhan Simjee, Devyani Sharma, Pai H. Chou
124
Voted
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
15 years 8 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
15 years 12 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...