The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve McKeever: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig
    OGSA-based grid workload monitoring. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:668-675 [Conf]
  2. Steve McKeever, Wayne Luk
    Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:212-227 [Conf]
  3. Steve McKeever, Wayne Luk, Arran Derbyshire
    Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:342-359 [Conf]
  4. Florent de Dinechin, Wayne Luk, Steve McKeever
    Towards Adaptable Hierarchical Placement for FPGAs. [Citation Graph (0, 0)][DBLP]
    FPGA, 1999, pp:254- [Conf]
  5. Wayne Luk, Steve McKeever
    Pebble: A Language for Parametrised and Reconfigurable Hardware Design. [Citation Graph (0, 0)][DBLP]
    FPL, 1998, pp:9-18 [Conf]
  6. Steve McKeever, Wayne Luk, Arran Derbyshire
    Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:279- [Conf]
  7. Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
    On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:628-633 [Conf]
  8. Jonathan Cooper, Steve McKeever, Alan Garny
    On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:12-20 [Conf]
  9. Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens
    Performance problem localization in self-healing, service-oriented systems using Bayesian networks. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:104-109 [Conf]
  10. Steve McKeever, Wayne Luk
    Provably-correct hardware compilation tools based on pass separation techniques. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:2, pp:120-142 [Journal]
  11. Jonathan Cooper, Steve McKeever
    Experience report: a Haskell interpreter for cellML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:247-250 [Conf]

  12. euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart. [Citation Graph (, )][DBLP]


  13. Array Synthesis in SystemC Hardware Compilation. [Citation Graph (, )][DBLP]


  14. Integrating multi-level molecular simulations across heterogeneous resources. [Citation Graph (, )][DBLP]


  15. Checking concurrent contracts with aspects. [Citation Graph (, )][DBLP]


  16. Scalable problem localization for distributed systems: principles and practices. [Citation Graph (, )][DBLP]


  17. A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002