3579 search results - page 204 / 716 » Transformations of software models into performance models |
158
click to vote
ENTCS
2006
15 years 5 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
175
click to vote
EUMAS
2006
15 years 6 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
128
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
150
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...
134
Voted
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...