
********************
 Thomas A. Henzinger , Benjamin Horowitz , Rupak Majumdar , and Howard Wong - Toi . Beyond HyTech : Hybrid systems analysis using interval numerical methods . Proceedings of the Third International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 2000 , pp . 130 - 144 .


********************
 Thomas A. Henzinger and Rupak Majumdar . A classification of symbolic transition systems . Proceedings of the 17th International Conference on Theoretical Aspects of Computer Science ( ) , , Springer - Verlag , 2000 , pp . 13 - 34 .


********************
 Thomas A. Henzinger and Rupak Majumdar . Symbolic model checking for rectangular hybrid systems . Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 2000 , pp . 142 - 156 .


********************
 Thomas A. Henzinger , Rupak Majumdar , F. Y. C. Mang , and J. - F. Raskin . Abstract/<FL> interpretation/<FL> of/<FL> game/<FL> properties/<FL> . Proceedings of the Seventh International Static Analysis Symposium ( ) , , Springer - Verlag , 2000 , pp . 220 - 239 .
-------------
Abstract should be:<TI> but:<FL>
<TI> s12:0.0934
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0003
<DA> s12:0
<PU> s12:0
<JN> s12:0.0007
<AU> s12:0
<FL> s12:0.9054
<NG> s12:0.0003
<DE> s12:0
-------------
interpretation should be:<TI> but:<FL>
<TI> s12:0.0934
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0003
<DA> s12:0
<PU> s12:0
<JN> s12:0.0007
<AU> s12:0
<FL> s12:0.9054
<NG> s12:0.0003
<DE> s12:0
-------------
of should be:<TI> but:<FL>
<TI> s12:0.0934
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0003
<DA> s12:0
<PU> s12:0
<JN> s12:0.0007
<AU> s12:0
<FL> s12:0.9054
<NG> s12:0.0003
<DE> s12:0
-------------
game should be:<TI> but:<FL>
<TI> s12:0.0934
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0003
<DA> s12:0
<PU> s12:0
<JN> s12:0.0007
<AU> s12:0
<FL> s12:0.9054
<NG> s12:0.0003
<DE> s12:0
-------------
properties should be:<TI> but:<FL>
<TI> s12:0.0934
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0003
<DA> s12:0
<PU> s12:0
<JN> s12:0.0007
<AU> s12:0
<FL> s12:0.9054
<NG> s12:0.0003
<DE> s12:0


********************
 Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . Decomposing refinement proofs using assume - guarantee reasoning . Proceedings of the International Conference on Computer - Aided Design ( ) , IEEE Computer Society Press , 2000 , pp . 245 - 252 .


********************
 Thomas A. Henzinger and Sriram K. Rajamani . Fair bisimulation . Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 2000 , pp . 299 - 314 .


********************
 Thomas A. Henzinger and J. - F. Raskin . Robust undecidability of timed and hybrid systems . Proceedings of the Third International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 2000 , pp . 145 - 159 .


********************
 Rajeev Alur and Thomas A. Henzinger . Reactive modules . Formal Methods in System Design 15/<JN> :/<JN> 7/<VO> -/<VO> 48/<VO> ,/<DA> 1999 .
-------------
15 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.725
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.275
-------------
7 should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
48 should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<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.7421
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2579


********************
 Rajeev Alur , Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang . Automating modular verification . Proceedings of the Tenth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1999 , pp . 82 - 97 .


********************
 Rajeev Alur , Limor Fix , and Thomas A. Henzinger . Event - clock automata : A determinizable class of timed automata . Theoretical Computer Science 211/<JN> : 253 - 273 , 1999 .
-------------
211 should be:<VO> but:<JN>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0021
<DA> s12:0
<PU> s12:0
<JN> s12:0.9978
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Benjamin Horowitz , and Rupak Majumdar . Rectangular hybrid games . Proceedings of the Tenth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1999 , pp . 320 - 335 .


********************
 Thomas A. Henzinger and Peter W. Kopke . Discrete - time control for rectangular hybrid automata . Theoretical Computer Science 221/<JN> : 369 - 392 , 1999 .
-------------
221 should be:<VO> but:<JN>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0021
<DA> s12:0
<PU> s12:0
<JN> s12:0.9978
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Xiaojun Liu , Shaz Qadeer , and Sriram K. Rajamani . Formal specification and verification of a dataflow processor array . Proceedings of the International Conference on Computer - Aided Design ( ) , IEEE Computer Society Press , 1999 , pp . 494 - 499 .


********************
 Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . Assume - guarantee refinement between different time scales . Proceedings of the 11th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1999 , pp . 208 - 221 .


********************
 Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . Verifying sequential consistency for multiprocessor memory protocols . Proceedings of the 11th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1999 , pp . 301 - 315 .


********************
 Rajeev Alur and Thomas A. Henzinger . Finitary fairness . ACM Transactions on Programming Languages and Systems 20/<JN> : 1171/<DA> -/<DA> 1194/<DA> ,/<DA> 1998 .
-------------
20 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1171 should be:<PP> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0148
<GL> s12:0
<OR> s12:0
<DA> s12:0.9829
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0148
<GL> s12:0
<OR> s12:0
<DA> s12:0.9829
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1194 should be:<PP> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0148
<GL> s12:0
<OR> s12:0
<DA> s12:0.9829
<PU> s12:0
<JN> s12:0.0023
<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.5982
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.4018


********************
 Rajeev Alur , Thomas A. Henzinger , and Orna Kupferman . Alternating - time temporal logic . In Compositionality :/<TI> The/<TI> Significant/<TI> Difference/<TI> , , Springer - Verlag , 1998 , pp . 23 - 60 .
-------------
: should be:<JN> but:<TI>
<TI> s12:0.9464
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0495
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0041
-------------
The should be:<JN> but:<TI>
<TI> s12:0.7762
<VO> s12:0.0011
<PP> s12:0.0009
<GL> s12:0.0221
<OR> s12:0.0077
<DA> s12:0.0009
<PU> s12:0.0083
<JN> s12:0.1368
<AU> s12:0.0002
<FL> s12:0.014
<NG> s12:0.0315
<DE> s12:0.0003
-------------
Significant should be:<JN> but:<TI>
<TI> s12:0.7762
<VO> s12:0.0011
<PP> s12:0.0009
<GL> s12:0.0221
<OR> s12:0.0077
<DA> s12:0.0009
<PU> s12:0.0083
<JN> s12:0.1368
<AU> s12:0.0002
<FL> s12:0.014
<NG> s12:0.0315
<DE> s12:0.0003
-------------
Difference should be:<JN> but:<TI>
<TI> s12:0.7762
<VO> s12:0.0011
<PP> s12:0.0009
<GL> s12:0.0221
<OR> s12:0.0077
<DA> s12:0.0009
<PU> s12:0.0083
<JN> s12:0.1368
<AU> s12:0.0002
<FL> s12:0.014
<NG> s12:0.0315
<DE> s12:0.0003


********************
 Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , and Moshe Y. Vardi . Alternating refinement relations . Proceedings of the Ninth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1998 , pp . 163 - 178 .


********************
 Rajeev Alur , Thomas A. Henzinger , F. Y. C. Mang , Shaz Qadeer , Sriram K. Rajamani , and Serdar Tasiran . Mocha/<OR> : Modularity in model checking . Proceedings of the Tenth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1998 , pp . 521 - 525 .
-------------
Mocha should be:<TI> but:<OR>
<TI> s12:0.0273
<VO> s12:0.1014
<PP> s12:0.0779
<GL> s12:0.0916
<OR> s12:0.1303
<DA> s12:0.076
<PU> s12:0.1264
<JN> s12:0.0295
<AU> s12:0.0765
<FL> s12:0.1108
<NG> s12:0.1193
<DE> s12:0.033


********************
 Rajeev Alur , Thomas A. Henzinger , and Sriram K. Rajamani . Symbolic exploration of transition hierarchies . Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 1998 , pp . 330 - 344 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and Orna Kupferman . Concurrent reachability games . Proceedings of the 39th Annual Symposium on Foundations of Computer Science ( ) , IEEE Computer Society Press , 1998 , pp . 564 - 575 .


********************
 Thomas A. Henzinger . It 's about time : Real - time logics reviewed . Proceedings of the Ninth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1998 , pp . 439 - 454 .


********************
 Thomas A. Henzinger , Pei - Hsin Ho , and Howard Wong - Toi . Algorithmic analysis of nonlinear hybrid systems . IEEE Transactions on Automatic Control 43/<JN> : 540 - 554 , 1998 .
-------------
43 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , and Pravin Varaiya . What 's decidable about hybrid automata ?/<TI> Journal of Computer and System Sciences 57/<JN> : 94 - - 124 , 1998 .
-------------
? should be:<DE> but:<TI>
<TI> s12:0.8709
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0035
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.1256
-------------
57 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Orna Kupferman , and Shaz Qadeer . From pre historic to post modern symbolic model checking . Proceedings of the Tenth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1998 , pp . 195 - 206 .


********************
 Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . You assume ,/<AU> we guarantee : Methodology and case studies . Proceedings of the Tenth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1998 , pp . 440 - 451 .
-------------
, should be:<TI> but:<AU>
<TI> s12:0.4273
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0001
<DA> s12:0
<PU> s12:0
<JN> s12:0.0014
<AU> s12:0.4369
<FL> s12:0.0001
<NG> s12:0.0005
<DE> s12:0.1336


********************
 Thomas A. Henzinger , Shaz Qadeer , Sriram K. Rajamani , and Serdar Tasiran . An assume - guarantee rule for checking simulation . Proceedings of the Second International Conference on Formal Methods in Computer - Aided Design ( ) , , Springer - Verlag , 1998 , pp . 421 - 432 .


********************
 Thomas A. Henzinger , J. - F. Raskin , and P. - Y. Schobbens . The regular real - time languages . Proceedings of the 25th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 1998 , pp . 580 - 591 .
-------------
, 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.2648
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7352
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0031
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.349
<AU> s12:0.0134
<FL> s12:0
<NG> s12:0
<DE> s12:0.6345


********************
 Thomas A. Henzinger and Vlad Rusu . Reachability verification for hybrid automata . Proceedings of the First International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 1998 , pp . 190 - 204 .


********************
 Joerg Preussig , Stephan Kowalewski , Howard Wong - Toi , and Thomas A. Henzinger . An algorithm for the approximative analysis of rectangular automata . Proceedings of the Fifth International Symposium on Formal Techniques in Real - Time and Fault - Tolerant Systems ( ) , , Springer - Verlag , 1998 , pp . 228 - 240 .


********************
 J. - F. Raskin , P. - Y. Schobbens , and Thomas A. Henzinger . Axioms for real - time logics . Proceedings of the Ninth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1998 , pp . 219 - 236 .


********************
 Rajeev Alur , Robert K. Brayton , Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . Partial - order reduction in symbolic state - space exploration . Proceedings of the Ninth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1997 , pp . 340 - 351 .


********************
 Rajeev Alur , Costas Courcoubetis , and Thomas A. Henzinger . Computing accumulated delays in real - time systems . Formal Methods in System Design 11/<JN> : 137 - 156 , 1997 .
-------------
11 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur and Thomas A. Henzinger . Modularity for timed and hybrid systems . Proceedings of the Eighth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1997 , pp . 74 - 88 .


********************
 Rajeev Alur and Thomas A. Henzinger . Real - time system = discrete system + clock variables ./<TI> Software/<TI> Tools/<TI> for/<TI> Technology/<TI> Transfer/<TI> 1/<TI> : 86 - 109 , 1997 .
-------------
. should be:<DE> but:<TI>
<TI> s12:0.9996
<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.0004
-------------
Software 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
-------------
Tools 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
-------------
Technology 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
-------------
Transfer 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
-------------
1 should be:<VO> 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


********************
 Rajeev Alur , Thomas A. Henzinger , and Orna Kupferman . Alternating - time temporal logic . Proceedings of the 38th Annual Symposium on Foundations of Computer Science ( ) , IEEE Computer Society Press , 1997 , pp . 100 - 109 .


********************
 Rajeev Alur , Thomas A. Henzinger , and Howard Wong - Toi . Symbolic analysis of hybrid systems . Proceedings of the 36th Annual Conference on Decision and Control ( ) , IEEE Press , 1997 , pp . 702 - 707 .


********************
 Vineet Gupta , Thomas A. Henzinger , and Radha Jagadeesan . Robust timed automata . Proceedings of the International Workshop on Hybrid and Real - Time Systems ( ) , , Springer - Verlag , 1997 , pp . 331 - 345 .


********************
 Thomas A. Henzinger , Pei - Hsin Ho , and Howard Wong - Toi . HyTech/<OR> : A model checker for hybrid systems ./<TI> Software/<TI> Tools/<TI> for/<TI> Technology/<TI> Transfer/<TI> 1/<TI> : 110 - 122 , 1997 . A preliminary version appeared in the Proceedings of the Ninth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1997 , pp . 460 - 463 .
-------------
HyTech should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328
-------------
. 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
-------------
Software 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
-------------
Tools 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
-------------
Technology 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
-------------
Transfer 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
-------------
1 should be:<VO> 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


********************
 Thomas A. Henzinger and Peter W. Kopke . Discrete - time control for rectangular hybrid automata . Proceedings of the 24th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 1997 , pp . 582 - 593 .
-------------
, 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.2648
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7352
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0031
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.349
<AU> s12:0.0134
<FL> s12:0
<NG> s12:0
<DE> s12:0.6345


********************
 Thomas A. Henzinger and Orna Kupferman . From quantity to quality . Proceedings of the International Workshop on Hybrid and Real - Time Systems ( ) , , Springer - Verlag , 1997 , pp . 48 - 62 .


********************
 Thomas A. Henzinger , Orna Kupferman , and Sriram K. Rajamani . Fair simulation . Proceedings of the Ninth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1997 , pp . 273 - 287 .


********************
 Rajeev Alur , Tomas Feder , and Thomas A. Henzinger . The/<JN> benefits/<JN> of/<JN> relaxing/<JN> punctuality/<JN> . Journal of the ACM 43/<JN> : 116 - 146 , 1996 .
-------------
The should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
benefits should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
relaxing should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
punctuality should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
43 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur and Thomas A. Henzinger . Reactive modules . Proceedings of the 11th Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 1996 , pp . 207 - 218 .


********************
 Rajeev Alur , Thomas A. Henzinger , and Pei - Hsin Ho . Automatic/<JN> symbolic/<JN> verification/<JN> of/<JN> embedded/<JN> systems/<JN> . IEEE Transactions on Software Engineering 22/<JN> : 181 - 201 , 1996 .
-------------
Automatic should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
symbolic should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
verification should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
embedded should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
systems should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
22 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger . The theory of hybrid automata . Proceedings of the 11th Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 1996 , pp . 278 - 292 .


********************
 Thomas A. Henzinger and Peter W. Kopke . State equivalences for rectangular hybrid automata . Proceedings of the Seventh International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1996 , pp . 530 - 545 .


********************
 Thomas A. Henzinger , Orna Kupferman , and Moshe Y. Vardi . A space - efficient on - the - fly algorithm for real - time model checking . Proceedings of the Seventh International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1996 , pp . 514 - 529 .


********************
 Thomas A. Henzinger and Howard Wong - Toi . Linear phase - portrait approximations for nonlinear hybrid systems . In Hybrid Systems III ,/<DE> Lecture Notes in Computer Science 1066 , Springer - Verlag , 1996 , pp . 377 - 388 .
-------------
, 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.0353
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9647


********************
 Thomas A. Henzinger and Howard Wong - Toi . Using HyTech to synthesize control parameters for a steam boiler ./<TI> In/<TI> Formal/<TI> Methods/<TI> for/<TI> Industrial/<TI> Applications/<TI> :/<TI> Specifying and Programming the Steam Boiler Control ,/<DE> Lecture Notes in Computer Science 1165 , Springer - Verlag , 1996 , pp . 265 - 282 .
-------------
. should be:<DE> but:<TI>
<TI> s12:0.9999
<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.0001
-------------
In 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
-------------
Formal 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
-------------
Methods 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
-------------
Industrial 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
-------------
Applications 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:<TI>
<TI> s12:0.9959
<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.0041
-------------
, 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.1649
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8351


********************
 Rajeev Alur , Costas Courcoubetis , Nicolas Halbwachs , Thomas A. Henzinger , Pei - Hsin Ho , Xavier Nicollin , Alfredo Olivero , Joseph Sifakis , and Sergio Yovine . The algorithmic analysis of hybrid systems . Theoretical Computer Science 138/<JN> :/<JN> 3/<VO> -/<VO> 34/<VO> ,/<DA> 1995 .
-------------
138 should be:<VO> but:<JN>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0021
<DA> s12:0
<PU> s12:0
<JN> s12:0.9978
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.725
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.275
-------------
3 should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
34 should be:<PP> but:<VO>
<TI> s12:0.0002
<VO> s12:0.4989
<PP> s12:0.3651
<GL> s12:0
<OR> s12:0
<DA> s12:0.1276
<PU> s12:0
<JN> s12:0.0083
<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.7421
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2579


********************
 Rajeev Alur and Thomas A. Henzinger . Local liveness for compositional modeling of fair reactive systems . Proceedings of the Seventh International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1995 , pp . 166 - 179 .


********************
 Thomas A. Henzinger . Hybrid automata with finite bisimulations . Proceedings of the 22nd International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 1995 , pp . 324 - 335 .
-------------
, 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.2648
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7352
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0031
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.349
<AU> s12:0.0134
<FL> s12:0
<NG> s12:0
<DE> s12:0.6345


********************
 Monika R. Henzinger , Thomas A. Henzinger , and Peter W. Kopke . Computing simulations on finite and infinite graphs . Proceedings of the 36th Annual Symposium on Foundations of Computer Science ( ) , IEEE Computer Society Press , 1995 , pp . 453 - 462 .


********************
 Thomas A. Henzinger and Pei - Hsin Ho . Algorithmic analysis of nonlinear hybrid systems . Proceedings of the Seventh International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1995 , pp . 225 - 238 .


********************
 Thomas A. Henzinger and Pei - Hsin Ho . A note on abstract - interpretation strategies for hybrid automata . In/<TI> Hybrid/<TI> Systems/<TI> II/<TI> ,/<DE> Lecture Notes in Computer Science 999 , Springer - Verlag , 1995 , pp . 252 - 264 .
-------------
In should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Hybrid should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
II should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<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.0099
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9901


********************
 Thomas A. Henzinger and Pei - Hsin Ho . HyTech/<OR> : The Cornell Hybrid Technology Tool . In/<TI> Hybrid/<TI> Systems/<TI> II/<TI> ,/<DE> Lecture Notes in Computer Science 999 , Springer - Verlag , 1995 , pp . 265 - 294 .
-------------
HyTech should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328
-------------
In should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Hybrid should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
II should be:<JN> but:<TI>
<TI> s12:0.6811
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.3189
<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.0099
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9901


********************
 Thomas A. Henzinger , Pei - Hsin Ho , and Howard Wong - Toi . A user guide to HyTech . Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 1995 , pp . 41 - 71 .


********************
 Thomas A. Henzinger , Pei - Hsin Ho , and Howard Wong - Toi ,/<AU> HyTech/<OR> : The next generation . Proceedings of the 16th Annual Real - Time Systems Symposium ( ) , IEEE Computer Society Press , 1995 , pp . 56 - 65 .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0011
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.5962
<FL> s12:0
<NG> s12:0
<DE> s12:0.4027
-------------
HyTech should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328


********************
 Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , and Pravin Varaiya . What 's decidable about hybrid automata ? Proceedings of the 27th Annual Symposium on Theory of Computing ( ) , ACM Press , 1995 , pp . 373 - 382 .


********************
 Thomas A. Henzinger , Peter W. Kopke , and Howard Wong - Toi . The/<JN> expressive/<JN> power/<JN> of/<JN> clocks/<JN> . Proceedings of the 22nd International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 1995 , pp . 417 - 428 .
-------------
The should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
expressive should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
power should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
clocks should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<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.2648
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7352
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0031
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.349
<AU> s12:0.0134
<FL> s12:0
<NG> s12:0
<DE> s12:0.6345


********************
 Rajeev Alur , Costas Courcoubetis , and Thomas A. Henzinger . The/<JN> observational/<JN> power/<JN> of/<JN> clocks/<JN> . Proceedings of the Fifth International Conference on Concurrency Theory ( ) , , Springer - Verlag , 1994 , pp . 162 - 177 .
-------------
The should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
observational should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
power should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0
-------------
clocks should be:<TI> but:<JN>
<TI> s12:0.3974
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.001
<DA> s12:0
<PU> s12:0
<JN> s12:0.6001
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0012
<DE> s12:0


********************
 Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , Pei - Hsin Ho , Xavier Nicollin , Alfredo Olivero , Joseph Sifakis , and Sergio Yovine . The algorithmic analysis of hybrid systems . Proceedings of the 11th International Conference on Analysis and Optimization of Systems : Discrete - Event Systems ( ) , , Springer - Verlag , 1994 , pp . 331 - 351 .


********************
 Rajeev Alur , Limor Fix , and Thomas A. Henzinger . A determinizable class of timed automata . Proceedings of the Sixth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1994 , pp . 1/<VO> -/<VO> 13/<VO> .
-------------
1 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
13 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur and Thomas A. Henzinger . A really temporal logic . Journal of the ACM 41/<JN> : 181 - 204 , 1994 .
-------------
41 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur and Thomas A. Henzinger . Finitary fairness . Proceedings of the Ninth Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 1994 , pp . 52 - 61 .


********************
 Rajeev Alur and Thomas A. Henzinger . Real - time system = discrete system + clock variables ./<TI> In/<TI> Theories/<TI> and/<TI> Experiences/<TI> for/<TI> Real/<TI> -/<TI> Time/<TI> System/<TI> Development/<TI> ( T. Rus , C. Rattray , eds . ) , AMAST/<JN> Series/<JN> in/<JN> Computing/<JN> , Vol . 2 , World/<JN> Scientific/<JN> , 1994 , pp . 1/<VO> -/<VO> 29/<VO> .
-------------
. should be:<DE> but:<TI>
<TI> s12:0.9935
<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.0065
-------------
In 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
-------------
Theories 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
-------------
and 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
-------------
Experiences 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
-------------
Real 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:<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
-------------
Time 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
-------------
System 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
-------------
Development 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
-------------
AMAST should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.909
<AU> s12:0
<FL> s12:0
<NG> s12:0.0002
<DE> s12:0
-------------
Series should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.909
<AU> s12:0
<FL> s12:0
<NG> s12:0.0002
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.909
<AU> s12:0
<FL> s12:0
<NG> s12:0.0002
<DE> s12:0
-------------
Computing should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.909
<AU> s12:0
<FL> s12:0
<NG> s12:0.0002
<DE> s12:0
-------------
World should be:<PU> but:<JN>
<TI> s12:0.0006
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.4618
<JN> s12:0.5376
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Scientific should be:<PU> but:<JN>
<TI> s12:0.0006
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.4618
<JN> s12:0.5376
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
29 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger and Peter W. Kopke . Verification/<JN> methods/<JN> for/<JN> the/<JN> divergent/<JN> runs/<JN> of/<JN> clock/<JN> systems/<JN> . Proceedings of the Third International Symposium on Formal Techniques in Real - Time and Fault - Tolerant Systems ( ) , , Springer - Verlag , 1994 , pp . 351 - 372 .
-------------
Verification should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
methods should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
the should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
divergent should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
runs should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
clock should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
systems should be:<TI> but:<JN>
<TI> s12:0.2018
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7982
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . Temporal proof methodologies for timed transition systems . Information and Computation 112/<JN> : 273 - 337 , 1994 .
-------------
112 should be:<VO> but:<JN>
<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.9999
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , and Sergio Yovine . Symbolic model checking for real - time systems . Information and Computation 111/<JN> : 193 - 244 , 1994 .
-------------
111 should be:<VO> but:<JN>
<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.9999
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Arjun Kapur , Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . Proving safety properties of hybrid systems . Proceedings of the Third International Symposium on Formal Techniques in Real - Time and Fault - Tolerant Systems ( ) , , Springer - Verlag , 1994 , pp . 431 - 454 .


********************
 Rajeev Alur , Costas Courcoubetis , and Thomas A. Henzinger . Computing accumulated delays in real - time systems . Proceedings of the Fifth International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 1993 , pp . 181 - 193 .


********************
 Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , and Pei - Hsin Ho . Hybrid automata : An algorithmic approach to the specification and verification of hybrid systems . In/<TI> Hybrid/<TI> Systems/<TI> I/<TI> ,/<DE> Lecture Notes in Computer Science 736 , Springer - Verlag , 1993 , pp . 209 - 229 .
-------------
In should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Hybrid should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
I should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<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.1424
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8576


********************
 Rajeev Alur and Thomas A. Henzinger . Real - time logics : Complexity and expressiveness . Information and Computation 104/<JN> : 35 - 77 , 1993 .
-------------
104 should be:<VO> but:<JN>
<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.9999
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur , Thomas A. Henzinger , and Pei - Hsin Ho . Automatic/<JN> symbolic/<JN> verification/<JN> of/<JN> embedded/<JN> systems/<JN> . Proceedings of the 14th Annual Real - Time Systems Symposium ( ) , IEEE Computer Society Press , 1993 , pp . 2/<VO> -/<VO> 11/<VO> .
-------------
Automatic should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
symbolic should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
verification should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
embedded should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
systems should be:<TI> but:<JN>
<TI> s12:0.0908
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9092
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
2 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
11 should be:<PP> but:<VO>
<TI> s12:0.0001
<VO> s12:0.5017
<PP> s12:0.3671
<GL> s12:0
<OR> s12:0
<DA> s12:0.1283
<PU> s12:0
<JN> s12:0.0028
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Rajeev Alur , Thomas A. Henzinger , and Moshe Y. Vardi . Parametric real - time reasoning . Proceedings of the 25th Annual Symposium on Theory of Computing ( ) , ACM Press , 1993 , pp . 592 - 601 .


********************
 Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . Towards refining temporal specifications into hybrid systems . In/<TI> Hybrid/<TI> Systems/<TI> I/<TI> ,/<DE> Lecture Notes in Computer Science 736 , Springer - Verlag , 1993 , pp . 60 - 76 .
-------------
In should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Hybrid should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
I should be:<JN> but:<TI>
<TI> s12:0.7444
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2556
<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.1424
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8576


********************
 Rajeev Alur and Thomas A. Henzinger . Back to the future : Towards a theory of timed regular languages . Proceedings of the 33rd Annual Symposium on Foundations of Computer Science ( ) , IEEE Computer Society Press , 1992 , pp . 177 - 186 .


********************
 Rajeev Alur and Thomas A. Henzinger . Logics and models of real time : A survey . In Real Time : Theory in Practice , Lecture Notes in Computer Science 600 , Springer - Verlag , 1992 , pp . 74 - 106 .


********************
 Thomas A. Henzinger . Sooner/<FL> is/<FL> safer/<FL> than/<FL> later/<FL> . Information Processing Letters 43/<JN> : 135 - 141 , 1992 .
-------------
Sooner should be:<TI> but:<FL>
<TI> s12:0.0172
<VO> s12:0.0128
<PP> s12:0.0083
<GL> s12:0.0112
<OR> s12:0.0128
<DA> s12:0.0079
<PU> s12:0.0135
<JN> s12:0.011
<AU> s12:0.0132
<FL> s12:0.7081
<NG> s12:0.1829
<DE> s12:0.001
-------------
is should be:<TI> but:<FL>
<TI> s12:0.0172
<VO> s12:0.0128
<PP> s12:0.0083
<GL> s12:0.0112
<OR> s12:0.0128
<DA> s12:0.0079
<PU> s12:0.0135
<JN> s12:0.011
<AU> s12:0.0132
<FL> s12:0.7081
<NG> s12:0.1829
<DE> s12:0.001
-------------
safer should be:<TI> but:<FL>
<TI> s12:0.0172
<VO> s12:0.0128
<PP> s12:0.0083
<GL> s12:0.0112
<OR> s12:0.0128
<DA> s12:0.0079
<PU> s12:0.0135
<JN> s12:0.011
<AU> s12:0.0132
<FL> s12:0.7081
<NG> s12:0.1829
<DE> s12:0.001
-------------
than should be:<TI> but:<FL>
<TI> s12:0.0172
<VO> s12:0.0128
<PP> s12:0.0083
<GL> s12:0.0112
<OR> s12:0.0128
<DA> s12:0.0079
<PU> s12:0.0135
<JN> s12:0.011
<AU> s12:0.0132
<FL> s12:0.7081
<NG> s12:0.1829
<DE> s12:0.001
-------------
later should be:<TI> but:<FL>
<TI> s12:0.0172
<VO> s12:0.0128
<PP> s12:0.0083
<GL> s12:0.0112
<OR> s12:0.0128
<DA> s12:0.0079
<PU> s12:0.0135
<JN> s12:0.011
<AU> s12:0.0132
<FL> s12:0.7081
<NG> s12:0.1829
<DE> s12:0.001
-------------
43 should be:<VO> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . Timed transition systems . In Real Time : Theory in Practice , Lecture Notes in Computer Science 600 , Springer - Verlag , 1992 , pp . 226 - 251 .


********************
 Thomas A. Henzinger , Zohar Manna , and Amir Pnueli . What good are digital clocks ?/<JN> Proceedings of the 19th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 1992 , pp . 545 - 558 .
-------------
? should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.564
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.436
-------------
, 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.2648
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7352
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0031
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.349
<AU> s12:0.0134
<FL> s12:0
<NG> s12:0
<DE> s12:0.6345


********************
 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/<JN> benefits/<JN> of/<JN> relaxing/<JN> punctuality/<JN> . Proceedings of the Tenth Annual Symposium on Principles of Distributed Computing ( ) , ACM Press , 1991 , pp . 139 - 152 .
-------------
The should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
benefits should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
relaxing should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0
-------------
punctuality should be:<TI> but:<JN>
<TI> s12:0.4161
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0007
<DA> s12:0
<PU> s12:0
<JN> s12:0.5822
<AU> s12:0
<FL> s12:0.0002
<NG> s12:0.0009
<DE> s12:0


********************
 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
<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:1
<NG> s12:0
<DE> s12:0
-------------
Expanded should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
TACO should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
2004 should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
Journal should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
Version should be:<JN> 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:1
<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.9959
<NG> s12:0
<DE> s12:0.0041


********************
 Future Computer Advances are Between a Rock ( Slow Memory ) and a Hard Place (/<DE> Multithreading/<OR> ) ( 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 ) Meeting , October 2004 . Talk : ppt
-------------
( should be:<TI> but:<DE>
<TI> s12:0.0814
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0019
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9167
-------------
Multithreading should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328
-------------
Talk should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
to should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
CSTB should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
and should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
US should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
government should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0
-------------
agencies should be:<NG> but:<FL>
<TI> s12:0.0915
<VO> s12:0.0002
<PP> s12:0.0001
<GL> s12:0.0002
<OR> s12:0.0011
<DA> s12:0.0005
<PU> s12:0.0017
<JN> s12:0.2786
<AU> s12:0.0084
<FL> s12:0.5446
<NG> s12:0.0731
<DE> s12:0


********************
 Interaction Cost and Shotgun Profiling , Brian A. Fields , Rastislav Bodik , Mark D. Hill , and Chris J. Newburn , ACM Trans . on Architecture and Compiler Optimizations ( TACO/<OR> ) , September 2004 . Paper : pdf Original Micro 2003 Conference Version : pdf Reference : ACM
-------------
TACO should be:<JN> but:<OR>
<TI> s12:0.0273
<VO> s12:0.1014
<PP> s12:0.0779
<GL> s12:0.0916
<OR> s12:0.1303
<DA> s12:0.076
<PU> s12:0.1264
<JN> s12:0.0295
<AU> s12:0.0765
<FL> s12:0.1108
<NG> s12:0.1193
<DE> s12:0.033


********************
 A Future for Parallel Computer Architectures ( Keynote/<JN> talk/<JN> to/<JN> parallel/<JN> software/<JN> researchers/<JN> ) , Mark D. Hill , International Conference on Parallel Processing ( ICPP/<OR> ) , August 2004 . Talk : ppt
-------------
Keynote should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
talk should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
to should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
parallel should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
software should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
researchers should be:<NG> but:<JN>
<TI> s12:0.1076
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8861
<AU> s12:0
<FL> s12:0.0015
<NG> s12:0.0048
<DE> s12:0
-------------
ICPP should be:<JN> but:<OR>
<TI> s12:0.0271
<VO> s12:0.1006
<PP> s12:0.0773
<GL> s12:0.0909
<OR> s12:0.1292
<DA> s12:0.0754
<PU> s12:0.1254
<JN> s12:0.0878
<AU> s12:0.0253
<FL> s12:0.11
<NG> s12:0.1184
<DE> s12:0.0327


********************
 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 Talk ) , Mark D. Hill , Workshop On Computer Architecture Evaluation using Commercial Workloads ( CAECW/<OR> ) , February 2004 . Talk Abstract : pdf Talk : ppt
-------------
CAECW should be:<JN> but:<OR>
<TI> s12:0.0271
<VO> s12:0.1006
<PP> s12:0.0773
<GL> s12:0.0909
<OR> s12:0.1292
<DA> s12:0.0754
<PU> s12:0.1254
<JN> s12:0.0878
<AU> s12:0.0253
<FL> s12:0.11
<NG> s12:0.1184
<DE> s12:0.0327


********************
 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 :/<FL> pdf
-------------
: 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.0006
<AU> s12:0
<FL> s12:0.7099
<NG> s12:0
<DE> s12:0.2896


********************
 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
<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:1
<NG> s12:0
<DE> s12:0
-------------
ppt should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
Expanded should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
TACO should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
2004 should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
Journal should be:<JN> 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:1
<NG> s12:0
<DE> s12:0
-------------
Version should be:<JN> 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:1
<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.9959
<NG> s12:0
<DE> s12:0.0041


********************
 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.3028
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6972
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0.3028
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6972
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.3028
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6972
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.3028
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6972
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Evaluation should be:<TI> but:<JN>
<TI> s12:0.3028
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6972
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Revisiting/<OR> " 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 : Programmability and Performance , October 2003 . Abstract : txt Talk : ppt Original 1998 Paper : pdf
-------------
Revisiting should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328
-------------
" 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.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
software should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
memory should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
consistency should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
model should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
researchers should be:<NG> but:<TI>
<TI> s12:0.9996
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0003
<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 ,/<JN> Shorter IEEE Micro Top Picks Paper : pdf
-------------
, should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.5694
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.4306


********************
 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/<JN> Data/<JN> Recorder/<JN> " 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 ,
-------------
Flight should be:<TI> but:<JN>
<TI> s12:0.3858
<VO> s12:0.0079
<PP> s12:0.0087
<GL> s12:0.0084
<OR> s12:0.0048
<DA> s12:0.0087
<PU> s12:0.016
<JN> s12:0.5263
<AU> s12:0.0142
<FL> s12:0.0071
<NG> s12:0.0062
<DE> s12:0.0058
-------------
Data should be:<TI> but:<JN>
<TI> s12:0.3858
<VO> s12:0.0079
<PP> s12:0.0087
<GL> s12:0.0084
<OR> s12:0.0048
<DA> s12:0.0087
<PU> s12:0.016
<JN> s12:0.5263
<AU> s12:0.0142
<FL> s12:0.0071
<NG> s12:0.0062
<DE> s12:0.0058
-------------
Recorder should be:<TI> but:<JN>
<TI> s12:0.3858
<VO> s12:0.0079
<PP> s12:0.0087
<GL> s12:0.0084
<OR> s12:0.0048
<DA> s12:0.0087
<PU> s12:0.016
<JN> s12:0.5263
<AU> s12:0.0142
<FL> s12:0.0071
<NG> s12:0.0062
<DE> s12:0.0058
-------------
, 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
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Bodik should be:<AU> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<AU> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Mark should be:<AU> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
D. should be:<AU> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Hill should be:<AU> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<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/<OR> , formerly FTCC ) , June 2003 . Paper : pdf Talk : ppt
-------------
DSN should be:<JN> but:<OR>
<TI> s12:0.0271
<VO> s12:0.1006
<PP> s12:0.0773
<GL> s12:0.0909
<OR> s12:0.1292
<DA> s12:0.0754
<PU> s12:0.1254
<JN> s12:0.0878
<AU> s12:0.0253
<FL> s12:0.11
<NG> s12:0.1184
<DE> s12:0.0327


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1108
<DE> s12:0.8892
-------------
866 should be:<NG> but:<DA>
<TI> s12:0.0053
<VO> s12:0.0084
<PP> s12:0.0092
<GL> s12:0.0089
<OR> s12:0.0051
<DA> s12:0.8763
<PU> s12:0.0057
<JN> s12:0.0057
<AU> s12:0.0151
<FL> s12:0.0076
<NG> s12:0.0465
<DE> s12:0.0062
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0053
<VO> s12:0.0084
<PP> s12:0.0092
<GL> s12:0.0089
<OR> s12:0.0051
<DA> s12:0.8763
<PU> s12:0.0057
<JN> s12:0.0057
<AU> s12:0.0151
<FL> s12:0.0076
<NG> s12:0.0465
<DE> s12:0.0062


********************
 Repeater for use in a shared memory computing system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0461
<DE> s12:0.9539
-------------
071 should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0461
<DE> s12:0.9539
-------------
659 should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026


********************
 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 (/<JN> Talk/<JN> to/<JN> computer/<JN> science/<JN> undergraduates/<JN> ) , Mark D. Hill , Several/<TI> venues/<TI> , 2002 - 03 . Abstract : txt Talk : ppt
-------------
( should be:<DE> but:<JN>
<TI> s12:0.0305
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6118
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.3577
-------------
Talk should be:<NG> but:<JN>
<TI> s12:0.0662
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0326
<DA> s12:0
<PU> s12:0
<JN> s12:0.9012
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
to should be:<NG> but:<JN>
<TI> s12:0.0662
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0326
<DA> s12:0
<PU> s12:0
<JN> s12:0.9012
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
computer should be:<NG> but:<JN>
<TI> s12:0.0662
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0326
<DA> s12:0
<PU> s12:0
<JN> s12:0.9012
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
science should be:<NG> but:<JN>
<TI> s12:0.0662
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0326
<DA> s12:0
<PU> s12:0
<JN> s12:0.9012
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
undergraduates should be:<NG> but:<JN>
<TI> s12:0.0662
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0326
<DA> s12:0
<PU> s12:0
<JN> s12:0.9012
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Several should be:<NG> but:<TI>
<TI> s12:0.4475
<VO> s12:0.038
<PP> s12:0.0543
<GL> s12:0.0448
<OR> s12:0.0179
<DA> s12:0.0556
<PU> s12:0.0206
<JN> s12:0.088
<AU> s12:0.0908
<FL> s12:0.0314
<NG> s12:0.0255
<DE> s12:0.0856
-------------
venues should be:<NG> but:<TI>
<TI> s12:0.4475
<VO> s12:0.038
<PP> s12:0.0543
<GL> s12:0.0448
<OR> s12:0.0179
<DA> s12:0.0556
<PU> s12:0.0206
<JN> s12:0.088
<AU> s12:0.0908
<FL> s12:0.0314
<NG> s12:0.0255
<DE> s12:0.0856


********************
 SafetyNet/<OR> : Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint / Recovery ,/<AU> 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 : IEEE/<JN> Talk/<JN> :/<DE> ppt
-------------
SafetyNet should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328
-------------
, should be:<DE> but:<AU>
<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.6096
<FL> s12:0
<NG> s12:0
<DE> s12:0.3904
-------------
IEEE should be:<FL> but:<JN>
<TI> s12:0.0006
<VO> s12:0.001
<PP> s12:0.0011
<GL> s12:0.001
<OR> s12:0.0006
<DA> s12:0.0011
<PU> s12:0.0204
<JN> s12:0.8736
<AU> s12:0.0018
<FL> s12:0.0975
<NG> s12:0.0008
<DE> s12:0.0007
-------------
Talk should be:<FL> but:<JN>
<TI> s12:0.0006
<VO> s12:0.001
<PP> s12:0.0011
<GL> s12:0.001
<OR> s12:0.0006
<DA> s12:0.0011
<PU> s12:0.0204
<JN> s12:0.8736
<AU> s12:0.0018
<FL> s12:0.0975
<NG> s12:0.0008
<DE> s12:0.0007
-------------
: 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.0031
<AU> s12:0
<FL> s12:0.3037
<NG> s12:0
<DE> s12:0.6932


********************
 Slack/<OR> : Maximizing Performance Under Technological Constraints , Brian Fields , Rastislav Bodik , and Mark D. Hill , International Symposium on Computer Architecture ( ISCA ) , 2002 . Paper : pdf Reference : IEEE/<JN> Talk/<JN> :/<DE> ppt
-------------
Slack should be:<TI> but:<OR>
<TI> s12:0.0273
<VO> s12:0.1014
<PP> s12:0.0779
<GL> s12:0.0916
<OR> s12:0.1303
<DA> s12:0.076
<PU> s12:0.1264
<JN> s12:0.0295
<AU> s12:0.0765
<FL> s12:0.1108
<NG> s12:0.1193
<DE> s12:0.033
-------------
IEEE should be:<FL> but:<JN>
<TI> s12:0.0006
<VO> s12:0.001
<PP> s12:0.0011
<GL> s12:0.001
<OR> s12:0.0006
<DA> s12:0.0011
<PU> s12:0.0204
<JN> s12:0.8736
<AU> s12:0.0018
<FL> s12:0.0975
<NG> s12:0.0008
<DE> s12:0.0007
-------------
Talk should be:<FL> but:<JN>
<TI> s12:0.0006
<VO> s12:0.001
<PP> s12:0.0011
<GL> s12:0.001
<OR> s12:0.0006
<DA> s12:0.0011
<PU> s12:0.0204
<JN> s12:0.8736
<AU> s12:0.0018
<FL> s12:0.0975
<NG> s12:0.0008
<DE> s12:0.0007
-------------
: 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.0031
<AU> s12:0
<FL> s12:0.3037
<NG> s12:0
<DE> s12:0.6932


********************
 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/<OR> ) , February 2002 . Paper : pdf Talk : pdf and ppt
-------------
CAECW should be:<JN> but:<OR>
<TI> s12:0.0271
<VO> s12:0.1006
<PP> s12:0.0773
<GL> s12:0.0909
<OR> s12:0.1292
<DA> s12:0.0754
<PU> s12:0.1254
<JN> s12:0.0878
<AU> s12:0.0253
<FL> s12:0.11
<NG> s12:0.1184
<DE> s12:0.0327


********************
 Hybrid memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1303
<DE> s12:0.8697
-------------
854 should be:<NG> but:<DA>
<TI> s12:0.0063
<VO> s12:0.0099
<PP> s12:0.0108
<GL> s12:0.0105
<OR> s12:0.006
<DA> s12:0.8548
<PU> s12:0.0067
<JN> s12:0.0066
<AU> s12:0.0178
<FL> s12:0.0089
<NG> s12:0.0546
<DE> s12:0.0072
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0063
<VO> s12:0.0099
<PP> s12:0.0108
<GL> s12:0.0105
<OR> s12:0.006
<DA> s12:0.8548
<PU> s12:0.0067
<JN> s12:0.0066
<AU> s12:0.0178
<FL> s12:0.0089
<NG> s12:0.0546
<DE> s12:0.0072


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0662
<DE> s12:0.9338
-------------
980 should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.0054
<OR> s12:0.0031
<DA> s12:0.9256
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.0091
<FL> s12:0.0046
<NG> s12:0.0279
<DE> s12:0.0037
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.0054
<OR> s12:0.0031
<DA> s12:0.9256
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.0091
<FL> s12:0.0046
<NG> s12:0.0279
<DE> s12:0.0037


********************
 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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<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
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0


********************
 Facile : 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


********************
 Cache Performance for Selected SPEC CPU2000 Benchmarks , Jason F. Cantin and Mark D. Hill , Computer Architecture News ( CAN/<TI> ) , Spetember/<JN> 2001/<JN> . Reference : ACM
-------------
CAN should be:<JN> but:<TI>
<TI> s12:0.184
<VO> s12:0.0759
<PP> s12:0.0583
<GL> s12:0.0685
<OR> s12:0.0975
<DA> s12:0.0569
<PU> s12:0.0946
<JN> s12:0.1103
<AU> s12:0.0572
<FL> s12:0.0829
<NG> s12:0.0893
<DE> s12:0.0247
-------------
Spetember should be:<DA> but:<JN>
<TI> s12:0.0789
<VO> s12:0.0004
<PP> s12:0
<GL> s12:0.0014
<OR> s12:0.0005
<DA> s12:0.2216
<PU> s12:0
<JN> s12:0.6899
<AU> s12:0.0062
<FL> s12:0.0006
<NG> s12:0.0004
<DE> s12:0
-------------
2001 should be:<DA> but:<JN>
<TI> s12:0.0789
<VO> s12:0.0004
<PP> s12:0
<GL> s12:0.0014
<OR> s12:0.0005
<DA> s12:0.2216
<PU> s12:0
<JN> s12:0.6899
<AU> s12:0.0062
<FL> s12:0.0006
<NG> s12:0.0004
<DE> s12:0


********************
 Skewed finite hashing function , Erik E. Hagersten and Mark D. Hill , United States Patent 6 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1049
<DE> s12:0.8951
-------------
246 should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.008
<PP> s12:0.0088
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8913
<PU> s12:0.0054
<JN> s12:0.0054
<AU> s12:0.0048
<FL> s12:0.0073
<NG> s12:0.0445
<DE> s12:0.0059
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.008
<PP> s12:0.0088
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8913
<PU> s12:0.0054
<JN> s12:0.0054
<AU> s12:0.0048
<FL> s12:0.0073
<NG> s12:0.0445
<DE> s12:0.0059


********************
 Hybrid memory access protocol in a distributed shared memory computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 6 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0461
<DE> s12:0.9539
-------------
742 should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0022
<VO> s12:0.0035
<PP> s12:0.0038
<GL> s12:0.0112
<OR> s12:0.0021
<DA> s12:0.941
<PU> s12:0.0024
<JN> s12:0.0024
<AU> s12:0.0063
<FL> s12:0.0032
<NG> s12:0.0194
<DE> s12:0.0026


********************
 Shared memory system for symmetric multiprocessor systems , Erik E. Hagersten and Mark D. Hill , United States Patent 6 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1013
<DE> s12:0.8987
-------------
671 should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056


********************
 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.0473
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9527
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0.0473
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9527
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.0473
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9527
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.0473
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9527
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Near should be:<NG> but:<FL>
<TI> s12:0.0002
<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.9998
<NG> s12:0
<DE> s12:0
-------------
- should be:<NG> but:<FL>
<TI> s12:0.0002
<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.9998
<NG> s12:0
<DE> s12:0
-------------
final should be:<NG> but:<FL>
<TI> s12:0.0002
<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.9998
<NG> s12:0
<DE> s12:0
-------------
versions should be:<NG> but:<FL>
<TI> s12:0.0002
<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.9998
<NG> s12:0
<DE> s12:0
-------------
of should be:<NG> but:<FL>
<TI> s12:0.0002
<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.9998
<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.9998
<NG> s12:0
<DE> s12:0.0002
-------------
: 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.9998
<NG> s12:0
<DE> s12:0.0002


********************
 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> : 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 on Principles of Distributed Computing ( PODC ) , July 2000 . Abstract : pdf Talk : ppt
-------------
How should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Trends should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
May should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Affect should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Future should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Distributed should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<TI> but:<JN>
<TI> s12:0.1743
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8257
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Keynote should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
talk should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
researchers should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
theoretical should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
aspects should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
distributed should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
systems should be:<NG> but:<JN>
<TI> s12:0.0084
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9916
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 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/<FL> ) , November 2000 . Paper : pdf and ps Reference : ACM Talk : pdf
-------------
ASPLOS should be:<JN> but:<FL>
<TI> s12:0.0194
<VO> s12:0.0721
<PP> s12:0.0554
<GL> s12:0.0651
<OR> s12:0.0926
<DA> s12:0.054
<PU> s12:0.0898
<JN> s12:0.1887
<AU> s12:0.0181
<FL> s12:0.2364
<NG> s12:0.0848
<DE> s12:0.0234


********************
 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 ,/<AU> Dept/<OR> . of Computer Sciences Technical Report CS - TR - 2000 - 1420 , October 2000 . Technical Report : pdf and ps
-------------
, should be:<DE> but:<AU>
<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.5195
<FL> s12:0
<NG> s12:0
<DE> s12:0.4805
-------------
Dept should be:<JN> but:<OR>
<TI> s12:0.0099
<VO> s12:0.0369
<PP> s12:0.0283
<GL> s12:0.0333
<OR> s12:0.6162
<DA> s12:0.0277
<PU> s12:0.046
<JN> s12:0.0966
<AU> s12:0.0093
<FL> s12:0.0403
<NG> s12:0.0434
<DE> s12:0.012


********************
 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 :/<TI> Papers/<JN> 1/<JN> -/<JN> 13/<JN> , Institute/<TI> for/<TI> Defense/<TI> Analysis/<TI> ( IDA/<OR> )/<DE> Paper/<NG> P/<NG> -/<NG> 3531/<NG> , 2000 . Technical Report : pdf Talk : ppt
-------------
In should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Science should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Study should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Group should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
1998 should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
1999 should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
: should be:<VO> but:<TI>
<TI> s12:0.6417
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1583
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2
-------------
Papers should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
1 should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
- should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
13 should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
Institute should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
Analysis should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
IDA should be:<JN> but:<OR>
<TI> s12:0.0273
<VO> s12:0.1014
<PP> s12:0.0779
<GL> s12:0.0916
<OR> s12:0.1303
<DA> s12:0.076
<PU> s12:0.1264
<JN> s12:0.0295
<AU> s12:0.0765
<FL> s12:0.1108
<NG> s12:0.1193
<DE> s12:0.033
-------------
) should be:<JN> but:<DE>
<TI> s12:0.0024
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2343
<AU> s12:0
<FL> s12:0
<NG> s12:0.0003
<DE> s12:0.763
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
P should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
- should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
3531 should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036


********************
 Formation of a National Entity for Information Infrastructure Protection , Geoffrey C. Orsak , Mark D. Hill , and Robin R. Murphy , In/<TI> Defense/<TI> Science/<TI> Study/<TI> Group/<TI> 1998/<TI> -/<TI> 1999/<TI> , Volume 1 :/<TI> Papers/<JN> 1/<JN> -/<JN> 13/<JN> , Institute/<TI> for/<TI> Defense/<TI> Analysis/<TI> ( IDA/<OR> )/<DE> Paper/<NG> P/<NG> -/<NG> 3531/<NG> , 2000 . Technical Report : pdf
-------------
In should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Science should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Study should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
Group should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
1998 should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
1999 should be:<JN> but:<TI>
<TI> s12:0.9225
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0067
<DA> s12:0
<PU> s12:0.0006
<JN> s12:0.0694
<AU> s12:0
<FL> s12:0
<NG> s12:0.0006
<DE> s12:0
-------------
: should be:<VO> but:<TI>
<TI> s12:0.6417
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1583
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2
-------------
Papers should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
1 should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
- should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
13 should be:<VO> but:<JN>
<TI> s12:0.1094
<VO> s12:0.0464
<PP> s12:0.0664
<GL> s12:0.0548
<OR> s12:0.0219
<DA> s12:0.068
<PU> s12:0.0252
<JN> s12:0.3227
<AU> s12:0.111
<FL> s12:0.0384
<NG> s12:0.0312
<DE> s12:0.1046
-------------
Institute should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
Defense should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
Analysis should be:<JN> but:<TI>
<TI> s12:0.9362
<VO> s12:0.0001
<PP> s12:0
<GL> s12:0
<OR> s12:0.016
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0465
<AU> s12:0
<FL> s12:0.0001
<NG> s12:0.0007
<DE> s12:0
-------------
IDA should be:<JN> but:<OR>
<TI> s12:0.0273
<VO> s12:0.1014
<PP> s12:0.0779
<GL> s12:0.0916
<OR> s12:0.1303
<DA> s12:0.076
<PU> s12:0.1264
<JN> s12:0.0295
<AU> s12:0.0765
<FL> s12:0.1108
<NG> s12:0.1193
<DE> s12:0.033
-------------
) should be:<JN> but:<DE>
<TI> s12:0.0024
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.2343
<AU> s12:0
<FL> s12:0
<NG> s12:0.0003
<DE> s12:0.763
-------------
Paper should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
P should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
- should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036
-------------
3531 should be:<JN> but:<NG>
<TI> s12:0.0031
<VO> s12:0.0049
<PP> s12:0.0054
<GL> s12:0.0053
<OR> s12:0.003
<DA> s12:0.0054
<PU> s12:0.0033
<JN> s12:0.0698
<AU> s12:0.0622
<FL> s12:0.058
<NG> s12:0.776
<DE> s12:0.0036


********************
 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/<JN> 1999/<JN> . Paper : pdf and ps Talk : ppt
-------------
Spetember should be:<DA> but:<JN>
<TI> s12:0.0789
<VO> s12:0.0004
<PP> s12:0
<GL> s12:0.0014
<OR> s12:0.0005
<DA> s12:0.2216
<PU> s12:0
<JN> s12:0.6899
<AU> s12:0.0062
<FL> s12:0.0006
<NG> s12:0.0004
<DE> s12:0
-------------
1999 should be:<DA> but:<JN>
<TI> s12:0.0789
<VO> s12:0.0004
<PP> s12:0
<GL> s12:0.0014
<OR> s12:0.0005
<DA> s12:0.2216
<PU> s12:0
<JN> s12:0.6899
<AU> s12:0.0062
<FL> s12:0.0006
<NG> s12:0.0004
<DE> s12:0


********************
 A System - Level Specification Framework for I / O Architectures , 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


********************
 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 , 951 ,/<DE> 657/<DA> issued/<DA> September 14 , 1999 . ( NOTE : U. S. patents other than this one are the result of Hill 's sabbatical (/<DE> 1995/<DA> -/<DA> 1996/<DA> )/<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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1068
<DE> s12:0.8932
-------------
657 should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.0081
<PP> s12:0.0089
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8807
<PU> s12:0.0055
<JN> s12:0.0055
<AU> s12:0.0146
<FL> s12:0.0073
<NG> s12:0.0449
<DE> s12:0.0059
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.0081
<PP> s12:0.0089
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8807
<PU> s12:0.0055
<JN> s12:0.0055
<AU> s12:0.0146
<FL> s12:0.0073
<NG> s12:0.0449
<DE> s12:0.0059
-------------
( 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:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:1
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:1
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
1996 should be:<NG> but:<DA>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:1
<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.0001
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9999
-------------
and should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9996
<JN> s12:0.0002
<AU> s12:0.0001
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
consulting should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9996
<JN> s12:0.0002
<AU> s12:0.0001
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
at should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9996
<JN> s12:0.0002
<AU> s12:0.0001
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Sun should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9996
<JN> s12:0.0002
<AU> s12:0.0001
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Microsystems should be:<NG> but:<PU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0.9996
<JN> s12:0.0002
<AU> s12:0.0001
<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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0662
<DE> s12:0.9338
-------------
860 should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.016
<OR> s12:0.003
<DA> s12:0.9158
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.009
<FL> s12:0.0045
<NG> s12:0.0277
<DE> s12:0.0037
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.016
<OR> s12:0.003
<DA> s12:0.9158
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.009
<FL> s12:0.0045
<NG> s12:0.0277
<DE> s12:0.0037


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.062
<DE> s12:0.938
-------------
847 should be:<NG> but:<DA>
<TI> s12:0.003
<VO> s12:0.0047
<PP> s12:0.0052
<GL> s12:0.005
<OR> s12:0.0029
<DA> s12:0.9303
<PU> s12:0.0032
<JN> s12:0.0032
<AU> s12:0.0085
<FL> s12:0.0043
<NG> s12:0.0262
<DE> s12:0.0035
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.003
<VO> s12:0.0047
<PP> s12:0.0052
<GL> s12:0.005
<OR> s12:0.0029
<DA> s12:0.9303
<PU> s12:0.0032
<JN> s12:0.0032
<AU> s12:0.0085
<FL> s12:0.0043
<NG> s12:0.0262
<DE> s12:0.0035


********************
 Skip - level write - through in a multi - level memory of a computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1013
<DE> s12:0.8987
-------------
907 should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056


********************
 Efficient allocation of cache memory space in a computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0662
<DE> s12:0.9338
-------------
150 should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.0054
<OR> s12:0.0031
<DA> s12:0.9256
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.0091
<FL> s12:0.0046
<NG> s12:0.0279
<DE> s12:0.0037
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.0054
<OR> s12:0.0031
<DA> s12:0.9256
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.0091
<FL> s12:0.0046
<NG> s12:0.0279
<DE> s12:0.0037


********************
 Multiprocessor system configured to detect and efficiently provide for migratory data access patterns , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0919
<DE> s12:0.9081
-------------
922 should be:<NG> but:<DA>
<TI> s12:0.0044
<VO> s12:0.007
<PP> s12:0.0077
<GL> s12:0.0074
<OR> s12:0.0042
<DA> s12:0.8971
<PU> s12:0.0047
<JN> s12:0.0047
<AU> s12:0.0126
<FL> s12:0.0063
<NG> s12:0.0387
<DE> s12:0.0051
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0044
<VO> s12:0.007
<PP> s12:0.0077
<GL> s12:0.0074
<OR> s12:0.0042
<DA> s12:0.8971
<PU> s12:0.0047
<JN> s12:0.0047
<AU> s12:0.0126
<FL> s12:0.0063
<NG> s12:0.0387
<DE> s12:0.0051


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1198
<DE> s12:0.8802
-------------
117 should be:<NG> but:<DA>
<TI> s12:0.0058
<VO> s12:0.0092
<PP> s12:0.0101
<GL> s12:0.0098
<OR> s12:0.0056
<DA> s12:0.8759
<PU> s12:0.0062
<JN> s12:0.0062
<AU> s12:0.0055
<FL> s12:0.0083
<NG> s12:0.0508
<DE> s12:0.0067
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0058
<VO> s12:0.0092
<PP> s12:0.0101
<GL> s12:0.0098
<OR> s12:0.0056
<DA> s12:0.8759
<PU> s12:0.0062
<JN> s12:0.0062
<AU> s12:0.0055
<FL> s12:0.0083
<NG> s12:0.0508
<DE> s12:0.0067


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1946
<DE> s12:0.8054
-------------
671 should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107


********************
 Hierarchical SMP computer system , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1946
<DE> s12:0.8054
-------------
357 should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1946
<DE> s12:0.8054
-------------
109 should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0093
<VO> s12:0.0146
<PP> s12:0.016
<GL> s12:0.0155
<OR> s12:0.0088
<DA> s12:0.7851
<PU> s12:0.0099
<JN> s12:0.0098
<AU> s12:0.0263
<FL> s12:0.0132
<NG> s12:0.0808
<DE> s12:0.0107


********************
 Guest/<NG> Editor/<NG> 's/<NG> Introduction/<NG> :/<DE> 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 .
-------------
Guest should be:<TI> but:<NG>
<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
<NG> s12:0.9998
<DE> s12:0
-------------
Editor should be:<TI> but:<NG>
<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
<NG> s12:0.9998
<DE> s12:0
-------------
's should be:<TI> but:<NG>
<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
<NG> s12:0.9998
<DE> s12:0
-------------
Introduction should be:<TI> but:<NG>
<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
<NG> s12:0.9998
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.0791
<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.9209
-------------
Andrew should be:<AU> but:<TI>
<TI> s12:0.997
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
A. should be:<AU> but:<TI>
<TI> s12:0.997
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Chien should be:<AU> but:<TI>
<TI> s12:0.997
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.003
<AU> s12:0
<FL> s12:0
<NG> s12:0
<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
<FL> s12:0
<NG> s12:0
<DE> s12:1


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


********************
 Sirocco/<OR> : 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
-------------
Sirocco should be:<TI> but:<OR>
<TI> s12:0.0817
<VO> s12:0.101
<PP> s12:0.0776
<GL> s12:0.0913
<OR> s12:0.1298
<DA> s12:0.0757
<PU> s12:0.1259
<JN> s12:0.0294
<AU> s12:0.0254
<FL> s12:0.1104
<NG> s12:0.1189
<DE> s12:0.0328


********************
 A Retrospective on " 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 ,/<AU> editor , ACM Press ) , 1998 . Paper : pdf and ps . Reference : ACM
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0.0001
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.8409
<FL> s12:0
<NG> s12:0
<DE> s12:0.159


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


********************
 Lamport/<AU> Clocks/<AU> : 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
-------------
Lamport should be:<TI> but:<AU>
<TI> s12:0.1087
<VO> s12:0.0461
<PP> s12:0.066
<GL> s12:0.0544
<OR> s12:0.0218
<DA> s12:0.0675
<PU> s12:0.025
<JN> s12:0.1068
<AU> s12:0.3306
<FL> s12:0.0382
<NG> s12:0.031
<DE> s12:0.1039
-------------
Clocks should be:<TI> but:<AU>
<TI> s12:0.1087
<VO> s12:0.0461
<PP> s12:0.066
<GL> s12:0.0544
<OR> s12:0.0218
<DA> s12:0.0675
<PU> s12:0.025
<JN> s12:0.1068
<AU> s12:0.3306
<FL> s12:0.0382
<NG> s12:0.031
<DE> s12:0.1039


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1108
<DE> s12:0.8892
-------------
906 should be:<NG> but:<DA>
<TI> s12:0.0053
<VO> s12:0.0084
<PP> s12:0.0092
<GL> s12:0.0089
<OR> s12:0.0051
<DA> s12:0.8763
<PU> s12:0.0057
<JN> s12:0.0057
<AU> s12:0.0151
<FL> s12:0.0076
<NG> s12:0.0465
<DE> s12:0.0062
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0053
<VO> s12:0.0084
<PP> s12:0.0092
<GL> s12:0.0089
<OR> s12:0.0051
<DA> s12:0.8763
<PU> s12:0.0057
<JN> s12:0.0057
<AU> s12:0.0151
<FL> s12:0.0076
<NG> s12:0.0465
<DE> s12:0.0062


********************
 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 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1049
<DE> s12:0.8951
-------------
034 should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.008
<PP> s12:0.0088
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8913
<PU> s12:0.0054
<JN> s12:0.0054
<AU> s12:0.0048
<FL> s12:0.0073
<NG> s12:0.0445
<DE> s12:0.0059
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.008
<PP> s12:0.0088
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8913
<PU> s12:0.0054
<JN> s12:0.0054
<AU> s12:0.0048
<FL> s12:0.0073
<NG> s12:0.0445
<DE> s12:0.0059


********************
 Efficient storage of data in computer systmes with multiple cache levels , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1068
<DE> s12:0.8932
-------------
563 should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.0081
<PP> s12:0.0089
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8807
<PU> s12:0.0055
<JN> s12:0.0055
<AU> s12:0.0146
<FL> s12:0.0073
<NG> s12:0.0449
<DE> s12:0.0059
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0051
<VO> s12:0.0081
<PP> s12:0.0089
<GL> s12:0.0086
<OR> s12:0.0049
<DA> s12:0.8807
<PU> s12:0.0055
<JN> s12:0.0055
<AU> s12:0.0146
<FL> s12:0.0073
<NG> s12:0.0449
<DE> s12:0.0059


********************
 Extended symmetrical multiprocessor address mapping , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0662
<DE> s12:0.9338
-------------
605 should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.016
<OR> s12:0.003
<DA> s12:0.9158
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.009
<FL> s12:0.0045
<NG> s12:0.0277
<DE> s12:0.0037
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0032
<VO> s12:0.005
<PP> s12:0.0055
<GL> s12:0.016
<OR> s12:0.003
<DA> s12:0.9158
<PU> s12:0.0034
<JN> s12:0.0034
<AU> s12:0.009
<FL> s12:0.0045
<NG> s12:0.0277
<DE> s12:0.0037
-------------
I should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
was should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
officially should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
added should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
as should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
a should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
co should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
- should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
inventor should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
on should be:<NG> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
June should be:<DA> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<DE> s12:0
-------------
27 should be:<DA> but:<TI>
<TI> s12:0.9742
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0076
<AU> s12:0
<FL> s12:0.0179
<NG> s12:0.0002
<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.0053
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9947
-------------
correcting should be:<NG> but:<TI>
<TI> s12:0.9726
<VO> s12:0.0003
<PP> s12:0.0003
<GL> s12:0.0003
<OR> s12:0.0005
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0048
<AU> s12:0.0002
<FL> s12:0.0169
<NG> s12:0.0035
<DE> s12:0.0002
-------------
a should be:<NG> but:<TI>
<TI> s12:0.9726
<VO> s12:0.0003
<PP> s12:0.0003
<GL> s12:0.0003
<OR> s12:0.0005
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0048
<AU> s12:0.0002
<FL> s12:0.0169
<NG> s12:0.0035
<DE> s12:0.0002
-------------
filing should be:<NG> but:<TI>
<TI> s12:0.9726
<VO> s12:0.0003
<PP> s12:0.0003
<GL> s12:0.0003
<OR> s12:0.0005
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0048
<AU> s12:0.0002
<FL> s12:0.0169
<NG> s12:0.0035
<DE> s12:0.0002
-------------
error should be:<NG> but:<TI>
<TI> s12:0.9726
<VO> s12:0.0003
<PP> s12:0.0003
<GL> s12:0.0003
<OR> s12:0.0005
<DA> s12:0.0003
<PU> s12:0.0002
<JN> s12:0.0048
<AU> s12:0.0002
<FL> s12:0.0169
<NG> s12:0.0035
<DE> s12:0.0002


********************
 Extended symmetrical multiprocessor architecture , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.1013
<DE> s12:0.8987
-------------
877 should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0049
<VO> s12:0.0077
<PP> s12:0.0085
<GL> s12:0.0082
<OR> s12:0.0047
<DA> s12:0.8867
<PU> s12:0.0052
<JN> s12:0.0052
<AU> s12:0.0139
<FL> s12:0.007
<NG> s12:0.0426
<DE> s12:0.0056


********************
 Multiprocessing system configured to detect and efficiently provide for migratory data access patterns , Erik E. Hagersten and Mark D. Hill , United States Patent 5 , 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
<AU> s12:0
<FL> s12:0
<NG> s12:0.0919
<DE> s12:0.9081
-------------
922 should be:<NG> but:<DA>
<TI> s12:0.0044
<VO> s12:0.007
<PP> s12:0.0077
<GL> s12:0.0074
<OR> s12:0.0042
<DA> s12:0.8971
<PU> s12:0.0047
<JN> s12:0.0047
<AU> s12:0.0126
<FL> s12:0.0063
<NG> s12:0.0387
<DE> s12:0.0051
-------------
issued should be:<NG> but:<DA>
<TI> s12:0.0044
<VO> s12:0.007
<PP> s12:0.0077
<GL> s12:0.0074
<OR> s12:0.0042
<DA> s12:0.8971
<PU> s12:0.0047
<JN> s12:0.0047
<AU> s12:0.0126
<FL> s12:0.0063
<NG> s12:0.0387
<DE> s12:0.0051


********************
 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 (/<DE> PPoPP/<OR> ) , June 1997 . Paper : pdf and ps . 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.2652
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.7348
-------------
PPoPP should be:<JN> but:<OR>
<TI> s12:0.0271
<VO> s12:0.1006
<PP> s12:0.0773
<GL> s12:0.0909
<OR> s12:0.1292
<DA> s12:0.0754
<PU> s12:0.1254
<JN> s12:0.0878
<AU> s12:0.0253
<FL> s12:0.11
<NG> s12:0.1184
<DE> s12:0.0327


********************
 Parallel Computer Research in the Wisconsin Wind Tunnel Project , Mark D. Hill , James R. Larus , and David A. Wood , NSF Conference on Experimental Research in Computer Systems , June 1996 . Paper : pdf and ps


********************
 Bidirectional Technology Transfer : Sabbaticals/<JN> in/<JN> Industry/<JN> , Mark D. Hill , NSF Conference on Experimental Research in Computer Systems , June 1996 . Reprinted in Computing Research News , November 1997 . Paper : pdf and ps
-------------
Sabbaticals should be:<TI> but:<JN>
<TI> s12:0.4255
<VO> s12:0.0004
<PP> s12:0.0004
<GL> s12:0.0011
<OR> s12:0.0006
<DA> s12:0.0027
<PU> s12:0.0022
<JN> s12:0.5266
<AU> s12:0.0058
<FL> s12:0.0029
<NG> s12:0.0314
<DE> s12:0.0003
-------------
in should be:<TI> but:<JN>
<TI> s12:0.4255
<VO> s12:0.0004
<PP> s12:0.0004
<GL> s12:0.0011
<OR> s12:0.0006
<DA> s12:0.0027
<PU> s12:0.0022
<JN> s12:0.5266
<AU> s12:0.0058
<FL> s12:0.0029
<NG> s12:0.0314
<DE> s12:0.0003
-------------
Industry should be:<TI> but:<JN>
<TI> s12:0.4255
<VO> s12:0.0004
<PP> s12:0.0004
<GL> s12:0.0011
<OR> s12:0.0006
<DA> s12:0.0027
<PU> s12:0.0022
<JN> s12:0.5266
<AU> s12:0.0058
<FL> s12:0.0029
<NG> s12:0.0314
<DE> s12:0.0003


********************
 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

