Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,984,596 papers from all fields of science
Search
Sign In
Create Free Account
Pentium FDIV bug
Known as:
Pentium bug
, FDIV
, FDIV bug
Expand
The Pentium FDIV bug was a computer bug that affected the floating point unit (FPU) of the early Intel Pentium processors. Because of the bug, the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
ACL2
Automated theorem proving
BIOS
Division algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
First record of Corythucha arcuata in Slovakia – Short Communication
M. Zúbrik
,
Andrej Gubka
,
+5 authors
Roman Leonotvyč
Plant Protection Science
2019
Corpus ID: 91276177
In June 2018, the presence of one adult specimen and one egg cluster of the North-American oak lace bug Corythucha arcuata were…
Expand
2017
2017
Influence of extraguild prey and intraguild predators on the phytophagy of the zoophytophagous bug Campylomma verbasci
O. Aubry
,
D. Cormier
,
G. Chouinard
,
E. Lucas
Journal of Pest Science
2017
Corpus ID: 19974884
The mullein bug, Campylomma verbasci (Meyer-Dür) (Hemiptera: Miridae), a palearctic zoophytophagous insect or plant-feeding…
Expand
2017
2017
Seasonal incidence of tur pod bug, Clavigralla gibbosa Spinola (Hemiptera: Coreidae) on long duration pigeonpea
Jitendra Khamoriya
,
Ram Keval
,
S. Chakravarty
,
V. Mishra
2017
Corpus ID: 89691073
The present research was aimed to study the seasonal incidence pattern of tur pod bug, C. gibbosa in pigeonpea ecosystem during…
Expand
2007
2007
Residual Toxicity of Imidacloprid to Hawthorn Lace Bug, Corythuca cydoniae, Feeding on Cotoneasters in Landscapes and Containers
Adrianna Szczepaniec
,
M. Raupp
2007
Corpus ID: 149529413
Abstract Cotoneasters are important and valuable landscape plants. They are severely attacked by hawthorn lace bug (Corythuca…
Expand
2004
2004
Towards a Framework and a Design Methodology for Autonomic Integrated Systems
A. Herkersdorf
,
W. Rosenstiel
GI Jahrestagung
2004
Corpus ID: 2737431
The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and…
Expand
1999
1999
ARTHROPOD MANAGEMENT Survival of Selected Generalist Predaceous Insects Exposed to Insecticide Residues on Cotton
G. McCutcheon
,
J. Durant
1999
Corpus ID: 53547842
Cotton insect management should include conservation of natural enemies of major pests. This study was conducted to determine…
Expand
1998
1998
The sycamore lace bug, Corythucha ciliata (Say) (Hemiptera: Tingidae).
S. Halbert
,
J. Meeker
1998
Corpus ID: 82829951
INTRODUCTION: The sycamore lace bug, Corythucha ciliata (Say) (Fig. I) is a native North American insect that feeds on sycamore…
Expand
1998
1998
An ACL2 Proof of Write Invalidate Cache Coherence
J. S. Moore
International Conference on Computer Aided…
1998
Corpus ID: 6537500
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our…
Expand
1997
1997
Parallel breadth-first BDD construction
Bwolen Yang
,
D. O'Hallaron
ACM SIGPLAN Symposium on Principles & Practice of…
1997
Corpus ID: 8783941
With the increasing complexity of protocol and circuit designs, formal verification has become an important research area and…
Expand
1993
1993
Potential for integration of chemical and natural enemy suppression of azalea lace bug (Heteroptera: Tingidae)
Julie A. Balsdon
,
S. Braman
,
A. F. Pendley
,
K. Espelie
1993
Corpus ID: 90306452
Abstract Efficacies of nine insecticides were compared for suppression of azalea lace bug (ALB) and effect on natural enemies…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE