Sciweavers

666 search results - page 17 / 134
» Power analysis of embedded operating systems
Sort
View
APLAS
2005
ACM
15 years 3 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
SMC
2007
IEEE
119views Control Systems» more  SMC 2007»
15 years 3 months ago
Modeling operator performance for error analysis
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
Alexander M. Yemelyanov
IJES
2007
92views more  IJES 2007»
14 years 9 months ago
Exploring temperature-aware design in low-power MPSoCs
: The power density in high performance systems continues to rise with every process technology generation, thereby increasing the operating temperature and creating ‘hot spots...
Giacomo Paci, Francesco Poletti, Luca Benini, Paul...
CDC
2010
IEEE
203views Control Systems» more  CDC 2010»
14 years 4 months ago
Cyber security analysis of state estimators in electric power systems
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...
André Teixeira, Saurabh Amin, Henrik Sandbe...
ERSA
2004
101views Hardware» more  ERSA 2004»
14 years 11 months ago
Embedded Linux as a Platform for Dynamically Self-Reconfiguring Systems-on-Chip
- We have previously argued the benefits of embedded Linux as an operating system platform for reconfigurable system-on-chip design. In this paper we describe our approach building...
John W. Williams, Neil W. Bergmann