1016 search results - page 54 / 204 » Automatic Analysis of Programming Assignments |
110
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Although DNA microarray technologies are very powerful for the simultaneous quantitative characterization of thousands of genes, the quality of the obtained experiment...
120
Voted
DAC
2008
ACM
15 years 4 months ago
2008
ACM
The problem attacked in this paper is one of automatically mapping an application onto a Network-on-Chip (NoC) based chip multiprocessor (CMP) architecture in a locality-aware fas...
130
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper shows how Social Network Analysis, the sociological domain studying the interaction between people in specific social environments, can be used to assign roles to diff...
122
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
226
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...