Sciweavers

1737 search results - page 235 / 348
» Hardware Support for Secure Processing in Embedded Systems
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 10 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
SBACPAD
2003
IEEE
137views Hardware» more  SBACPAD 2003»
15 years 9 months ago
Exploring Memory Hierarchy with ArchC
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
IJES
2006
110views more  IJES 2006»
15 years 4 months ago
Partitioning bin-packing algorithms for distributed real-time systems
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
Dionisio de Niz, Raj Rajkumar
ASPDAC
2004
ACM
120views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Compiler based exploration of DSP energy savings by SIMD operations
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
Markus Lorenz, Peter Marwedel, Thorsten Dräge...
ER
2001
Springer
170views Database» more  ER 2001»
15 years 9 months ago
XDoC-WFMS: A Framework for Document Centric Workflow Management System
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...
Rupa Krishnan, Lalitha Munaga, Kamalakar Karlapale...