16725 search results - page 3162 / 3345 » Engineering Software Correctness |
143
Voted
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
126
click to vote
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
Shared memory architectures often have caches to reduce the number of slow remote memory accesses. The largest possible caches exist in shared memory architectures called Cache-On...
126
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
126
Voted
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
The products of systems cannot always be judged at face value: the process by which they were obtained is also important. For instance, the rigour of a scientific experiment, the e...
153
Voted
AUTONOMICS
2007
ACM
15 years 7 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...