9842 search results - page 49 / 1969 » Compositional timing analysis |
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
SMI
2005
IEEE
14 years 1 months ago
2005
IEEE
RIDE
2002
IEEE
14 years 17 days ago
2002
IEEE
WECWIS
2006
IEEE
14 years 1 months ago
2006
IEEE
In today’s businesses we can see the trend that serviceoriented architectures (SOA) represent the main paradigm for IT infrastructures. In this setting, a software offers its fu...
AAAI
2006
13 years 9 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...