Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
G. de Tomi
Claudia Calabrese
Sree Lekshmi S
Hao Mao
Peter Malec
Roger J Daly
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MARK D. AAGAARD
Author Info
Open Visualization
Name
Affiliation
Papers
MARK D. AAGAARD
Intel Corporation, Hillsboro, Oregon
12
Collaborators
Citations
PageRank
15
119
8.91
Referers
Referees
References
199
146
126
Search Limit
100
199
Publications (12 rows)
Collaborators (15 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Window memoization: toward high-performance image processing software
3
0.55
2015
Window memoization: an efficient hardware architecture for high-performance image processing
3
0.49
2010
Improving the usability of HOL through controlled automation tactics
0
0.34
2007
Simplifying the design and automating the verification of pipelines with structural hazards
5
0.48
2005
Synchronization-at-Retirement for Pipeline Verification
3
0.45
2004
A general decomposition strategy for verifying register renaming
3
0.39
2004
Combining Equivalence Verification and Completion Functions
4
0.51
2004
A framework for superscalar microprocessor correctness statements
26
0.85
2003
Practical Formal Verification in Microprocessor Design
25
1.39
2001
Formal verification of iterative algorithms in microprocessors
16
1.23
2000
Parametric Representations of Boolean Constraints
1
0.36
1999
Combining theorem proving and trajectory evaluation in an industrial environment
30
1.88
1998
1