Sciweavers

740 search results - page 63 / 148
» Constraints in Object-Oriented Analysis and Design
Sort
View
ECRTS
2006
IEEE
14 years 3 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
DATE
2009
IEEE
143views Hardware» more  DATE 2009»
14 years 3 months ago
Dimensioning heterogeneous MPSoCs via parallelism analysis
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...
Bastian Ristau, Torsten Limberg, Oliver Arnold, Ge...
GLOBECOM
2006
IEEE
14 years 3 months ago
Fast Stochastic Analysis of P2P File Distribution Architectures
— In this paper we investigate which is the most efficient architecture and protocol that can be used for file distribution. The focus of the analysis is to understand not only...
Damiano Carra, Renato Lo Cigno, Ernst W. Biersack
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
14 years 25 days ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
ASPDAC
2005
ACM
130views Hardware» more  ASPDAC 2005»
13 years 11 months ago
Stability analysis of active clock deskewing systems using a control theoretic approach
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
Vinil Varghese, Tom Chen, Peter Young