Sciweavers

29172 search results - page 327 / 5835
» Modeling Systems in CLP
Sort
View
SIES
2010
IEEE
15 years 4 months ago
Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...
CDC
2009
IEEE
106views Control Systems» more  CDC 2009»
15 years 4 months ago
ILC applied to a flexible two-link robot model using sensor-fusion-based estimates
Johanna Wallen, Svante Gunnarsson, Robert Henrikss...
TSP
2008
115views more  TSP 2008»
15 years 6 months ago
Sinusoidal Modeling and Adaptive Channel Prediction in Mobile OFDM Systems
We propose a wireless fading channel prediction algorithm for a pilot-symbol aided Orthogonal Frequency Division Multiplexing (OFDM) system. Assuming a doubly selective (time and ...
Ian C. Wong, Brian L. Evans
ICSE
2007
IEEE-ACM
16 years 6 months ago
Stakeholder Value Driven Threat Modeling for Off the Shelf Based Systems
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...
Yue Chen
FDL
2008
IEEE
16 years 1 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...