Sciweavers

6047 search results - page 97 / 1210
» Modeling with Extend
Sort
View
ASPDAC
2005
ACM
94views Hardware» more  ASPDAC 2005»
15 years 3 months ago
Probabilistic congestion model considering shielding for crosstalk reduction
We extend an existing probabilistic congestion model to consider shielding for crosstalk reduction. We then develop a multilevel router to study the impact of various congestion m...
Jinjun Xiong, Lei He
CVPR
2005
IEEE
16 years 3 months ago
Multilabel Random Walker Image Segmentation Using Prior Models
The recently introduced random walker segmentation algorithm of [14] has been shown to have desirable theoretical properties and to perform well on a wide variety of images in pra...
Leo Grady
EMSOFT
2004
Springer
15 years 7 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
WER
2000
Springer
15 years 5 months ago
Non-Functional Requirements for Object-Oriented Modeling
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
Jaime de Melo Sabat Neto, Julio Cesar Sampaio do P...
WICSA
2008
15 years 3 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi