Sciweavers

1540 search results - page 98 / 308
» Embedded Systems Resources: Views on Modeling and Analysis
Sort
View
DATE
2007
IEEE
108views Hardware» more  DATE 2007»
14 years 2 months ago
Evaluation of design for reliability techniques in embedded flash memories
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
Benoît Godard, Jean Michel Daga, Lionel Torr...
SIAMAM
2008
101views more  SIAMAM 2008»
13 years 7 months ago
Competitive Exclusion of Microbial Species for a Single Nutrient with Internal Storage
We study a chemostat model that describes competition between n microbial species for a single-limited resource based on storage. The model incorporates internal resource storage v...
Sze-Bi Hsu, Ting-Hao Hsu
TCAD
2008
75views more  TCAD 2008»
13 years 7 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...
MEMOCODE
2003
IEEE
14 years 1 months ago
MoDe: A Method for System-Level Architecture Evaluation
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
Jan Romberg, Oscar Slotosch, Gabor Hahn
TASE
2007
IEEE
14 years 2 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...