Results 291 to 300 of about 50,740 (325)
Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, 2003 The programming techniques used with a verifiable integrated processor for enhanced reliability (VIPER) are presented. A brief outline of VIPER's characteristics is followed by descriptions of three design studies of applications using VIPER. Two deal with aspects of the control of a main battle tank and the third with the metering of a high-value ...
T.F. Buckley, P.H. Jesty
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Strength and Conditioning Research, 2018
Beato, M, Devereux, G, and Stiff, A. Validity and reliability of global positioning system units (STATSports Viper) for measuring distance and peak speed in sports.
M. Beato, G. Devereux, A. Stiff
semanticscholar +1 more source
Beato, M, Devereux, G, and Stiff, A. Validity and reliability of global positioning system units (STATSports Viper) for measuring distance and peak speed in sports.
M. Beato, G. Devereux, A. Stiff
semanticscholar +1 more source
ViPER: Vehicle Pose Estimation using Ultra-WideBand Radios
International Conference on Distributed Computing in Sensor Systems, 2020Pose estimation is a building block for many location-based applications, such as safety applications in a construction site. Ultra-WideBand (UWB) Radios have been widely used for localization and can be used in pose (location and orientation angle of ...
Alireza Ansaripour +3 more
semanticscholar +1 more source
2019 6th IEEE History of Electrotechnology Conference (HISTELCON), 2019
A short history of the VIPER microprocessor, designed in the 1980’s with the aim of achieving a formal verification for the correctness of its design, for use in security and safety critical applications. Whilst arguably technically successful, it wasn’t commercially, and this led to legal action over the extent to which the formal verification had ...
openaire +2 more sources
A short history of the VIPER microprocessor, designed in the 1980’s with the aim of achieving a formal verification for the correctness of its design, for use in security and safety critical applications. Whilst arguably technically successful, it wasn’t commercially, and this led to legal action over the extent to which the formal verification had ...
openaire +2 more sources
Electronics and Power, 1986
The design of the Viper microprocessor represents a major advance in the use of mathematics to formally verify the correctness of a logic design. Viper is likely to become an important element in many safety-critical computer systems, and will have an extensive influence on hardware ...
openaire +2 more sources
The design of the Viper microprocessor represents a major advance in the use of mathematics to formally verify the correctness of a logic design. Viper is likely to become an important element in many safety-critical computer systems, and will have an extensive influence on hardware ...
openaire +2 more sources
Espert Review of Proteomics, 2018
Introduction: The Russell’s Viper (RV) (Daboia russelii), a category I medically important snake, is responsible for a significant level of morbidity and mortality in the Indian sub-continent. Areas covered: The current review highlights the variation in
Bhargab Kalita +2 more
semanticscholar +1 more source
Introduction: The Russell’s Viper (RV) (Daboia russelii), a category I medically important snake, is responsible for a significant level of morbidity and mortality in the Indian sub-continent. Areas covered: The current review highlights the variation in
Bhargab Kalita +2 more
semanticscholar +1 more source
2004
When originally developed, Vector Pascal used a command line compiler operating in the classical Unix fashion. This interface is documented in Appendix C. However it has been conventional, at least since the release of UCSD Pascal in the late 1970s, for Pascal Compilers to be provided with an integrated development environment (IDE).
Kenneth Renfrew, Paul Cockshott
openaire +2 more sources
When originally developed, Vector Pascal used a command line compiler operating in the classical Unix fashion. This interface is documented in Appendix C. However it has been conventional, at least since the release of UCSD Pascal in the late 1970s, for Pascal Compilers to be provided with an integrated development environment (IDE).
Kenneth Renfrew, Paul Cockshott
openaire +2 more sources
Rhabdomyolysis in European viper bite
Acta Paediatrica, 1998The case of a child who presented with severe rhabdomyolysis associated with renal failure after a viper bite is reported. Rhabdomyolysis is a serious complication resulting from systemic envenomation and is uncommon after viper bites in Europe. It may be due to oedema, myotoxic agents and haemorrhagic factors and may be responsible for two types of ...
Thierry Lamireau +4 more
openaire +3 more sources
Journal of Biogeography, 2018
To examine historical connections between rain forest habitats in the Neotropics based on the evolutionary history of the arboreal pit viper Bothrops bilineatus.
Francisco Dal Vechio +4 more
semanticscholar +1 more source
To examine historical connections between rain forest habitats in the Neotropics based on the evolutionary history of the arboreal pit viper Bothrops bilineatus.
Francisco Dal Vechio +4 more
semanticscholar +1 more source
Transactions of the Royal Society of Tropical Medicine and Hygiene, 2018
BACKGROUND Hump-nosed pit vipers (Hypnale hypnale) are highly venomous snakes found in Sri Lanka and the Western Ghats region of India. They are the most common cause of venomous snakebites in Sri Lanka, mainly causing local envenoming leading to pain ...
R. Rathnayaka +2 more
semanticscholar +1 more source
BACKGROUND Hump-nosed pit vipers (Hypnale hypnale) are highly venomous snakes found in Sri Lanka and the Western Ghats region of India. They are the most common cause of venomous snakebites in Sri Lanka, mainly causing local envenoming leading to pain ...
R. Rathnayaka +2 more
semanticscholar +1 more source