Sciweavers

3657 search results - page 321 / 732
» A Study of Practical Deduplication
Sort
View
FPL
2006
Springer
103views Hardware» more  FPL 2006»
15 years 10 months ago
A System Design Methodology for Reducing System Integration Time and Facilitating Modular Design Verification
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
Lesley Shannon, Blair Fort, Samir Parikh, Arun Pat...
GCC
2006
Springer
15 years 10 months ago
Network Distance Prediction based on Network Coordinate System
Network coordinates provide a practical and efficient way to estimate latencies among hosts in the network. In this paper, we study the problem of designing and implementing a Net...
Xiaohui Shi, Yang Chen, Beixing Deng, Xing Li
ICDCSW
2000
IEEE
15 years 10 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
CHI
1995
ACM
15 years 10 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner
165
Voted
COMPGEOM
1994
ACM
15 years 10 months ago
Spheres, Molecules, and Hidden Surface Removal
We devise techniques to manipulate a collection of loosely interpenetrating spheres in threedimensional space. Our study is motivated by the representation and manipulation of mol...
Dan Halperin, Mark H. Overmars