S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.

(Table T1) Age determination of seven ODP Leg 201 sites

As part of a wider paleoclimate and paleoceanographic study of Holocene-upper Pleistocene laminated sediments from the eastern equatorial Pacific and Peru continental margin, we completed 32 accelerator mass spectrometry (AMS) 14C dates from cores recovered during Ocean Drilling Program (ODP) Leg 201. Sample preparation and measurement were carried out at the ANTARES AMS facility, Australian Nuclear Science and Technology Organisation (ANSTO), in Sydney, Australia (Lawson et al., 2000, doi:10.1016/S0168-583X(00)00276-7; Fink et al., 2004, doi:10.1016/j.nimb.2004.04.025). Although the sediments are predominantly diatomaceous oozes (D'Hondt, Jørgensen, Miller, et al., 2003, doi:10.2973/odp.proc.ir.201.2003), they contain sufficient inorganic (e.g., foraminifer tests and nannofossil plates) and organic (Meister et al., 2005, doi:10.2973/odp.proc.sr.201.105.2005) carbon to allow 14C dating. These dates permitted us to reconstruct a history of sediment accumulation over the past 20 k.y., particularly on the Peru continental margin. In this report we present 14C AMS dates and other pertinent data from cores from Sites 1227, 1228, and 1229 collected during Leg 201 at the Peru continental margin.

Transactions of the American Fisheries Society.

Nuclear science abstracts

Beryllium--fabrication and joining : a literature search /

This search, containing 128 references, was prepared to serve as a guide to the report literature on the fabrication and joining of beryllium. Studies on compacts and powder metallurgy are included. Articles selected from scientific journals and which appear in Nuclear Science Abstracts (NSA) are included. Reports are listed alpha-numerically under the issuing agency.

Hot laboratories : a literature search /

This search, containing 126 references, was prepared to serve as a guide to the report literature on the design and construction of hot laboratories. These reports are listed alpha-numerically. Articles selected from scientific journals and which appear in the 1951 thru 1959 issues of Nuclear Science Abstracts (NSA) are included. These articles are listed under Published References according to NSA reference number, and therefore chronologically.

Extrusion of uranium, uranium alloys, and uranium compacts : a literature search /

This literature search consisting of 240 references to unclassified reports and published literature has been taken from Nuclear Science Abstracts, the official abstract journal of the United States Atomic Energy Commission. The period covered is January 1951 through May 31, 1961. Abstracts for the references can be found by use of the NSA abstract numbers provided.

Saline water conversion : a literature search /

Included are 372 references on developments in the production of potable water from saline or brackish waters. This literature search is a revision of a previous search, NAA-SR-3737, compiled by Frank G. Bennett IV and contains all references included in the search named above. The report references are arranged alpha-numerically under the corporate authors. The journal references are arranged alphabetically by title following the report references. The literature searched includes: Nuclear Science Abstracts (NSA) through September 1961; Chemical Abstracts through October 2, 1961; Applied Science and Technology Index through September 1961; Engineering Index through 1960; and Monthly Catalog through September 1961.

Sodium technology /

"Sodium technology (TID-3334, part I); reactor technology (TID-3334, part II)."

Cumulated numerical list of available unclassified U.S. Atomic Energy Commission reports.

"February 1955."

Lithium and lithium hydride : chemical and physical properties : a literature search /

This literature search consisting of 187 references to report and published literature taken from Nuclear Science Abstracts (NSA). The period covered is January, 1951 - November 15, 1960. Abstracts for the references can be found in NSA by the abstract numbers provided.

Direct energy conversion devices : a literature search /

Included are 344 unclassified references on devices utilizing nuclear energy in the production of auxiliary power. The coverage includes nuclear batteries, thermoelectric cells, thermionic cells, and all phases of the SNAP program, although not all SNAP devices employ direct conversion. References from Nuclear Science Abstracts (NSA) through December 15, 1961, are included.

Transactions of the American Microscopical Society.

Biological & agricultural index

Genetic psychology monographs.

Developmental and clinical psychology (varies)

Questions and answers on U.S. Atomic Energy Commission access permits.

"March 1961."

Publications of the Astronomical Society of the Pacific.

Nuclear science abstracts