[gforth] / res / res.bib  

gforth: res/res.bib

Diff for /res/res.bib between version 1.3 and 1.5

version 1.3, Wed Jun 24 14:31:51 2009 UTC version 1.5, Sun Jun 28 15:01:57 2009 UTC
Line 1 
Line 1 
 @article{Hoare,  @article{Hoare03,
  author = {Tony Hoare},   author = {Tony Hoare},
  title = {The verifying compiler: A grand challenge for computing research},   title = {The verifying compiler: A grand challenge for computing research},
  journal = {Journal of the ACM},   journal = {Journal of the ACM},
Line 12 
Line 12 
  address = {New York, NY, USA},   address = {New York, NY, USA},
  }   }
   
  @article{1328444,  @inproceedings{TristanLeroy09,
    author = {Jean-Baptiste Tristan and Xavier Leroy},
    title = {Verified Validation of Lazy Code Motion},
    booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
    year = {2009},
    isbn = {978-1-60558-392-1},
    pages = {316--326},
    location = {Dublin, Ireland},
    doi = {http://doi.acm.org/10.1145/1542476.1542512},
    publisher = {ACM},
    address = {New York, NY, USA},
    }
   
   @inproceedings{Kundu+09,
    author = {Sudipta Kundu and Zachary Tatlock and Sorin Lerner},
    title = {Proving Optimizations Correct using Parameterized Program Equivalence},
    booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
    year = {2009},
    isbn = {978-1-60558-392-1},
    pages = {327--337},
    location = {Dublin, Ireland},
    doi = {http://doi.acm.org/10.1145/1542476.1542513},
    publisher = {ACM},
    address = {New York, NY, USA},
    }
   
   @inproceedings{Necula00,
    author = {George C. Necula},
    title = {Translation Validation for an Optimizing Compiler},
    booktitle = {PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation},
    year = {2000},
    isbn = {1-58113-199-2},
    pages = {83--94},
    location = {Vancouver, British Columbia, Canada},
    doi = {http://doi.acm.org/10.1145/349299.349314},
    publisher = {ACM},
    address = {New York, NY, USA},
    }
   
   @article{TristanLeroy08,
  author = {Jean-Baptiste Tristan and Xavier Leroy},   author = {Jean-Baptiste Tristan and Xavier Leroy},
  title = {Formal verification of translation validators: a case study on instruction scheduling optimizations},   title = {Formal verification of translation validators: a case study on instruction scheduling optimizations},
  journal = {SIGPLAN Not.},   journal = {SIGPLAN Not.},
Line 26 
Line 65 
  address = {New York, NY, USA},   address = {New York, NY, USA},
  }   }
   
  @article{1314860,  @inproceedings{ZaksPnueli08,
    author = {Anna Zaks and Amir Pnueli},
    title = {Program Analysis for Compiler Validation},
    booktitle = {PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
    year = {2008},
    isbn = {978-1-60558-382-2},
    pages = {1--7},
    location = {Atlanta, Georgia},
    doi = {http://doi.acm.org/10.1145/1512475.1512477},
    publisher = {ACM},
    address = {New York, NY, USA},
    }
   
   @inproceedings{Pnueli98b,
    author = {Amir Pnueli and Michael Siegel and Eli Singerman},
    title = {Translation Validation},
    booktitle = {TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems},
    year = {1998},
    isbn = {3-540-64356-7},
    pages = {151--166},
    publisher = {Springer-Verlag},
    address = {London, UK},
    }
   
   @Article{Pnueli98a,
     author =      "Amir Pnueli and Ofer Shtrichman and Michael Siegel",
     title =       "The {Code Validation Tool (CVT)}: Automatic
                    verification of a compilation process",
     journal =     "International Journal on Software Tools for Technology
                    Transfer (STTT)",
     volume =      "2",
     number =      "2",
     pages =       "192--201",
     month =        "December",
     year =        "1998",
     ISSN =        "1433-2779 (print), 1433-2787 (electronic)",
   }
   
   @article{GlesnerGoosZimmeermann04,
     author    = {Sabine Glesner and
                  Gerhard Goos and
                  Wolf Zimmermann},
     title     = {Verifix: Konstruktion und Architektur verifizierender {\"U}bersetzer
                  (Verifix: Construction and Architecture of Verifying Compilers)},
     journal   = {it - Information Technology},
     volume    = {46},
     number    = {5},
     year      = {2004},
     pages     = {265-276},
     ee        = {http://dx.doi.org/10.1524/itit.46.5.265.44799},
     bibsource = {DBLP, http://dblp.uni-trier.de}
   }
   
   @inproceedings{GoosZimmermann00,
     author    = {Gerhard Goos and Wolf Zimmermann},
     title     = {Verifying Compilers and ASMs},
     booktitle = {Abstract State Machines},
     editor    = {Yuri Gurevich and
                  Philipp W. Kutter and
                  Martin Odersky and
                  Lothar Thiele},
     year      = {2000},
     pages     = {177-202},
     publisher = {Springer},
     series    = {Lecture Notes in Computer Science},
     volume    = {1912},
   }
   
   @article{BlechPoetzsch07,
  author = {Jan Olaf Blech and Arnd Poetzsch-Heffter},   author = {Jan Olaf Blech and Arnd Poetzsch-Heffter},
  title = {A Certifying Code Generation Phase},   title = {A Certifying Code Generation Phase},
  journal = {Electron. Notes Theor. Comput. Sci.},   journal = {Electron. Notes Theor. Comput. Sci.},
Line 101 
Line 208 
  address = {New York, NY, USA},   address = {New York, NY, USA},
  }   }
   
   @ARTICLE{Oh+02a,
   title={Error detection by duplicated instructions in super-scalar processors},
   author={Oh, N. and Shirvani, P.P. and McCluskey, E.J.},
   journal={Reliability, IEEE Transactions on},
   year={2002},
   month={Mar},
   volume={51},
   number={1},
   pages={63-75},
   keywords={error detection, instruction sets, parallel architectures, software fault tolerance, software reliabilityconcurrent error detection, error detection by duplicated instructions, error-detection coverage, error-detection coverage estimation, execution time overhead, fault tolerance, fault-coverage, instruction-level parallelism, instruction-scheduling, instructions duplication, memory code segment fault, performance overhead reduction, probabilistic methods, registers, single event upset, software technique, super-scalar processors, system operation, transient fault},
   doi={10.1109/24.994913},
   ISSN={0018-9529}, }
   
   @ARTICLE{Oh+02b,
   title={Control-flow checking by software signatures},
   author={Oh, N. and Shirvani, P.P. and McCluskey, E.J.},
   journal={Reliability, IEEE Transactions on},
   year={2002},
   month={Mar},
   volume={51},
   number={1},
   pages={111-122},
   keywords={program diagnostics, program testing, software reliabilityassigned signatures, branching fault injection experiment, branching faults, code size reduction, compilation time, control flow checking by software signatures, error detection instructions, execution time overhead reduction, instructions checking, multitasking environment, program graph, run-time signatures, signature monitoring techniques, software method, undetected incorrect outputs, watchdog task},
   doi={10.1109/24.994926},
   ISSN={0018-9529}, }
   
   @ARTICLE{Oh+02c,
   title={Error detection by selective procedure call duplication for low energy consumption},
   author={Nahmshuk Oh, Nahmshuk and Edward J. McCluskey},
   journal={IEEE Transactions onReliability},
   year={2002},
   month={Dec},
   volume={51},
   number={4},
   pages={ 392-402},
   keywords={ error detection, fault tolerant computing, power consumption, software fault tolerance commercial off-the-shelf components, data integrity, energy consumption reduction, error detection, error-detection latency, error-detection overhead minimisation, fault tolerance, hardware fault-tolerant techniques, instruction duplication, low energy consumption, low energy technique, low power technique, procedure cloning, selective procedure call duplication, software error detection, system reliability improvement, system-on-chip design technique, transient errors detection},
   doi={10.1109/TR.2002.804735},
   ISSN={0018-9529}, }
   
 @BOOK{MishraDutt08,  @BOOK{MishraDutt08,
         TITLE       = {Processor Description Languages},          TITLE       = {Processor Description Languages},
         AUTHOR      = {Prabhat Mishra and Nikil Dutt (Editor)},          AUTHOR      = {Prabhat Mishra and Nikil Dutt (Editor)},
Line 108 
Line 254 
         YEAR        = {2008},          YEAR        = {2008},
 }  }
   
   @InProceedings{BrooksTiwariMartonosi00,
     author =      "David Brooks and Vivek Tiwari and Margaret Martonosi",
     title =       "Wattch: {A} Framework for Architectural-Level Power
                    Analysis and Optimizations",
     booktitle =   "Proceedings of the 27th Annual International Symposium
                    on Computer Architecture",
     location =    "Vancouver, British Columbia",
     organization = "IEEE Computer Society and ACM SIGARCH",
     month =       "June" # " 12--14,",
     year =        "2000",
     pages =       "83--94",
   }
   
   
 @InProceedings{SchrSchoKn09,  @InProceedings{SchrSchoKn09,
         TITLE       = "Adding Timing-Awareness to {AUTOSAR} Basic-Software - A Component Based Approach",          TITLE       = "Adding Timing-Awareness to {AUTOSAR} Basic-Software - A Component Based Approach",
         AUTHOR      = "Dietmar Schreiner and Markus Schordan and Jens Knoop",          AUTHOR      = "Dietmar Schreiner and Markus Schordan and Jens Knoop",
Line 341 
Line 501 
         MONTH       = {January},          MONTH       = {January},
         YEAR        = {2009},          YEAR        = {2009},
 }  }
   
   @INCOLLECTION{BrHoKr09,
           AUTHOR      = {Florian Brandner and Nigel Horspool and Andreas Krall},
           EDITOR      = {Shuvra S. Bhattacharyya and Ed Deprettere and Rainer Leupers and Jarmo Takala},
           BOOKTITLE   = {Handbook on Signal Processing Systems},
           TITLE       = {DSP Instruction Set Simulation},
           PUBLISHER   = {Springer},
           PAGES       = {to appear},
           MONTH       = {December},
           YEAR        = {2009}
   }
   

Generate output suitable for use with a patch program
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.5
CVS Admin

Powered by ViewCVS 1.0-dev 		(Powered by ViewCVS)

ViewCVS and CVS Help