4880 search results - page 148 / 976 » Manuals as Structured Programs |
122
Voted
ESOP
2012
Springer
13 years 11 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...
144
click to vote
KBSE
2009
IEEE
15 years 10 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...
98
Voted
CORR
2008
Springer
15 years 3 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...
132
Voted
JCM
2007
15 years 3 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...
111
Voted
GRC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...