Search the dblp DataBase

Publications of Author

1. Scott W. Brown, Mark A. Boyer, Hayley J. Mayall, Paula R. Johnson, Lin Meng, Michael Butler, Kimberley Weir, Natalie Florea, Sally Reis
   Global Education via the Web: The GloablEd Project. [Citation Graph (0, 0)][DBLP]
   ICCE, 2002, pp:367-368 [Conf]
   
2. Michael Butler, Yale N. Patt
   An Area-Efficient Register Alias Table for Implementing HPS. [Citation Graph (0, 0)][DBLP]
   ICPP (1), 1990, pp:611-612 [Conf]
   
3. Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow
   Single Instruction Stream Parallelism is Greater Than Two. [Citation Graph (0, 0)][DBLP]
   ISCA, 1991, pp:276-286 [Conf]
   
4. Michael Butler, Yale N. Patt
   The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
   MICRO, 1991, pp:34-41 [Conf]
   
5. Michael Butler, Yale N. Patt
   An investigation of the performance of various dynamic scheduling techniques. [Citation Graph (0, 0)][DBLP]
   MICRO, 1992, pp:1-9 [Conf]
   
6. Michael Butler, Yale N. Patt
   A comparative performance evaluation of various state maintenance mechanisms. [Citation Graph (0, 0)][DBLP]
   MICRO, 1993, pp:70-79 [Conf]
   
7. Divakar Yadav, Michael Butler
   Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. [Citation Graph (0, 0)][DBLP]
   RODIN Book, 2006, pp:343-363 [Conf]
   
8. Eerke A. Boiten, Michael Butler
   Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:263- [Journal]
   
9. Paul Huck, Michael Butler, Amar Gupta, Michael Feng
   A self-configuring and self-administering name system with dynamic address assignment. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Internet Techn., 2002, v:2, n:1, pp:14-46 [Journal]
   
10. Colin Snook, Michael Butler
    UML-B: Formal modeling and design aided by UML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:1, pp:92-122 [Journal]
    
11. 
    Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. [Citation Graph (, )][DBLP]
    
    
12. 
    On an Extensible Rule-Based Prover for Event-B. [Citation Graph (, )][DBLP]
    
    
13. 
    A Basis for Feature-Oriented Modelling in Event-B. [Citation Graph (, )][DBLP]
    
    
14. 
    Supporting Reuse of Event-B Developments through Generic Instantiation. [Citation Graph (, )][DBLP]
    
    
15. 
    Decomposition Structures for Event-B. [Citation Graph (, )][DBLP]
    
    
16. 
    Verification of Liveness Properties in Distributed Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Linking Event-B and Concurrent Object-Oriented Programs. [Citation Graph (, )][DBLP]