193 search results - page 29 / 39 » Shape Analysis for Composite Data Structures |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
SOFTVIS
2010
ACM
13 years 8 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
SP
2010
IEEE
14 years 14 days ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
13 years 8 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Although there is an increasing emphasis on and investment in healthcare information technology (HIT) actual adoption and usage rates are below expectations. This research explore...