7961 search results - page 70 / 1593 » Input-Output Model Programs |
160
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
121
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
141
click to vote
FECS
2006
15 years 3 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
136
Voted
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...
115
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: Today’s network processor utilize parallel processing in order to cope with the traffic growth and wire-speed of current and future network technologies. In this paper, we stu...