2255 search results - page 216 / 451 » High Assurance Software Systems |
149
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
182
click to vote
ISPASS
2003
IEEE
15 years 11 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
193
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
183
click to vote
IEEECIT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
143
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...