Sciweavers

11603 search results - page 519 / 2321
» Securing Embedded Systems
Sort
View
ERSA
2003
147views Hardware» more  ERSA 2003»
15 years 8 months ago
Towards Run-Time Re-Configurable Techniques for Real-Time Embedded Applications
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...
Timothy F. Oliver, Douglas L. Maskell
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 7 months ago
Designing and Embedding Reliable Virtual Infrastructures
In a virtualized infrastructure where physical resources are shared, a single physical server failure will terminate several virtual servers and crippling the virtual infrastructu...
Wai-Leong Yeow, Cédric Westphal, Ulas C. Ko...
ISCAS
2011
IEEE
261views Hardware» more  ISCAS 2011»
14 years 10 months ago
Hardware synchronization for embedded multi-core processors
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...
Christian Stoif, Martin Schoeberl, Benito Liccardi...
CSFW
2004
IEEE
15 years 11 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...
ACSW
2006
15 years 8 months ago
SKMA: a key management architecture for SCADA systems
Supervisory Control And Data Acquisition (SCADA) systems are widely used in the management of critical infrastructure such as electricity and water distrubution systems. Currently...
Robert Dawson, Colin Boyd, Ed Dawson, Juan Manuel ...