1938 search results - page 197 / 388 » Dependable Software |
CASES
2008
ACM
13 years 11 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
CODES
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
IASTEDSEA
2004
13 years 10 months ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
IWFM
1998
13 years 10 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
CISIS
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...