1016 search results - page 82 / 204 » Automatic Analysis of Programming Assignments |
164
click to vote
ITP
2010
15 years 5 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
104
click to vote
CMPB
2007
15 years 3 months ago
2007
Paternity analysis using microsatellite information is a well studied subject. These markers are ideal for parentage studies and fingerprinting, due to their high discrimination ...
111
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
145
Voted
ICAI
2007
15 years 5 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...
120
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...