1016 search results - page 148 / 204 » Automatic Analysis of Programming Assignments |
136
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Molecular Biology accumulated substantial amounts of data concerning functions of genes and proteins. Information relating to functional descriptions is generally extr...
110
Voted
JMM2
2007
15 years 2 months ago
2007
— A novel face recognition method is proposed, in which face images are represented by a set of local labeled graphs, each containing information about the appearance and geometr...
140
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
98
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...