12453 search results - page 2384 / 2491 » Concurrent Data Structures |
117
click to vote
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
Chip multiprocessors with multiple simpler cores are gaining popularity because they have the potential to drive future performance gains without exacerbating the problems of powe...
111
Voted
HPCA
2004
IEEE
16 years 2 months ago
2004
IEEE
Modern out-of-order processors tolerate long latency memory operations by supporting a large number of inflight instructions. This is particularly useful in numerical applications...
204
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
207
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
126
click to vote
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...