Results 131 to 140 of about 11,527 (191)

The final frontier: can Kerala lay out a roadmap to a 'zero snakebite deaths initiative' for India? [PDF]

open access: yesTrop Med Health
Menon JC   +6 more
europepmc   +1 more source

Snakebite envenoming in India: it is time we look beyond the concept of the Big Four species. [PDF]

open access: yesTrans R Soc Trop Med Hyg
Menon JC   +8 more
europepmc   +1 more source

A Chromosome-level Genome Assembly of the Western Nose-Horned Viper (Vipera ammodytes ammodytes). [PDF]

open access: yesGenome Biol Evol
Rao WQ   +9 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

VIPER

Proceedings of the 18th ACM conference on Computer and communications security, 2011
Recent research demonstrates that malware can infect peripherals' firmware in a typical x86 computer system, e.g., by exploiting vulnerabilities in the firmware itself or in the firmware update tools. Verifying the integrity of peripherals' firmware is thus an important challenge.
Yanlin Li   +2 more
openaire   +1 more source

VIPER

2007
Recent developments producing new Internet conferencing (IC) and multipoint desktop conferencing (MDC) systems have emerged, which may supersede text-based and audio/video conferencing (AVC) software. The newer IC or MDC systems also integrate interactive tools and have the advantage of operating at a fraction of the cost when compared to AVC systems ...
openaire   +1 more source

VIPER

Proceedings of the 30th international on Design automation conference - DAC '93, 1993
Fast and correct timing verification is a critical issue in VLSI design. Several timing verification algorithms have been proposed in the last few years. However, due to the huge computation time needed to eliminate false paths, existing algorithms have difficulty in performing timing verification for large circuits.
Hoon Chang, Jacob A. Abraham
openaire   +1 more source

The VIPER microprocessor

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   +1 more source

Home - About - Disclaimer - Privacy