Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 2004

    On exploring performance optimizations in web service composition

    Jin, G. & Nahrstedt, K., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 115-134 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

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

    Open Access

  • Online efficient predictive safety analysis of multithreaded programs

    Sen, K., Roşu, G. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

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

    Open Access

  • Overhaul extending HTTP to combat flash crowds

    Patel, J. A. & Gupta, I., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Chi, C.-H., van Steen, M. & Wills, C. (eds.). Springer, p. 34-43 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3293).

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

  • Over-the-Shoulder Learning in a Distance Education Environment

    Twidale, M. & Ruhleder, K., 2004, Learning, Culture and Community in Online Education: Research and Practice. Haythornthwaite, C. & Kazmer, M. M. (eds.). New York: Peter Lang Publishing, p. 177-194 (Digital Formations).

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

  • Programming for locality and parallelism with hierarchically tiled arrays

    Almási, G., De Rose, L., Fraguela, B. B., Moreira, J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

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

    Open Access

  • Real-time synchronization protocols

    Sha, L. & Caccamo, M., Jan 1 2004, Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, p. 29-1-29-26

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

  • Shape and view independent reflectance map from multiple views

    Yu, T., Xu, N. & Ahuja, N., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pajdla, T. & Matas, J. (eds.). Springer, p. 602-615 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3024).

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

    Open Access

  • Specification and Analysis of Real-Time Systems Using Real-Time Maude

    Ölveczky, P. C. & Meseguer, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

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

    Open Access

  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

    Open Access

  • Techniques for executing and reasoning about specification diagrams

    Thati, P., Talcott, C. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 521-536 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

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

  • The power of belady's algorithm in register allocation for long basic blocks

    Guo, J., Garzarán, M. J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 374-389 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

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

  • Worldwide computing middleware

    Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

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

  • 2003

    An interface model for parallel components

    Bhandarkar, M. & Kalé, L. V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 209-222 14 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

  • A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

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

    Open Access

  • Certifying optimality of state estimation programs

    Roşu, G., Venkatesan, R. P., Whittle, J. & Leuştean, L., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer, p. 301-314 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

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

    Open Access

  • Compiling for a hybrid programming model using the LMAD representation

    Zhu, J., Hoeflinger, J. & 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. 321-335 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

  • Conditional circular coinductive rewriting with case analysis

    Goguen, J. A., Lin, K. & Roşu, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Springer, p. 216-232 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2755).

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

  • Definition of a user environment in a ubiquitous system

    Carvalho, D., Campbell, R., Belford, G. & Mickunas, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Meersman, R., Tari, Z. & Schmidt, D. C. (eds.). Springer, p. 1151-1169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2888).

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

  • 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

    Open Access

  • 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