Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 2003

    Experiments with test case generation and runtime analysis

    Artho, C., Drusinksy, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Roşu, G. & Visser, W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Borger, E., Gargantini, A. & Riccobene, E. (eds.). Springer, p. 87-107 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2589).

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

  • Fast algorithms for computing the smallest k-enclosing disc

    Har-Peled, S. & Mazumdar, S., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). di Battista, G. & Zwick, U. (eds.). Springer, p. 278-288 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2832).

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

  • Generalized rewrite theories

    Bruni, R. & Meseguer, J., 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, p. 252-266 15 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

  • Induction variable analysis without idiom recognition: Beyond monotonicity

    Wu, P., Cohen, A. & Padua, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 427-441 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

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

    Open Access

  • Jade: A parallel message-driven Java

    DeSouza, J. & Kalé, L. V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Abramson, D., Bogdanov, A. V., Gorbachev, Y. E., Dongarra, J. J. & Zomaya, A. Y. (eds.). Springer, p. 760-769 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2659).

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

    Open Access

  • Mining typical preferences of collaborative user groups

    Ko, S. J. & Han, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Song, I.-Y., Liddle, S. W., Ling, T. W. & Scheuermann, P. (eds.). Springer, p. 419-432 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2813).

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

  • Online response time optimization of apache web server

    Liu, X., Sha, L., Diao, Y., Froehlich, S., Hellerstein, J. L. & Parekh, S., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jeffay, K., Stoica, I. & Wehrle, K. (eds.). Springer, p. 461-478 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2707).

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

  • Output-sensitive algorithms for computing nearest-neighbour decision boundaries

    Bremner, D., Demaine, E., Erickson, J., Iacono, J., Langerman, S., Morin, P. & Toussaint, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dehne, F., Sack, J.-R. & Smid, M. (eds.). Springer, p. 451-461 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2748).

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

  • Price-based resource allocation in wireless ad hoc networks

    Xue, Y., Li, B. & Nahrstedt, K., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jeffay, K., Stoica, I. & Wehrle, K. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2707).

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

  • Scaling molecular dynamics to 3000 processors with projections: A performance analysis case study

    Kalé, L. V., Kumar, S., Zheng, G. & Lee, C. W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Abramson, D., Bogdanov, A. V., Gorbachev, Y. E., Dongarra, J. J. & Zomaya, A. Y. (eds.). Springer, p. 23-32 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2660).

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

    Open Access

  • Star-Cubing: Computing Iceberg Cubes by Top-Down and Bottom-Up Integration

    Xin, D., Han, J., Li, X. & Wah, B. W., Jan 1 2003, Proceedings 2003 VLDB Conference: 29th International Conference on Very Large Databases (VLDB). Elsevier, p. 476-487 12 p.

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

  • SynchNet: A Petri net based coordination language for distributed objects

    Ziaei, R. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pfenning, F. & Smaragdakis, Y. (eds.). Springer, p. 324-343 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2830).

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

  • Towards security and privacy for pervasive computing

    Campbell, R., Al-Muhtadi, J., Naldurg, P., Sampemane, G. & Mickunas, M. D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

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

  • 2002

    A theory of may testing for asynchronous calculi with locality and no name matching

    Thati, P., Ziaei, R. & Agha, G., Jan 1 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kirchner, H. & Ringeissen, C. (eds.). Springer, p. 223-239 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

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

  • Candidates, Donors, and Voters in California’s Blanket Primary Elections

    Cho, W. K. T. & Gaines, B. J., 2002, Voting at the Political Fault Line: California's Experiment with the Blanket Primary . Cain, B. E. & Gerber, E. R. (eds.). University of California Press, p. 171-191

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

  • Crossover Voting before the Blanket: Primaries versus Parties in California History

    Gaines, B. J. & Cho, W. K. T., 2002, Voting at the Political Fault Line: California's Experiment with the Blanket Primary. Cain, B. E. & Gerber, E. R. (eds.). University of California Press, p. 12-35

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

  • Development of a vehicle network control testbed

    Stubbs, A., Vladimerou, V., Vaughn, A. & Dullerud, G. E., 2002, Proceedings of the American Control Conference. Vol. 4. p. 3028-3033 6 p.

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

  • 2000

    Secure smart homes using Jini and UIUC SESAME

    Al-Muhtadi, J., Anand, M., Mickunas, M. D. & Campbell, R., 2000, Proceedings - Annual Computer Security Applications Conference, ACSAC. p. 77-85 9 p. 898860

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

  • 1993

    Distributed access to persistent objects

    Lim, S. B., Xiao, L. & Campbell, R., 1993, IFIP Transactions A: Computer Science and Technology. A-39 ed. Publ by Elsevier Science Publishers B.V., p. 329-340 12 p.

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

  • Formal methods for actor systems: A progress report

    Agha, G. A., 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.

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

  • Uniform co-scheduling using object-oriented design techniques

    Islam, N. & Campbell, R., 1993, IFIP Transactions A: Computer Science and Technology. A-39 ed. Publ by Elsevier Science Publishers B.V., p. 317-328 12 p.

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