Sciweavers

966 search results - page 101 / 194
» Code Generation for Embedded Processors
Sort
View
ISORC
2006
IEEE
14 years 2 months ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 17 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
14 years 3 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
SBACPAD
2007
IEEE
143views Hardware» more  SBACPAD 2007»
14 years 3 months ago
A Code Compression Method to Cope with Security Hardware Overheads
Code Compression has been used to alleviate the memory requirements as well as to improve performance and/or minimize energy consumption. On the other hand, implementing security ...
Eduardo Wanderley Netto, Romain Vaslin, Guy Gognia...
DAC
2005
ACM
14 years 10 months ago
Fine-grained application source code profiling for ASIP design
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
Kingshuk Karuri, Mohammad Abdullah Al Faruque, Ste...