Sciweavers

1737 search results - page 65 / 348
» Hardware Support for Secure Processing in Embedded Systems
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 8 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
FPL
2009
Springer
129views Hardware» more  FPL 2009»
15 years 8 months ago
Self-organizing multi-cue fusion for FPGA-based embedded imaging
Self-organization is a natural concept that helps complex systems to adapt themselves autonomically to their environment. In this paper, we present a self-organizing framework for...
Stefan Wildermann, Gregor Walla, Tobias Ziermann, ...
109
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
Kevin E. Dorow
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
15 years 9 months ago
Comparing high-level modeling approaches for embedded system design
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
Lisane B. de Brisolara, Leandro Buss Becker, Luigi...
148
Voted
WISES
2004
15 years 5 months ago
Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...
Martin Jankela, Wolfgang Puffitsch, Wolfgang Huber