BibSonomy :: author  ::

bookmarks

publications

(1193)

• Accelerating advanced mri reconstructions on gpus.
  Sam S. Stone and Justin P. Haldar and Stephanie C. Tsao and Wen mei W. Hwu and Zhi-Pei Liang and Bradley P. Sutton Conf. Computing Frontiers 261-272 (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Stochastic Process Algebra Models of a Circadian Clock.
  Jeremy T. Bradley and Thomas Thorne Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
  Grégory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermanns and Jane Hillston and Peter Kemper and Alke Martens and Pieter J. Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• BlueTrust in a Real World.
  Bradley Markides and Marijke Coetzee ARES 440-445 (2008)
  to dblp by dblp on 2008-05-11 00:00:00
  | URL | BibTeX  
• Bridging the Gap? Mobile Phones at the Interface Between Informal and Formal Learning
  John Cook and Norbert Pachler and Claire Bradley Journal of the Research Center for Educational Technology 4 (2008)
  to informal_learning m-learning by weilandp on 2008-05-08 20:35:10
  | URL | BibTeX  
• Policies, grids and autonomic computing.
  Bradley Simmons and Hanan Lutfiyya ACM SIGSOFT Software Engineering Notes 30 1-5 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Improving system dependability by enforcing architectural intent.
  Marwan Abi-Antoun and Jonathan Aldrich and David Garlan and Bradley R. Schmerl and Nagi Nahas and Tony Tseng ACM SIGSOFT Software Engineering Notes 30 1-7 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Trust Management and Negotiation for Attestation in Trusted Platforms Using Web Services.
  Aarthi Nagarajan and Vijay Varadharajan and Michael Hitchens PDCAT 453-460 (2007)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Analysis of Algorithm Selection for Optimizing Collective Communication with MPICH for Ethernet and Myrinet Networks.
  Paul D. Coddington PDCAT 133-140 (2007)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• A Simple Efficient Electronic Auction Scheme.
  Wen Chen and Feiyu Lei PDCAT 173-174 (2007)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX