1002 search results - page 61 / 201 » A Computer Aided Grading System for Subjective Tests |
116
Voted
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
127
click to vote
EUROSYS
2009
ACM
16 years 25 days ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
113
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
129
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
121
click to vote
ICEIS
2008
IEEE
15 years 10 months ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...