Concepedia

Thomas W. Lynch

TW

5

Publications

331

Citations

5

H-Index

1992

Active since

Affiliations

The University of Texas at Austin(Current)

Thomas W. Lynch is an author at The University of Texas at Austin specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureParallel ComputingVlsi DesignHardware SystemsMicroelectronicsIntegrated CircuitsCompilers

Publications per year

1992–2009

5

Publications

5

A spanning tree carry lookahead adder

Thomas W. Lynch, Earl E. Swartzlander · IEEE Transactions on Computers · 1992 · 152 citations

Engineering, Vlsi Design, Advanced Computing +18

A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program

J Strother Moore, Thomas W. Lynch, Matt Kaufmann · IEEE Transactions on Computers · 1998 · 109 citations

Hardware Security, Checked Proof, Real Data Type +15

Targeted G-protein inhibition as a novel approach to decrease vagal atrial fibrillation by selective parasympathetic attenuation

Gary L. Aistrup, Roger Villuendas, Jason Ng et al. · Cardiovascular Research · 2009 · 38 citations · Full text

The redundant cell adder

Thomas W. Lynch, Earl E. Swartzlander · 2002 · 18 citations

Engineering, Vlsi Design, Computer Architecture +16

The K5 transcendental functions

Thomas W. Lynch, Arif Ahmed, Michael Schulte et al. · 2002 · 14 citations

Engineering, Hardware Algorithm, Computer Architecture +17

Rows per page

1–5 of 5