Browsing Computing and Information Sciences by Published Date "2012"

K-REx Repository

Browsing Computing and Information Sciences by Published Date "2012"

Sort by: Order: Results:

  • Deng, Xianghua; Lee, Jooyong; Robby (2012)
    Programs that manipulate dynamic heap objects are difficult to analyze due to issues like aliasing. Lazy initialization algorithm enables the classical symbolic execution to handle such programs. Despite its successes, ...
  • Bulatewicz, Tom; Andresen, Daniel (CSREA Press, 2012)
    The management of output data from simulation models can be simplified in grid environments by automating and standardizing the way in which they are collected and stored. In the context of component-based computer models ...