Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Kini, Dileep; Viswanathan, Mahesh (2017)
    A crucial step in model checking Markov Decision Processes (MDP) is to translate the LTL specification into automata. Efforts have been made in improving deterministic automata construction for LTL but such translations ...

    application/pdf

    application/pdfPDF (452kB)
  • Amin, Md Tanvir Al; Aggarwal, Charu; Yao, Shuochao; Abdelzaher, Tarek; Kaplan, Lance (IEEE, 2017)
    This paper presents unsupervised algorithms to uncover polarization in social networks (namely, Twitter) and identify polarized groups. The approach is language-agnostic and thus broadly applicable to global and multilingual ...

    application/pdf

    application/pdfPDF (831kB)
  • Giridhar, Prasanna; Wang, Shiguang; Abdelzaher, Tarek; Kaplan, Lance; George, Jemin; Ganti, Raghu (2017-05)
    This paper develops an algorithm that exploits picture-oriented social networks to localize urban events. We choose picture-oriented networks because taking a picture requires physical proximity, thereby revealing the ...

    application/pdf

    application/pdfPDF (323kB)
  • application/pdf

    application/pdfPDF (782kB)
  • Kim, Jung-Eun; Richard Bradford; Tarek Abdelzaher; Lui Sha (Department of Computer Science at the University of Illinois at Urbana-Champaign, 2016-11)
    This paper presents a new schedulability test for safety-critical software undergoing a transition from single-core to multicore systems - a challenge faced by multiple industries today. Our migration model, consisting of ...

    application/pdf

    application/pdfPDF (532kB)

Collection Statistics