Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Marco Cesati; Renato Mancuso; Emiliano Betti; Marco Caccamo (2015-06-18)
    Tools for memory access detection are widely used, playing an important role especially in real-time systems. For example, on multi-core platforms, the problem of co-scheduling CPU and memory resources with hard real-time ...

    application/pdf

    application/pdfPDF (399Kb)
  • Jose Meseguer (2015-06-04)
    Order-sorted type systems supporting inheritance hierarchies and subtype polymorphism are used in theorem proving, AI, and declarative programming. The satisfiability problems for the theories of: (i) order-sorted ...

    application/pdf

    application/pdfPDF (424Kb)
  • Luo, Qingzhou; Huang, Jeff; Rosu, Grigore (2015)
    We propose the first systematic concurrent program testing approach that is able to cover the entire scheduling space with a provably minimal number of test runs. Each run corresponds to a distinct maximal causal model ...

    application/pdf

    application/pdfPDF (740Kb)
  • Yu Lin; Semih Okur; Dig, Danny (2015-05-17)
    To avoid unresponsiveness, a core part of mobile development is asynchronous programming. Android provides several async constructs that developers can use. However, developers can still use the inappropriate async constructs, ...

    application/pdf

    application/pdfPDF (443Kb)
  • Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan (2015)
    Inductive invariants can be robustly synthesized using a learning model where the teacher is a program verifier who instructs the learner through concrete program configurations, classified as positive, negative, and ...

    application/pdf

    application/pdfPDF (597Kb)

Collection Statistics

  • Total Downloads: 431746
  • Downloads this Month: 631
  • Downloads Today: 311
  • Statistics Report