Browse by Subject "computer science"

  • Pellizzoni, Rodolfo; Caccamo, Marco (2006-03)
    Resource reclaiming schemes are applied in reservation-based real-time uniprocessor systems to support efficient reclaiming and sharing of computational resources left unused by early completing tasks, improving the response ...

    application/pdf

    application/pdfPDF (202Kb)
  • Lu, Ying; Han, Jiawei (2005-07)
    Maintaining frequency counts for data streams has attracted much interest among the research community recently since it provides the base for many stream mining applications. Most existing work followed the same paradigm: ...

    application/pdf

    application/pdfPDF (676Kb)
  • Lin, Ruei-Sung (2006-05)
    This thesis addresses the problem of learning manifold from time series. We use the mixtures of probabilistic principal component analyzers (MPPCA) to model the nonliner manifold. In addition, we extend the MPPCA model by ...

    application/pdf

    application/pdfPDF (6Mb)
  • Rosu, Grigore; Schulte, Wolfram (2009-01)
    Hoare logics rely on the fact that logic formulae can encode, or specify, program states, including environments, stacks, heaps, path conditions, data constraints, and so on. Such formula encodings tend to lose the structure ...

    application/pdf

    application/pdfPDF (477Kb)
  • Yu, Tian-Li (2006-11)
    Unlike most simple textbook examples, the real world is full with complex systems, and researchers in many different fields are often confronted by problems arising from such systems. Simple heuristics or even enumeration ...

    application/pdf

    application/pdfPDF (2Mb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-12)
    Extracting causal models from observed executions has proved to be an effective approach to analyze concurrent programs. Most existing causal models are based on happens-before partial orders and/or Mazurkiewicz traces. ...

    application/pdf

    application/pdfPDF (431Kb)
  • Har-Peled, Sariel; Roth, Dan; Zimak, Dav A. (2006-10)
    We study the problem of learning large margin halfspaces in various settings using coresets and show that coresets are a widely applicable tool for large margin learning. A large margin coreset is a subset of the input ...

    application/pdf

    application/pdfPDF (257Kb)
  • Doan, AnHai; Li, Xin; Roth, Dan (2006-02)
    Many real-world applications increasingly involve both structured data and text. A given real-world entity is often referred to in different ways, such as ``Helen Hunt'', and ``Mrs. H. E. Hunt'', both within and across the ...

    application/pdf

    application/pdfPDF (295Kb)
  • Ramachandran, Pradeep; Adve, Sarita V.; Bose, Pradip; Rivers, Jude A.; Srinivasan, Jayanth (2006-08)
    This work concerns appropriate metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. The most commonly used reliability metric is mean time to failure (MTTF). However, MTTF does ...

    application/pdf

    application/pdfPDF (595Kb)
  • Witthawaskul, Weerasak (2006-09)
    One of the reasons enterprise software is difficult to change is because it relies on middleware services. Middleware makes the rest of the application simpler but then the application depends on the middleware. Migrating ...

    application/pdf

    application/pdfPDF (2Mb)
  • Sen, Koushik; Viswanathan, Mahesh (2006-01)
    In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchronously and concurrently on different threads. This ...

    application/pdf

    application/pdfPDF (154Kb)
  • Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2006-01)
    We investigate the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact transition probabilities are not known. Instead in IDTMCs, ...

    application/pdf

    application/pdfPDF (246Kb)
  • Tosic, Predrag T. (2006-12)
    This technical report addresses modeling and analysis of the behavior of large-scale multiagent systems. A broad variety of multi-agent systems (MAS) are modeled as appropriate variants of cellular and network automata. ...

    application/pdf

    application/pdfPDF (1Mb)
  • Chen, Feng; Rosu, Grigore (2007-03)
    Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute ...

    application/pdf

    application/pdfPDF (206Kb)
  • Chen, Feng; Rosu, Grigore (2006-10)
    Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis. It aims at reducing the gap between formal specification and implementation via runtime monitoring. In MOP, the developer ...

    application/pdf

    application/pdfPDF (121Kb)
  • Yang, Zhenyu (2007-09)
    Three-dimensional tele-immersive (3DTI) environments have great potential to promote collaborative work among geographically distributed participants. However, extensive application of 3DTI environments is still hindered ...

    application/pdf

    application/pdfPDF (10Mb)
  • Li, Xiaolei (2008-04)
    The collection of historical or real-time data on moving objects is quickly becoming a ubiquitous task. With the help of GPS devices, RFID sensors, RADAR, satellites, and other technologies, mobile objects of all sizes, ...

    application/pdf

    application/pdfPDF (1Mb)
  • Teodorescu, Mircea-Radu (2008-08)
    As integrated-circuit technology continues to scale, process variation is becoming an issue that cannot be ignored at the microarchitecture and system levels. Process variation is particularly detrimental to a processor's ...

    application/pdf

    application/pdfPDF (2Mb)
  • Yu, Bin (2006-09)
    Recent years witnessed the emergence of more .multi-stream. Multimedia applications, such as multi-site distributed video conferencing, multi-perspective IPTV, and virtual touring of 3D digital worlds from multiple view ...

    application/pdf

    application/pdfPDF (2Mb)
  • Adamczyk, Paul; Hafiz, Munawar; Johnson, Ralph E. (2008-01)
    We studied the most popular websites in the US and around the world and discovered that few of them implement the HTTP standard completely. However, the servers are capable of implementing HTTP correctly; it is the ...

    application/pdf

    application/pdfPDF (578Kb)