315 search results - page 39 / 63 » Reasoning about Assignments in Recursive Data Structures |
118
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Protein conformation and protein/protein interaction can be elucidated by solution-phase Hydrogen/ Deuterium exchange (sHDX) coupled to high-resolution mass analysis o...
142
Voted
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
145
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
116
Voted
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
121
click to vote
GIS
1998
ACM
15 years 3 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...