
********************
 Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , and Sergio Yovine . Symbolic model checking for real - time systems . Proceedings of the Seventh Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 1992 , pp . 394 - 406 .


********************
 Rajeev Alur , Tomas Feder , and Thomas A. Henzinger . The benefits of relaxing punctuality . Proceedings of the Tenth Annual Symposium on Principles of Distributed Computing ( ) , ACM Press , 1991 , pp . 139 - 152 .


********************
 Thomas A. Henzinger . The Temporal Specification and Verification of Real - Time Systems . Ph . D. Thesis , Technical Report STAN - CS - 91 - 1380 , Stanford University , August 1991 , 272 pages .


********************
 Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . Temporal proof methodologies for real - time systems . Proceedings of the 18th Annual Symposium on Principles of Programming Languages ( ) , ACM Press , 1991 , pp . 353 - 366 .


********************
 Rajeev Alur and Thomas A. Henzinger . Real - time logics : Complexity and expressiveness . Proceedings of the Fifth Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 1990 , pp . 390 - 401 .


********************
 Thomas A. Henzinger . Half - order modal logic : How to prove real - time properties . Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing ( ) , ACM Press , 1990 , pp . 281 - 296 .


********************
 Rajeev Alur and Thomas A. Henzinger . A really temporal logic . Proceedings of the 30th Annual Symposium on Foundations of Computer Science ( ) , IEEE Computer Society Press , 1989 , pp . 164 - 169 .


********************
 Improving Multiple - CMP Systems Using Token Coherence , Michael R. Marty , Jesse D. Bingham , Mark D. Hill , Alan J. Hu , Milo M. K. Martin and David A. Wood , International Symposium on High Performance Computer Architecture ( HPCA ) , February 2005 . Paper : pdf Talk : .


********************
 Interaction Cost : For when event counts just do n't add up , Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn , IEEE Micro Special Issue : Micro 's Top Picks from Microarchitecture Conferences , November - December 2004 . Paper : pdf/<FL> Expanded/<FL> TACO/<FL> 2004/<FL> Journal/<FL> Version/<FL> :/<FL> pdf
-------------
pdf should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Expanded should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
TACO should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
2004 should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Journal should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Version should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
: should be:<DE> but:<FL>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9711
<NG> s12:0
<DE> s12:0.0288


********************
 Future Computer Advances are Between a Rock ( Slow Memory ) and a Hard Place (/<DE> Multithreading ) ( Talk/<FL> to/<FL> CSTB/<FL> and/<FL> US/<FL> government/<FL> agencies/<FL> ) , Mark D. Hill , The National Academies 's Computer Science and Telecommunications Board ( CSTB )/<DE> Meeting , October 2004 . Talk : ppt
-------------
( should be:<TI> but:<DE>
<TI> s12:0.1063
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8937
-------------
Talk should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
CSTB should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
and should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
US should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
government should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
agencies should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
) should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0006
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0006
<PU> s12:0
<JN> s12:0.4181
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5808


********************
 Interaction Cost and Shotgun Profiling , Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn , ACM Trans . on Architecture and Compiler Optimizations (/<DE> TACO/<DA> )/<DA> ,/<DA> September 2004 . Paper : pdf Original Micro 2003 Conference Version : pdf Reference : ACM
-------------
( should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0014
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9986
-------------
TACO should be:<JN> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<DE> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.6723
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.3277
-------------
, should be:<DE> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.6723
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.3277


********************
 A Future for Parallel Computer Architectures ( Keynote/<TI> talk/<TI> to/<TI> parallel/<TI> software/<TI> researchers/<TI> ) , Mark D. Hill , International Conference on Parallel Processing ( ICPP ) , August 2004 . Talk : ppt
-------------
Keynote should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
talk should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
parallel should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
software should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
researchers should be:<NG> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Using Speculation to Simplify Multiprocessor Design , Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood , International Parallel and Distributed Processing Symposium ( IPDPS ) , April 2004 . Paper : pdf Talk : ppt


********************
 Evaluating a $ 2M Commercial Server on a $ 2K PC and Related Challenges ( Invited/<FL> Talk/<FL> ) , Mark D. Hill , Workshop On Computer Architecture Evaluation using Commercial Workloads ( CAECW ) , February 2004 . Talk Abstract : pdf Talk : ppt
-------------
Invited should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Talk should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0


********************
 Token Coherence : A New Framework for Shared - Memory Multiprocessors , Milo M. K. Martin , Mark D. Hill and David A. Wood , IEEE Micro Special Issue : Micro 's Top Picks from Microarchitecture Conferences , November - December 2003 . Paper : pdf Original ISCA03 Paper : pdf


********************
 Using Interaction Costs for Microarchitectural Bottleneck Analysis , Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn , 36th International Symposium on Microarchitecture ( MICRO ) , December 2003 . Paper : pdf Talk :/<FL> ppt/<FL> Expanded/<FL> TACO/<FL> 2004/<FL> Journal/<FL> Version/<FL> :/<FL> pdf
-------------
: should be:<DE> but:<FL>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9711
<NG> s12:0
<DE> s12:0.0288
-------------
ppt should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Expanded should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
TACO should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
2004 should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Journal should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
Version should be:<JN> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
: should be:<DE> but:<FL>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9711
<NG> s12:0
<DE> s12:0.0288


********************
 Challenges/<JN> in/<JN> Computer/<JN> Architecture/<JN> Evaluation/<JN> , Kevin Skadron , Margaret Martonosi , David I. August , Mark D. Hill , David J. Lilja , and Vijay S. Pai . IEEE Computer , August 2003 . Paper : pdf
-------------
Challenges should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Evaluation should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Revisiting "/<DE> Multiprocessors Should Support Simple Memory Consistency Models "/<TI> (/<TI> Talk/<TI> to/<TI> software/<TI> memory/<TI> consistency/<TI> model/<TI> researchers/<TI> ) , Mark D. Hill , Dagstuhl Seminar 03431 on Hardware and Software Consistency Models :/<DE> Programmability/<JN> and/<JN> Performance/<JN> , October 2003 . Abstract : txt Talk : ppt Original 1998 Paper : pdf
-------------
" should be:<TI> but:<DE>
<TI> s12:0.4558
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5442
-------------
" should be:<DE> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
( should be:<DE> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Talk should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
software should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
memory should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
consistency should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
model should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
researchers should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.3382
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.6618
-------------
Programmability should be:<TI> but:<JN>
<TI> s12:0.3548
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6452
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<TI> but:<JN>
<TI> s12:0.3548
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6452
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Performance should be:<TI> but:<JN>
<TI> s12:0.3548
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6452
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Token Coherence : Decoupling Performance and Correctness , Milo M. K. Martin , Mark D. Hill , and David A. Wood , International Symposium on Computer Architecture ( ISCA ) , June 2003 . Paper : pdf Reference : ACM Talk : pdf , Shorter IEEE Micro Top Picks Paper : pdf


********************
 Using Destination - Set Prediction to Improve the Latency / Bandwidth Tradeoff in Shared Memory Multiprocessors , Milo M. K. Martin , Pacia J. Harper , Daniel J. Sorin , Mark D. Hill , and David A. Wood , International Symposium on Computer Architecture ( ISCA ) , June 2003 . Paper : pdf Reference : ACM Talk : pdf ,


********************
 A " Flight Data Recorder " for Enabling Full - system Multiprocessor Deterministic Replay , Min Xu ,/<DE> Rastislav/<JN> Bodik/<JN> and/<JN> Mark/<JN> D./<JN> Hill/<JN> International Symposium on Computer Architecture ( ISCA ) , June 2003 . Paper : pdf Reference : ACM Talk : pdf ,
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Rastislav should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Bodik should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
and should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Mark should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
D. should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Hill should be:<AU> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0


********************
 Dynamic Verification of End - to - End Multiprocessor Invariants , Daniel J. Sorin , Mark D. Hill , and David A. Wood , International Conference on Dependable Systems and Networks ( DSN ,/<DE> formerly/<NG> FTCC/<NG> ) , June 2003 . Paper : pdf Talk : ppt
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0216
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9783
-------------
formerly should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3333
<AU> s12:0
<FL> s12:0
<NG> s12:0.6667
<DE> s12:0
-------------
FTCC should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3333
<AU> s12:0
<FL> s12:0
<NG> s12:0.6667
<DE> s12:0


********************
 Simulating a $ 2M Commercial Server on a $ 2K PC , Alaa R. Alameldeen , Milo M. K. Martin , Carl J. Mauer , Kevin E. Moore , Min Xu , Daniel J. Sorin , Mark D. Hill and David A. Wood , IEEE Computer , February 2003 . Paper : pdf Talk : ppt


********************
 Skewed finite hashing function , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 654 ,/<DE> 866/<DA> issued/<DA> November 25 , 2003 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
866 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Repeater for use in a shared memory computing system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 578 ,/<DE> 071/<DA> issued/<DA> June 10 , 2003 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
071 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Methods and apparatus for a directory - less memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 574 ,/<DE> 659/<DA> issued/<DA> June 3 , 2003 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
659 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Data Page Layouts for Relational Databases on Deep Memory Hierarchies , Anastassia Ailamaki , David J. DeWitt , and Mark D. Hill , The VLDB Journal , 11 ( 3 ) , 2002 . Paper : pdf


********************
 Full - System Timing - First Simulation , Carl J. Mauer , Mark D. Hill , and David A. Wood , ACM SIGMETRICS , June 2002 . Paper : pdf Reference : ACM Talk : pdf and ppt


********************
 Harnessing Moore 's Law ( Talk/<JN> to/<JN> computer/<JN> science/<JN> undergraduates/<JN> ) , Mark D. Hill , Several/<TI> venues/<TI> , 2002/<PP> -/<PP> 03/<PP> . Abstract : txt Talk : ppt
-------------
Talk should be:<NG> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
computer should be:<NG> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
science should be:<NG> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
undergraduates should be:<NG> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Several should be:<NG> but:<TI>
<TI> s12:0.6667
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.3333
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
venues should be:<NG> but:<TI>
<TI> s12:0.6667
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.3333
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
2002 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
03 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 SafetyNet : Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint / Recovery , Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood , International Symposium on Computer Architecture ( ISCA ) , May 2002 . Paper : pdf Reference :/<DE> IEEE/<JN> Talk/<JN> :/<DE> ppt
-------------
: should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0
<DE> s12:0.9998
-------------
IEEE should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Talk should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
: should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0
<DE> s12:0.9998


********************
 Slack/<DA> :/<DE> Maximizing Performance Under Technological Constraints , Brian Fields , Rastislav Bodik , and Mark D. Hill , International Symposium on Computer Architecture ( ISCA ) , 2002 . Paper : pdf Reference :/<DE> IEEE/<JN> Talk/<JN> :/<DE> ppt
-------------
Slack should be:<TI> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
: should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0
<DE> s12:0.9998
-------------
IEEE should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Talk should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
: should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0
<DE> s12:0.9998


********************
 Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol , Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin and David A. Wood , IEEE Transactions on Parallel and Distributed Systems , June 2002 ( vol 13 , number 6 ) . ( Previously available as Dept . of Computer Sciences Technical Report CS - TR - 2000 - 1412 , March 2000 . ) Paper : pdf Online protocol examples in html


********************
 Bandwidth Adaptive Snooping , Milo M. K. Martin , Daniel J. Sorin , Mark D. Hill , and David A. Wood , 8th International Symposium on High Performance Computer Architecture ( HPCA ) , February 2002 . Paper : pdf Talk : pdf and ppt


********************
 Evaluating Non - deterministic Multi - threaded Commercial Workloads , Alaa R. Alameldeen , Carl J. Mauer , Min Xu , Pacia J. Harper , Milo M. K. Martin , Daniel J. Sorin , Mark D. Hill and David A. Wood , Workshop On Computer Architecture Evaluation using Commercial Workloads ( CAECW ) , February 2002 . Paper : pdf Talk : pdf and ppt


********************
 Hybrid memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 496 ,/<DE> 854/<DA> issued/<DA> December 17 , 2002 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
854 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Methods and apparatus for a directory - less memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 377 ,/<DE> 980/<DA> issued/<DA> April 23 , 2002 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
980 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing , Milo M. K. Martin , Daniel J. Sorin , Harold W. Cain , Mark D. Hill , and Mikko H. Lipasti , 34th International Symposium on Microarchitecture ( MICRO ) , December 2001 . Paper : pdf Talk : pdf and ppt


********************
 Weaving Relations for Cache Performance , Anastassia G. Ailamaki , David J. DeWitt , Mark D. Hill , and Marios Skounakis , International Conference on Very Large Databases ( VLDB ) , 2001 . Received/<NG> VLDB/<NG> 2001/<NG> Best/<NG> Paper/<NG> Award/<NG> Paper/<NG> : pdf Talk : ppt
-------------
Received should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
VLDB should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
2001 should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
Best should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
Award should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0


********************
 Facile/<JN> :/<DE> A Language and Compiler For High - Performance Processor Simulators , Eric C. Schnarr , James R. Larus , and Mark D. Hill , Programming Language Design and Implementation ( PLDI ) , 2001 . Paper : pdf Reference : ACM
-------------
Facile should be:<TI> but:<JN>
<TI> s12:0.25
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.75
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.2365
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7635


********************
 Cache Performance for Selected SPEC CPU2000 Benchmarks , Jason F. Cantin and Mark D. Hill , Computer Architecture News ( CAN ) , Spetember/<PP> 2001/<PP> . Reference : ACM
-------------
Spetember should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
2001 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Skewed finite hashing function , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 308 ,/<DE> 246/<DA> issued/<DA> October 23 , 2001 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
246 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Hybrid memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 243 ,/<DE> 742/<DA> issued/<DA> June 5 , 2001 . Also European Union Patent 0818732 and Japanese Patent 10177518 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
742 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Shared memory system for symmetric multiprocessor systems , Erik E. Hagersten and Mark D. Hill , United States Patent 6 ,/<DE> 226 ,/<DE> 671/<DA> issued/<DA> May 1 , 2001 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
671 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Readings/<JN> in/<JN> Computer/<JN> Architecture/<JN> , Mark D. Hill , Norman P. Jouppi , and Gurindar S. Sohi , Morgan Kaufmann Publishers , ISBN 1 - 55860 - 539 - 8 , 2000 . Near/<FL> -/<FL> final/<FL> versions/<FL> of/<FL> :/<FL> :/<FL> pdf and ps Table of Contents : pdf and ps Web Component : html or html mirror
-------------
Readings should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Near should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
- should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
final should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
versions should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
of should be:<NG> but:<FL>
<TI> s12:0.0039
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0
-------------
: should be:<DE> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0.0039
-------------
: should be:<DE> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.9961
<NG> s12:0
<DE> s12:0.0039


********************
 Making Pointer - Based Data Structures Cache Conscious , Trishul M. Chilimbi , Mark D. Hill , and James R. Larus , IEEE Computer , December 2000 . Paper : pdf .


********************
 How/<JN> Computer/<JN> Architecture/<JN> Trends/<JN> May/<JN> Affect/<JN> Future/<JN> Distributed/<JN> Systems/<JN> :/<DE> From InfiniBand Clusters to Inter - Processor Speculation ( Keynote/<JN> talk/<JN> for/<JN> researchers/<JN> in/<JN> theoretical/<JN> aspects/<JN> distributed/<JN> systems/<JN> ) , Mark D. Hill , Symposium/<VO> on/<VO> Principles/<VO> of/<VO> Distributed/<VO> Computing/<VO> (/<DE> PODC ) , July 2000 . Abstract : pdf Talk : ppt
-------------
How should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Trends should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
May should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Affect should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Future should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Distributed should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.2365
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7635
-------------
Keynote should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
talk should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
for should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
researchers should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
in should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
theoretical should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
aspects should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
distributed should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
systems should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0303
<PP> s12:0.0016
<GL> s12:0
<OR> s12:0
<DA> s12:0.008
<PU> s12:0
<JN> s12:0.9569
<AU> s12:0
<FL> s12:0.0016
<NG> s12:0
<DE> s12:0
-------------
Symposium should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
on should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Principles should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Distributed should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computing should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
( should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0126
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1579
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8295


********************
 Fast and Portable Parallel Architecture Simulators : Wisconsin Wind Tunnel II , Shubhendu S. Mukherjee , Steven K. Reinhardt , Babak Falsafi , Mike Litzkow , Steven Huss - Lederman , Mark D. Hill , James R. Larus , and David A. Wood , IEEE Concurrency , October - December 2000 . Paper : pdf .


********************
 Timestamp Snooping : An Approach for Extending SMPs , Milo M. K. Martin , Daniel J. Sorin , Anastassia Ailamaki , Alaa R. Alameldeen , Ross M. Dickson , Carl J. Mauer , Kevin E. Moore , Manoj Plakal , Mark D. Hill , and David A. Wood , Ninth International Conference on Architectural Support for Programming Languages and Operating Systems ( ASPLOS ) , November 2000 . Paper : pdf and ps Reference : ACM Talk : pdf


********************
 Fast Checkpoint / Recovery to Support Kilo - Instruction Speculation and Hardware Fault Tolerance , Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , and David A. Wood , Dept . of Computer Sciences Technical Report CS - TR - 2000 - 1420 , October 2000 . Technical Report : pdf and ps


********************
 Exploiting Market Realities To Address National Security 's High - Performance Computing Needs , Mark D. Hill , In/<TI> Defense/<TI> Science/<TI> Study/<TI> Group/<TI> 1998/<TI> -/<TI> 1999/<TI> , Volume 1 :/<DE> Papers/<JN> 1/<JN> -/<JN> 13/<JN> , Institute/<TI> for/<TI> Defense/<TI> Analysis/<TI> (/<DE> IDA/<DA> )/<DE> Paper/<NG> P/<NG> -/<NG> 3531/<NG> , 2000 . Technical Report : pdf Talk : ppt
-------------
In should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Science should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Study should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Group should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1998 should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1999 should be:<JN> but:<TI>
<TI> s12:0.9231
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0769
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<VO> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9988
-------------
Papers should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
13 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Institute should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Analysis should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
( should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
IDA should be:<JN> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
P should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
- should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
3531 should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0


********************
 Formation of a National Entity for Information Infrastructure Protection , Geoffrey C. Orsak , Mark D. Hill , and Robin R. Murphy , In Defense Science Study Group 1998 - 1999 , Volume 1 :/<DE> Papers/<JN> 1/<JN> -/<JN> 13/<JN> , Institute for Defense Analysis (/<DE> IDA/<DA> )/<DE> Paper/<NG> P/<NG> -/<NG> 3531/<NG> , 2000 . Technical Report : pdf
-------------
: should be:<VO> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9988
-------------
Papers should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
13 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0.0556
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9444
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
( should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0014
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9986
-------------
IDA should be:<JN> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
P should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
- should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0
-------------
3531 should be:<JN> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0107
<AU> s12:0.0107
<FL> s12:0
<NG> s12:0.9786
<DE> s12:0


********************
 DBMSs on a modern processor : Where does time go ? , Anastassia Ailamaki , David J. DeWitt , Mark D. Hill , and David A. Wood , International Conference on Very Large Databases ( VLDB ) , Spetember/<PP> 1999/<PP> . Paper : pdf and ps Talk : ppt
-------------
Spetember should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1999 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 A System - Level Specification Framework for I / O/<JN> Architectures/<JN> , Mark D. Hill , Anne E. Condon , Manoj Plakal , and Daniel J. Sorin , Symposium on Parallel Algorithms and Architectures ( SPAA ) , June 1999 . Paper : pdf and ps Talk : pdf and ps Extended Technical Report : pdf and ps Reference : ACM
-------------
O should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architectures should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Multicast Snooping : A New Coherence Method Using a Multicast Address Network , E. Ender Bilir , Ross M. Dickson , Ying Hu , Manoj Plakal , Daniel J. Sorin , Mark D. Hill , and David A. Wood . International Symposium on Computer Architecture ( ISCA ) , May 1999 . Paper : pdf and ps Reference : ACM Talk : pdf and ps


********************
 Cache - Conscious Structure Layout , Trishul M. Chilimbi , James R. Larus , and Mark D. Hill , Programming Language Design and Implementation ( PLDI ) , 1999 . Paper : pdf and ps . Reference : ACM


********************
 Using Lamport Clocks to Reason About Relaxed Memory Models , Anne E. Condon , Mark D. Hill , Manoj Plakal and Daniel J. Sorin , International Symposium on High - Performance Computer Architecture ( HPCA ) , January 1999 . Paper : pdf and ps Talk : pdf and ps


********************
 Cachable interface control registers for high speed data transfer , David A. Wood , Steven K. Reinhardt , Shubhendu S. Mukherjee , Babak Falsafi , Mark D. Hill , and Robert W. Pfile , United States Patent 5 ,/<DE> 951 ,/<DE> 657/<DA> issued/<DA> September 14 , 1999 . ( NOTE :/<DE> U. S. patents other than this one are the result of Hill 's sabbatical (/<DE> 1995/<PP> -/<PP> 1996/<PP> )/<DE> and/<PU> consulting/<PU> at/<PU> Sun/<PU> Microsystems/<PU> . )
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
657 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0.212
<DE> s12:0.7856
-------------
( should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
1995 should be:<NG> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<NG> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1996 should be:<NG> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
and should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0053
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9947
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
consulting should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0053
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9947
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
at should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0053
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9947
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Sun should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0053
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9947
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Microsystems should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0053
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9947
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Methods and apparatus for substantially memory - less coherence transformer for connecting computer node coherence domains , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 940 ,/<DE> 860/<DA> issued/<DA> August 17 , 1999 . Also European Union Patent 0817068 and Japanese Patent 11003277 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
860 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Split - SMP computer system configured to operate in a protected mode having repeater which inhibits transaction to local address partition , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 923 ,/<DE> 847/<DA> issued/<DA> July 13 , 1999 . Also European Union Patent 0817094 and Japanese Patent 10187646 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
847 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Skip - level write - through in a multi - level memory of a computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 903 ,/<DE> 907/<DA> issued/<DA> May 11 , 1999 . Also European Union Patent 0817079 and Japanese Patent 11003280 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
907 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Efficient allocation of cache memory space in a computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 893 ,/<DE> 150/<DA> issued/<DA> April 6 , 1999 . Also European Union Patent 0817078 and Japanese Patent 10214229 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
150 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Multiprocessor system configured to detect and efficiently provide for migratory data access patterns , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 734 ,/<DE> 922/<DA> issued/<DA> March 31 , 1999 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
922 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Method and apparatus for a directory - less memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 873 ,/<DE> 117/<DA> issued/<DA> February 16 , 1999 . Also European Union Patent 0817067 and Japanese Patent 10134009 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
117 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Hybrid memory access protocol for servicing memory access request by ascertaining whether the memory block is currently cached in determining which protocols to be used , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 864 ,/<DE> 671/<DA> issued/<DA> January 26 , 1999 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
671 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Hierarchical SMP computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 862 ,/<DE> 357/<DA> issued/<DA> January 19 , 1999 . Also European Union Patent 0817060 and Japanese Patent 10187630 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
357 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Methods and apparatus for a coherence transformer for connecting computer system coherence domains , Erik E. Hagersten , Mark D. Hill , and David A. Wood , United States Patent 5 ,/<DE> 860 ,/<DE> 109/<DA> issued/<DA> January 12 , 1999 . Also European Union Patent 0817065 and Japanese Patent 10214222 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
109 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Guest Editor 's Introduction : Design Challenges for High - Performance Network Interfaces Andrew/<TI> A./<TI> Chien/<TI> ,/<DE> Mark D. Hill , and Shubhendu S. Mukherjee , IEEE Computer , November 1998 . Paper : pdf .
-------------
Andrew should be:<AU> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
A. should be:<AU> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
Chien should be:<AU> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0199
<FL> s12:0
<NG> s12:0
<DE> s12:0.9801


********************
 Making Network Interfaces Less Peripheral , Shubhendu S. Mukherjee and Mark D. Hill , IEEE Computer , October 1998 . Paper : pdf .


********************
 Sirocco : Cost - Effective Fine - Grain Distributed Shared Memory , Ioannis Schoinas , Babak Falsafi , Mark D. Hill , James R. Larus , and David A. Wood , International Conference on Parallel Architectures and Compilation Techniques ( PACT 98 ) , October 1998 . Paper : pdf and ps


********************
 A Retrospective on "/<DE> Weak Ordering - - A New Definition , " Sarita V. Adve and Mark D. Hill , Selected Papers from the First 25 International Symposia on Computer Architecture ( Gurindar S. Sohi , editor/<TI> , ACM Press ) , 1998 . Paper : pdf and ps . Reference : ACM
-------------
" should be:<TI> but:<DE>
<TI> s12:0.4558
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5442
-------------
editor should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Multiprocessors Should Support Simple Memory Consistency Models , Mark D. Hill , IEEE Computer , August 1998 . Paper : pdf 2003 Dagstuhl Retrospective Talk : ppt


********************
 Lamport Clocks : Verifying A Directory Cache - Coherence Protocol , Manoj Plakal , Daniel J. Sorin , Anne E. Condon and Mark D. Hill , Symposium on Parallel Algorithms and Architectures ( SPAA ) , June 1998 . Paper : pdf and ps Reference : ACM Talk : pdf and ps


********************
 Using Prediction to Accelerate Coherence Protocols , Shubhendu S. Mukherjee and Mark D. Hill , International Symposium on Computer Architecture ( ISCA ) , 1998 . Paper : pdf and ps . Reference : ACM


********************
 The Impact of Data Transfer and Buffering Alternatives on Network Interface Design , Shubhendu S. Mukherjee and Mark D. Hill , International Symposium on High - Performance Computer Architecture ( HPCA ) , 1998 . Paper : pdf and ps


********************
 Address Translation Mechanisms in Network Interfaces , Ioannis Schoinas and Mark D. Hill , International Symposium on High - Performance Computer Architecture ( HPCA ) , 1998 . Paper : pdf and ps


********************
 Methods and apparatus for sharing stored data objects in a computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 835 ,/<DE> 906/<DA> issued/<DA> November 10 , 1998 . Also European Union Patent 0817040 and Japanese Patent 10187527 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
906 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Methods and apparatus for a coherence transformer with limited memory for connecting computer system coherence domains , Erik E. Hagersten , Mark D. Hill , and David A. Wood , United States Patent 5 ,/<DE> 829 ,/<DE> 034/<DA> issued/<DA> October 27 , 1998 . Also European Union Patent 0817069 and Japanese Patent 10187633 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
034 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Efficient storage of data in computer systmes with multiple cache levels , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 802 ,/<DE> 563/<DA> issued/<DA> September 1 , 1998 . Also European Union Patent 0817080 and Japanese Patent 10214224 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
563 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Extended symmetrical multiprocessor address mapping , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 796 ,/<DE> 605/<DA> issued/<DA> August 18 , 1998 . ( I/<TI> was/<TI> officially/<TI> added/<TI> as/<TI> a/<TI> co/<TI> -/<TI> inventor/<TI> on/<TI> June/<TI> 27/<TI> ,/<DE> 1998 , correcting/<TI> a/<TI> filing/<TI> error/<TI> . )
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
605 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
I should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
was should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
officially should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
added should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
as should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
a should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
co should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
- should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
inventor should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
on should be:<NG> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
June should be:<DA> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
27 should be:<DA> but:<TI>
<TI> s12:0.9712
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0256
<FL> s12:0
<NG> s12:0.0032
<DE> s12:0
-------------
, should be:<DA> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
correcting should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
a should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
filing should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
error should be:<NG> but:<TI>
<TI> s12:0.9983
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Extended symmetrical multiprocessor architecture , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 754 ,/<DE> 877/<DA> issued/<DA> May 19 , 1998 . Also European Union Patent 0817092 and Japanese Patent 10097513 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
877 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Multiprocessing system configured to detect and efficiently provide for migratory data access patterns , Erik E. Hagersten and Mark D. Hill , United States Patent 5 ,/<DE> 734 ,/<DE> 922/<DA> issued/<DA> March 31 , 1998 . Also European Union Patent 0817071 and Japanese Patent 10143483 .
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0002
<AU> s12:0.0042
<FL> s12:0
<NG> s12:0.4915
<DE> s12:0.5041
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
922 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
issued should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9941
<PU> s12:0
<JN> s12:0.0024
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Relaxed Consistency and Coherence Granularity in DSM Systems : A Performance Evaluation , Yuanyuan Zhou , Liviu Iftode , Jaswinder Pal Singh , Kai Li , Brian R. Toonen , Ioannis Schoinas , Mark D. Hill , and David A. Wood , SIGPLAN Symposium on Principles and Practice of Parallel Programming ( PPoPP ) , June 1997 . Paper : pdf and ps . Reference : ACM


********************
 Parallel Computer Research in the Wisconsin Wind Tunnel Project , Mark D. Hill , James R. Larus , and David A. Wood , NSF/<VO> Conference/<VO> on/<VO> Experimental/<VO> Research/<VO> in/<VO> Computer/<VO> Systems/<VO> , June 1996 . Paper : pdf and ps
-------------
NSF should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Conference should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
on should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Experimental should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Research should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Bidirectional/<JN> Technology/<JN> Transfer/<JN> :/<DE> Sabbaticals in Industry , Mark D. Hill , NSF Conference on Experimental Research in Computer Systems , June 1996 . Reprinted/<VO> in/<VO> Computing/<VO> Research/<VO> News/<VO> , November 1997 . Paper : pdf and ps
-------------
Bidirectional should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Technology should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Transfer should be:<TI> but:<JN>
<TI> s12:0.2222
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6667
<AU> s12:0.1111
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.2365
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7635
-------------
Reprinted should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computing should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Research should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
News should be:<JN> but:<VO>
<TI> s12:0
<VO> s12:0.75
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.25
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Coherent Network Interfaces for Fine - Grain Communication , Shubhendu S. Mukherjee , Babak Falsafi , Mark D. Hill , and David A. Wood , International Symposium on Computer Architecture ( ISCA ) , 1996 . Paper : pdf and ps . Reference : ACM


********************
 Optimistic Simulation of Parallel Architectures Using Program Executables , Sashikanth Chandrasekaran and Mark D. Hill , Workshop on Parallel and Distributed Simulation ( PADS ) , May 1996 . Paper : pdf and ps . Reference : ACM


********************
 A New Page Table for 64 - bit Address Spaces , Madhusudhan Talluri , Mark D. Hill , and Yousef A. Khalidi , Symposium on Operating Systems Principals ( SOSP ) , December 1995 . Paper : pdf and ps

