9842 search results - page 88 / 1969 » Compositional timing analysis |
166
click to vote
ICSOC
2010
Springer
15 years 10 days ago
2010
Springer
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of ser...
137
click to vote
AGP
1996
IEEE
15 years 6 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
147
click to vote
IFIPTCS
2010
15 years 9 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
124
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
138
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...