2255 search results - page 358 / 451 » High Assurance Software Systems |
101
Voted
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Tera-scale high-performance computing has enabled scientists to tackle very large and computationally challenging scientific problems, making the advancement of scientific discov...
RT
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a method for actively controlling the illumination in a room so that it is consistent with a virtual world. In combination with a high dynamic range display, the syst...
107
Voted
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
93
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Parallel loops account for the greatest percentage of program parallelism. The degree to which parallelism can be exploited and the amount of overhead involved during par...
87
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...