Browsing Computing and Information Sciences by Published Date "2012"

xmlui.dri2xhtml.structural.head-subtitle

Browsing Computing and Information Sciences by Published Date "2012"

Sort by: Order: Results:

  • 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 ...
  • 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, ...