[permalink] [id link]
# Nuclear software: In the UK the Health and Safety Executive recommends the use of static analysis on Reactor Protection Systems.
from
Wikipedia
Some Related Sentences
# and Nuclear
A PDP-7A ( S # 115 ) was under restoration in Oslo, Norway, a second PDP-7A ( S # 113 ) previously located at the University of Oregon in its Nuclear Physics laboratory is now at the Living Computer Museum in Seattle, Washington and is almost completely restored to running condition after being disassembled for transport.
Ivy Mike, the first full test of the Teller – Ulam design ( a Nuclear weapon design # Two-stage thermonuclear weapons | staged fusion bomb ), with a TNT equivalent | yield of 10. 4 megatons ( November 1, 1952 )
# Adams, L., Harboe Sorensen, R., Holmes Siedle, A. G., Ward, A. K. and Bull, R. ( 1991 ), " Measurement of SEU and total dose in geostationary orbit under normal and solar flare conditions ," IEEE Transactions on Nuclear Science, NS 38 ( 6 ), pp. 1686 – 92 ( Dec 1991 )
# and software
# associated performance issues, e. g., software context switching can be selective and store only those registers that need storing, whereas hardware context switching stores nearly all registers whether they're required or not.
# Trust all the software to abide by a security policy but the software is not trustworthy ( this is computer insecurity ).
# Trust all the software to abide by a security policy and the software is validated as trustworthy ( by tedious branch and path analysis for example ).
# Trust no software but enforce a security policy with mechanisms that are not trustworthy ( again this is computer insecurity ).
The format is # 0000000x. yyyyyyyy in case of a CPU error, or # aabbcccc. dddddddd in case of a system software error.
# a member of the Unix or the free and open source software programming subcultures or one who uses such a style of software or hardware development.
# The user trusts that the browser software correctly implements HTTPS with correctly pre-installed certificate authorities.
# A back-end database or data store, comprising both data sets and the database management system or RDBMS software that manages and provides access to the data.
# Reference software ( example software showing how to encode and decode according to the standard )
# Medical software: The U. S. Food and Drug Administration ( FDA ) has identified the use of static analysis for medical devices.
# When writing gateway software of any kind, take pains to disturb the data stream as little as possible — and never throw away information unless the recipient forces you to!
0.179 seconds.