1002 search results - page 30 / 201 » Towards Graph Programs for Graph Algorithms |
129
Voted
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Due to power wall, memory wall, and ILP wall, we are facing the end of ever increasing single-threaded performance. For this reason, multicore and manycore processors are arising ...
125
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
131
click to vote
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
117
click to vote
AVI
2008
15 years 3 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
127
click to vote
TSE
2010
15 years 9 days ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...