10055 search results - page 82 / 2011 » Structured programming using processes |
132
click to vote
JMLR
2012
13 years 3 months ago
2012
We show that the stick-breaking construction of the beta process due to Paisley et al. (2010) can be obtained from the characterization of the beta process as a Poisson process. S...
121
click to vote
KBSE
2009
IEEE
15 years 7 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...
96
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
114
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
144
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...