BibSonomy :: user :: gwpl :: dataflow
actions for all displayed bookmarks:
export:
sort:
others:

bookmarks

actions for all displayed publications:
export:
 
sort:
others:

publications (4)

    No matching items.
  • Data-Flow Frameworks for Worst-Case Execution Time Analysis
    Johann Blieberger. Real-Time Systems 22(3):183-227 (2002)http://dblp.uni-trier.de/db/journals/rts/rts22.html#Blieberger02 http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcetklu.pdf.
    Johann Blieberger. Real-Time Systems 22(3):183-227 (2002)http://dblp.uni-trier.de/db/journals/rts/rts22.html#Blieberger02 http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcetklu.pdf.
    3 years and 11 months ago
    by gwpl
    2
    (0)
    URLDOITeX
  • Redux: A Dynamic Dataflow Tracer
    Nicholas Nethercote, and Alan Mycroft. Electr. Notes Theor. Comput. Sci. (2003)http://dblp.uni-trier.de/db/journals/entcs/entcs89.html#NethercoteM03.
    Nicholas Nethercote, and Alan Mycroft. Electr. Notes Theor. Comput. Sci. (2003)http://dblp.uni-trier.de/db/journals/entcs/entcs89.html#NethercoteM03.
    3 years and 11 months ago
    by gwpl
    2
    (0)
    URLDOITeX
  • A Symbolic Execution Method for Bounds Analysis
    D.H. Chu Joxan Jaffar, and Jorge Navas. draft, (2009)http://www.comp.nus.edu.sg/~joxan/res.html.
    D.H. Chu Joxan Jaffar, and Jorge Navas. draft, (2009)http://www.comp.nus.edu.sg/~joxan/res.html.
    3 years and 11 months ago
    by gwpl
    1
    (0)
    URLDOITeX
  • Dynamic Binary Analysis and Instrumentation
    Nicholas Nethercote. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (November 2004)It's related with Valgrind framework. fulltitle: Dynamic Binary Analysis and Instrumentation or Building Tools is Easy Parts of the research presented in this dissertation have been previously published or presented in the following papers. Nicholas Nethercote and Alan Mycroft. The cache behaviour of large lazy functional programs on stock hardware. In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance MSP 2002, pages 44–55, Berlin, Germany, July 2002. Nicholas Nethercote and Alan Mycroft. Redux: A dynamic dataflow tracer. In Proceedings of the Third Workshop on Runtime Verification RV’03, Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Julian Seward. Valgrind: A program supervision framework. In Pro- ceedings of the Third Workshop on Runtime Verification RV’03, Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Jeremy Fitzhardinge. Bounds-checking entire programs without recom- piling. In Informal Proceedings of the Second Workshop on Semantics, Program Analysis, and Com- puting Environments for Memory Management SPACE 2004, Venice, Italy, January 2004..
    Nicholas Nethercote. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (November 2004)It's related with Valgrind framework. fulltitle: Dynamic Binary Analysis and Instrumentation or Building Tools is Easy Parts of the research presented in this dissertation have been previously published or presented in the following papers. Nicholas Nethercote and Alan Mycroft. The cache behaviour of large lazy functional programs on stock hardware. In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance MSP 2002, pages 44–55, Berlin, Germany, July 2002. Nicholas Nethercote and Alan Mycroft. Redux: A dynamic dataflow tracer. In Proceedings of the Third Workshop on Runtime Verification RV’03, Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Julian Seward. Valgrind: A program supervision framework. In Pro- ceedings of the Third Workshop on Runtime Verification RV’03, Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Jeremy Fitzhardinge. Bounds-checking entire programs without recom- piling. In Informal Proceedings of the Second Workshop on Semantics, Program Analysis, and Com- puting Environments for Memory Management SPACE 2004, Venice, Italy, January 2004..
    3 years and 11 months ago
    by gwpl
    1
    (0)
    URLDOITeX
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact