Sciweavers

3360 search results - page 10 / 672
» Opportunistic Data Structures with Applications
Sort
View
102
Voted
CADE
2005
Springer
16 years 2 months ago
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...
117
Voted
IPPS
2010
IEEE
14 years 11 months ago
Improving application performance with hardware data structures
Contemporary processors are becoming wider and more parallel. Thus developers must work hard to extract performance gains. An alternative computing paradigm is to use FPGA technolo...
Ravikesh Chandra, Oliver Sinnen
125
Voted
SIAMSC
2011
140views more  SIAMSC 2011»
14 years 4 months ago
A Fast Parallel Algorithm for Selected Inversion of Structured Sparse Matrices with Application to 2D Electronic Structure Calcu
Abstract. An efficient parallel algorithm is presented and tested for computing selected components of H−1 where H has the structure of a Hamiltonian matrix of two-dimensional la...
Lin Lin, Chao Yang, Jianfeng Lu, Lexing Ying, Wein...