Sciweavers

822 search results - page 32 / 165
» Hardware software partitioning of embedded system in OCAPI-x...
Sort
View
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
14 years 1 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
DAC
2009
ACM
14 years 9 months ago
Non-intrusive dynamic application profiling for multitasked applications
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
Karthik Shankar, Roman L. Lysecky
CODES
2000
IEEE
14 years 1 months ago
Linking codesign and reuse in embedded systems design
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
Matthias Meerwein, C. Baumgartner, W. Glauert
ASPDAC
2008
ACM
107views Hardware» more  ASPDAC 2008»
13 years 11 months ago
Enabling run-time memory data transfer optimizations at the system level with automated extraction of embedded software metadata
The information about the run-time behavior of software applications is crucial for enabling system level optimizations for embedded systems. This embedded Software Metadata inform...
Alexandros Bartzas, Miguel Peón Quiró...
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
14 years 1 months ago
Speeding up power estimation of embedded software
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
Akshaye Sama, J. F. M. Theeuwen, M. Balakrishnan