|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 53 | Dimitri Tan, Carl Lemonds, Michael J. Schulte |
Low-Power Multiple-Precision Iterative Floating-Point Multiplier with SIMD Support.  |
IEEE Trans. Computers  |
2009 |
DBLP DOI BibTeX RDF |
|
| 37 | David Monniaux |
The pitfalls of verifying floating-point computations. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754 |
| 26 | Nilo Stolte |
Arbitrary 3D Resolution Discrete Ray Tracing of Implicit Surfaces. |
DGCI |
2005 |
DBLP DOI BibTeX RDF |
|
| 26 | Janusz Sosnowski, Tomasz Bech |
Extensive Testing of Floating Point Unit. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
| 26 | Stuart F. Oberman |
Floating Point Division and Square Root Algorithms and Implementation in the AMD-K7 Microprocessor. |
IEEE Symposium on Computer Arithmetic |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license