BibSonomy :: author  ::

bookmarks

publications

(452)

• DFM in practice: hit or hype?
  Juan C. Rey and N. S. Nagaraj and Andrew B. Kahng and Fabian Klass and Rob Aitken and Cliff Hou and Luigi Capodieci and Vivek Singh DAC 898-899 (2008)
  to dblp by dblp on 2008-11-10 00:00:00
  | URL | BibTeX  
• A computational approach to the covert and overt deployment of spatial attention
  Jérémy Fix and Nicolas P. Rougier and Frédéric Alexandre CoRR abs/0809.4622 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• MAPS: an integrated framework for MPSoC application parallelization.
  Jianjiang Ceng and Jerónimo Castrillón and Weihua Sheng and Hanno Scharwächter and Rainer Leupers and Gerd Ascheid and Heinrich Meyr and Tsuyoshi Isshiki and Hiroaki Kunieda DAC 754-759 (2008)
  to dblp by dblp on 2008-09-25 00:00:00
  | URL | BibTeX  
• Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
  Limor Fix ISoLA (Preliminary proceedings) 189-189 (2004)
  to dblp by dblp on 2008-09-11 00:00:00
  | URL | BibTeX  
• Fifteen Years of Formal Property Verification in Intel.
  Limor Fix 25 Years of Model Checking 139-144 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• A MIPS R2000 implementation.
  Nathaniel Ross Pinckney and Thomas Barr and Michael Dayringer and Matthew McKnett and Nan Jiang and Carl Nygaard and David Money Harris and Joel Stanley and Braden Phillips DAC 102-107 (2008)
  to dblp by dblp on 2008-09-04 00:00:00
  | URL | BibTeX  
• Interactive Search of Adipocytes in Large Collections of Digital Cellular Images.
  Adam Goode and Mei Chen and Anil Tarachandam and Lily Mummerr and Rahul Sukthankar and Casey Helfrich and Alice Stefanni and Limor Fix and Jeffrey Saltzman and Mahadev Satyanarayanan ICME 695-698 (2007)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Will Moore's Law rule in the land of analog?
  Rob A. Rutenbar and Anthony R. Bonaccio and Teresa H. Y. Meng and Ernesto Perea and Robert Pitts and Charles Sodini and Jim Wieser DAC 633 (2004)
  to dblp by dblp on 2008-08-20 00:00:00
  | URL | BibTeX  
• IntellBatt: towards smarter battery design.
  Suman Kalyan Mandal and Praveen Bhojwani and Saraju P. Mohanty and Rabi N. Mahapatra DAC 872-877 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Design and implementation of the POWER5 microprocessor.
  Joachim G. Clabes and Joshua Friedrich and Mark Sweet and Jack DiLullo and Sam Chu and Donald W. Plass and James Dawson and Paul Muench and Larry Powell and Michael S. Floyd and Balaram Sinharoy and Mike Lee and Michael Goulet and James Wagoner and Nicole S. Schwartz and Stephen L. Runyon and Gary Gorman and Phillip Restle and Ronald N. Kalla and Joseph McGill and Steve Dodson DAC 670-672 (2004)
  to dblp by dblp on 2008-08-13 00:00:00
  | URL | BibTeX