Sciweavers

2018 search results - page 321 / 404
» On Conceptualization as a Systematic Process
Sort
View
INFOCOM
2000
IEEE
14 years 10 days ago
Prefetching the Means for Document Transfer: A New Approach for Reducing Web Latency
User-perceived latency is recognized as the central performance problem in the Web. We systematically measure factors contributing to this latency, across several locations. Our s...
Edith Cohen, Haim Kaplan
ASPLOS
2000
ACM
14 years 9 days ago
Evaluating Design Alternatives for Reliable Communication on High-Speed Networks
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
Raoul Bhoedjang, Kees Verstoep, Tim Rühl, Hen...
IPPS
1999
IEEE
14 years 7 days ago
Exploiting Application Tunability for Efficient, Predictable Parallel Resource Management
Parallel computing is becoming increasing central and mainstream, driven both by the widespread availability of commodity SMP and high-performance cluster platforms, as well as th...
Fangzhe Chang, Vijay Karamcheti, Zvi M. Kedem
WETICE
1999
IEEE
14 years 6 days ago
Collective Choice in Virtual Teams
Virtual organisations within and across enterprise structures are becoming mature as a potentially effective means for goal oriented business teamwork. Among the plentyful of supp...
Alois Ferscha, Christoph Scheiner
CAV
1998
Springer
103views Hardware» more  CAV 1998»
14 years 5 days ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...