24554 search results - page 4724 / 4911 » Dependable distributed systems |
187
Voted
KCAP
2003
ACM
16 years 8 days ago
2003
ACM
Humans naturally share knowledge by telling stories. This is a form of knowledge exchange we engage in right from early childhood, and over time we learn to recall, order and orga...
224
Voted
MOBICOM
2003
ACM
16 years 8 days ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...
295
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
189
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
202
Voted
SC
2003
ACM
16 years 8 days ago
2003
ACM
The need to provide remote visualization of large datasets with adequate levels of quality and interactivity has become a major impediment to distributed collaboration in Computat...