3921 search results - page 605 / 785 » Transforming Models with ATL |
109
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
139
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
162
click to vote
SMA
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
161
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
134
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Statistical timing analysis needs a priori knowledge of process variations. Lack of such a priori knowledge of process variations prevents accurate statistical timing analysis, fo...