3090 search results - page 491 / 618 » On Testing Answer-Set Programs |
126
click to vote
C5
2008
IEEE
15 years 9 months ago
2008
IEEE
Introducing technology as a sustainable means of creating, connecting, and collaborating introduces the need to carefully consider subtle aspects of deployment strategies and supp...
139
click to vote
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
116
Voted
BIBM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
137
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
199
click to vote
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...