Computer Science

Filter
Chapter

Search results

  • 2003

    Building virtual actors who can really act

    Perlin, K., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Balet, O., Subsol, G. & Torguet, P. (eds.). Springer Verlag, p. 127-134 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2897).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Discrete quantum walks hit exponentially faster

    Kempe, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Asora, S., Sahai, A., Jansen, K. & Rolim, J. D. P. (eds.). Springer Verlag, p. 354-369 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2764).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Function matching: Algorithms, applications, and a lower bound

    Amir, A., Aumann, Y., Cole, R., Lewenstein, M. & Porat, E., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 929-942 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • On the Covering Steiner problem

    Gupta, A. & Srinivasan, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pandya, P. K. & Radhakrishnan, J. (eds.). Springer Verlag, p. 244-251 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2914).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • On the feasibility of peer-to-peer web indexing and search

    Li, J., Loo, B. T., Hellerstein, J. M., Kaashoek, M. F., Karger, D. R. & Morris, R., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kaashoek, F. & Stoica, I. (eds.). Springer Verlag, p. 207-215 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2735).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Practical verifiable encryption and decryption of discrete logarithms

    Camenisch, J. & Shoup, V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Boneh, D. (ed.). Springer Verlag, p. 126-144 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2729).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Semantic-free referencing in linked distributed systems

    Balakrishnan, H., Shenker, S. & Walfish, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kaashoek, F. & Stoica, I. (eds.). Springer Verlag, p. 197-206 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2735).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2002

    Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

    Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D. & Rival, X., 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 85-108 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1999

    Core library for robust numeric and geometric computation

    Karamcheti, V., Li, C., Pechtchanski, I. & Yap, C., 1999, Proceedings of the Annual Symposium on Computational Geometry. ACM, p. 351-359 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • New bounds on crossing numbers

    Pach, J., Spencer, J. & Toth, G., 1999, Proceedings of the Annual Symposium on Computational Geometry. ACM, p. 124-133 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Off-line temporary tasks assignment

    Azar, Y. & Regev, O., 1999, Algorithms - ESA 1999. p. 163-171 (Lecture Notes in Computer Science; vol. 1643).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1998

    On-line bin-stretching

    Azar, Y. & Regev, O., 1998, Randomization and approximation techniques in computer science. p. 71-81 (Lecture Notes in Computer Science; vol. 1518).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Parallel interference cancellation (PIC) improvements for CDMA multiuser receivers using partial cancellation of MAI estimates

    Shan, P. & Rappaport, T. S., 1998, Conference Record / IEEE Global Telecommunications Conference. Vol. 6. p. 3282-3287 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Partition-based path loss analysis for in-home and residential areas at 5.85 GHz

    Durgin, G. D., Rappaport, T. S. & Xu, H., 1998, Conference Record / IEEE Global Telecommunications Conference. IEEE, Vol. 2. p. 904-909 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1994

    Multi-purpose parallel computing: (after the killer micros take a breather)

    Gottlieb, A., 1994, Developing a computer science agenda for high-performance computing. Vishkin, U. (ed.). ACM, p. 69-71

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1992

    Architectures for parallel supercomputing

    Gottlieb, A., Sep 1992, Parallel computing and transfer applications. Valero, M., Onate, E., Jane, M., Larriba, J. L. & Suarez, B. (eds.). CIMA, Barcelona and ISO Press, Amsterdam , p. 39-47

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1987

    Compiling path expressions into VLSI circuits

    Anantharaman, T. S., Clarke, E. M., Foster, M. J. & Mishra, B., 1987, Unknown Host Publication Title. p. 305-355 51 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1986

    Representing and acquiring geographic knowledge.

    Davis, E., 1986, Representing and acquiring geographic knowledge.. Pitman, London; Morgan Kaufmann, Los Altos, CA; Research Notes in Artificial Intelligence Series

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1979

    Systematic design of program analysis frameworks

    Cousot, P. & Cousot, R., 1979, Conference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas. ACM, p. 269-282 42 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1978

    COPING WITH ERRORS IN BINARY SEARCH PROCEDURES.

    Rivest, R. L., Meyer, A. R., Kleitman, D. J., Winklmann, K. & Spencer, J., 1978, Unknown Host Publication Title. ACM, p. 227-232 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • On formulating simultaneity for studying parallelism and synchronization

    Miller, R. E. & Yap, C., 1978, Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978). ACM, p. 105-113 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1970

    Debugging system AIDS

    Grishman, R., 1970, Proceedings of the Spring Joint Computer Conference, 1970. Vol. 36. p. 59-64 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter