4880 search results - page 148 / 976 » Manuals as Structured Programs |
159
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...
183
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
131
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
172
click to vote
JCM
2007
15 years 6 months ago
2007
— In this paper we introduce two operations of access structure to build large monotone span programs MSPs from small MSPs. Furthermore, we point out a new method of constructing...
143
click to vote
GRC
2007
IEEE
16 years 21 days ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...