公開日 CMC: A pragmatic approach to model checking real code Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002 OSDI 02: Fifth Symposium on Operating Systems Design and Implementation プロジェクト
公開日 IrisNet: An Architecture for Compute-Intensive Wide-Area Sensor Network Services Suman Nath, Amol Deshpande, Yan Ke, Phillip B. Gibbons, Brad Karp, Srinivasan Seshan IRP-TR-02-10 | December 2002 Intel Research Pittsburgh Technical Report
公開日 Lightweight Thread Tunnelling in Network Applications Austin Donnelly Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks (IWAN’02) | December 2002 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks (IWAN'02)
公開日 FARSITE: Federated, available, and reliable storage for an incompletely trusted environment Atul Adya, Bill Bolosky, Miguel Castro, Ronnie Chaiken, Gerald Cermak, John (JD) Douceur, Jon Howell, Jay Lorch, Marvin Theimer, Roger Wattenhofer, Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI) | December 2002 Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)
公開日 Validating a Web Service Security Abstraction by Typing Andy Gordon, Riccardo Pucella MSR-TR-2002-108 | November 2002 ISBN: 1-58113-632-3 A portion of this work appears in the proceedings of the ACM Workshop on XML Security 2002, Washington DC, November 22, 2002.
公開日 Detection and Analysis of Routing Loops in Packet Traces Urs Hengartner, Sue Moon, Richard Mortier, Christophe Diot Proceedings of ACM/USENIX Internet Measurement Workshop (IMW) | November 2002 ISBN: 1-58113-603-X
公開日 A neural network approach to system performance analysis Robert Gruen, Takuji Kubota Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283) | November 2002
公開日 Backup Path Allocation based on a Correlated Link Failure Probability Model in Overlay Networks Weidong Cui, Ion Stoica, Randy H. Katz Proceedings of the Tenth International Conference on Network Protocols (ICNP) | November 2002 Proceedings of the Tenth International Conference on Network Protocols (ICNP)
公開日 Replication Strategies for Highly Available Peer-to-Peer Storage Systems Ranjita Bhagwan, Stefan Savage, Geoffrey M. Voelker | November 2002 POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
公開日 Computing rate-distortion optimized policies for hybrid receiver/sender driven streaming of multimedia Jacob Chakareski, Philip A. Chou, Bernd Girod Proc. Asilomar Conf. Signals, Systems, and Computers | November 2002 Proc. Asilomar Conf. Signals, Systems, and Computers