Browse by Subject "computer science"

• (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

PDF (202kB)
• (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

PDF (676kB)
• (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

PDF (6MB)
• (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

PDF (477kB)
• (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

PDF (2MB)
• (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

PDF (431kB)
• (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

PDF (257kB)
• (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

PDF (295kB)
• (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

PDF (595kB)
• (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

PDF (2MB)
• (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

PDF (154kB)
• (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

PDF (246kB)
• (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

PDF (1MB)
• (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

PDF (206kB)
• (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

PDF (121kB)
• (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

PDF (10MB)
• (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

PDF (1MB)
• (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

PDF (2MB)
• (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

PDF (2MB)
• (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

PDF (578kB)