Sciweavers

13489 search results - page 111 / 2698
» Operating System
Sort
View
114
Voted
CASES
2001
ACM
15 years 6 months ago
The performance and energy consumption of three embedded real-time operating systems
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
Kathleen Baynes, Chris Collins, Eric Fiterman, Bri...
CORR
2011
Springer
198views Education» more  CORR 2011»
14 years 9 months ago
Quire: Lightweight Provenance for Smart Phone Operating Systems
Smartphone apps often run with full privileges to access the network and sensitive local resources, making it difficult for remote systems to have any trust in the provenance of ...
Michael Dietz, Shashi Shekhar, Yuliy Pisetsky, Anh...
117
Voted
CONTEXT
2007
Springer
15 years 8 months ago
Delimited Continuations in Operating Systems
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
Oleg Kiselyov, Chung-chieh Shan
134
Voted
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
15 years 9 months ago
Energy minimization for real-time systems with non-convex and discrete operation modes
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...
Foad Dabiri, Alireza Vahdatpour, Miodrag Potkonjak...
143
Voted
EPIA
2009
Springer
15 years 9 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...