4171 search results - page 621 / 835 » Distributed Data Structure Design for Scientific Computation |
202
Voted
HT
2004
ACM
16 years 14 days ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
216
Voted
SCP
2010
15 years 5 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
165
Voted
CPHYSICS
2008
15 years 7 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
233
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...
251
Voted
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
― Phase Change Memory (PCM) is one of the most promising technologies among emerging non-volatile memories. PCM stores data in crystalline and amorphous phases of the GST materia...