Sciweavers

1992 search results - page 41 / 399
» Memory modeling for system synthesis
Sort
View
CDC
2008
IEEE
170views Control Systems» more  CDC 2008»
15 years 6 months ago
Modeling and control of the protein synthesis process in eukaryotic cells
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
Nadav S. Bar, Rahmi Lale
ENTCS
2007
105views more  ENTCS 2007»
14 years 11 months ago
A Structural Approach for Modelling Performance of Systems Using Skeletons
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Ja...
RTSS
2000
IEEE
15 years 4 months ago
Scalable Real-Time System Design using Preemption Thresholds
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
Manas Saksena, Yun Wang
DSD
2002
IEEE
88views Hardware» more  DSD 2002»
15 years 4 months ago
The Synthesis of a Hardware Scheduler for Non-Manifest Loops
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
Omar Mansour, Egbert Molenkamp, Thijs Krol
DEDS
1998
82views more  DEDS 1998»
14 years 11 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer