Sciweavers

29172 search results - page 157 / 5835
» Modeling Systems in CLP
Sort
View
FM
2008
Springer
127views Formal Methods» more  FM 2008»
13 years 12 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
COMPSAC
2008
IEEE
14 years 4 months ago
Embedded Systems Resources: Views on Modeling and Analysis
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
Aneta Vulgarakis, Cristina Cerschi Seceleanu
DATE
2005
IEEE
102views Hardware» more  DATE 2005»
14 years 3 months ago
Modeling of a Reconfigurable OFDM IP Block Family For an RF System Simulator
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
Hannu Heusala, Jussi Liedes
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 3 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn
WSC
2008
14 years 18 days ago
Architecture for modeling, simulation, and execution of PLC based manufacturing system
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
Devinder Thapa, Chang Mok Park, Kwan Hee Han, Sang...