- Subscribe to this page:
- RSS
- Email Alert
University of Wisconsin
(201 results)-
White Papers
Effective Separation of Disjunctive Cuts for Convex Mixed Integer Nonlinear Programs
November 1, 2010, 12:00am PDT
The authors describe a computationally effective method for generating disjunctive inequalities for convex Mixed-Integer NonLinear Programs (MINLPs). The method relies on solving a sequence of...
Provided by University of Wisconsin System
-
White Papers
Karma: Scalable Deterministic Record-Replay
October 1, 2010, 12:00am PDT
Recent research in deterministic record-replay seeks to ease debugging, security, and fault tolerance on otherwise nondeterministic multicore systems. The important challenge of handling shared...
Provided by University of Wisconsin System
-
White Papers
Handheld Vs. Non-Handheld Traffic: Implications for Campus WiFi Networks
October 1, 2010, 12:00am PDT
Smartphones, portable music players, and other handheld devices have become a major computing platform. Wherever users go, they utilize 3G and WiFi connectivity to access a wide array of Internet...
Provided by University of Wisconsin System
-
White Papers
InfoNames: An Information-Based Naming Scheme for Multimedia Content
July 1, 2010, 12:00am PDT
Recent proposals have argued for data-centric mechanisms that decouple data delivery from the sources of the data and the transfer protocols. The authors take this idea to its logical completion...
Provided by University of Wisconsin System
-
White Papers
SIP: Speculative Insertion Policy for High Performance Caching
June 1, 2010, 12:00am PDT
High performance cache mechanisms have a great impact on overall performance of computer systems by reducing memory-access latency. Least-Recently Used (LRU) mechanism can achieve good performance...
Provided by University of Wisconsin System
-
White Papers
The Design, Modeling, and Evaluation of the Relax Architectural Framework
April 1, 2010, 12:00am PDT
As transistor technology scales ever further, hardware reliability is becoming harder to manage. The effects of soft errors, variability, wear-out, and yield are intensifying to the point where it...
Provided by University of Wisconsin System
-
White Papers
Revisiting Database Storage Optimizations on Flash
March 1, 2010, 12:00am PST
The database storage hierarchy has been heavily optimized for the performance characteristics of disks. Storage managers typically employ row- or column-oriented storage layouts, or a combination,...
Provided by University of Wisconsin System
-
White Papers
On Energy Management, Load Balancing and Replication
March 1, 2010, 12:00am PST
Energy consumption is a crucial and rising operational cost for data-intensive computing. In this paper the authors investigate some opportunities and challenges that arise in energy-aware...
Provided by University of Wisconsin System
-
White Papers
Directed Proof Generation for Machine Code
February 1, 2010, 12:00am PST
The authors present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification problem...
Provided by University of Wisconsin System
-
White Papers
BCE: Extracting Botnet Commands From Bot Executables
February 1, 2010, 12:00am PST
Botnets are a major threat to the security of computer systems and the Internet. An increasing number of individual Internet sites have been compromised by attacks from all across the world to...
Provided by University of Wisconsin System
-
White Papers
Algorithms and Software for Convex Mixed Integer Nonlinear Programs
October 1, 2009, 12:00am PDT
This paper provides a survey of recent progress and software for solving Mixed Integer NonLinear Programs (MINLP) wherein the objective and constraints are defined by convex functions and...
Provided by University of Wisconsin System
-
White Papers
Solving Large Steiner Triple Covering Problems
September 1, 2009, 12:00am PDT
Computing the 1-width of the incidence matrix of a Steiner Triple System gives rise to small set covering instances that provide a computational challenge for integer programming techniques. One...
Provided by University of Wisconsin System
-
White Papers
MCDASH: Refinement-Based Property Verification for Machine Code
June 1, 2009, 12:00am PDT
This paper presents MCDASH, a refinement-based model checker for machine code. While model checkers such as SLAM, BLAST, and DASH have each made significant contributions in the field of...
Provided by University of Wisconsin System
-
White Papers
Forwardflow: Scalable, RAM-Based Dataflow Execution
September 1, 2009, 12:00am PDT
Power (and thermal) limits have forced an industry-wide shift from increasingly complex uniprocessors to multicore chips with 4, 8, and even 16 simpler processor cores. Yet Amdahl's Law suggests...
Provided by University of Wisconsin System
-
White Papers
RouteBazaar: An Economic Framework for Flexible Routing
April 1, 2009, 12:00am PDT
The Internet's routing protocol provides users a single end-to-end route that is not guaranteed to be available or to meet user requirements. The paper addresses this rigidity using an...
Provided by University of Wisconsin System
-
White Papers
To CMP or Not to CMP: Analyzing Packet Classification on Modern and Traditional Parallel Architectures
February 1, 2009, 12:00am PST
Packet classification is a central component of modern network functionality, yet satisfactory memory usage and overall performance remains an elusive challenge at the highest speeds. The recent...
Provided by University of Wisconsin System
-
White Papers
Building Cheap and Large CAMs Using BufferHash
February 1, 2009, 12:00am PST
The authors show how to build cheap and large CAMs, or CLAMs, using flash memory. These CLAMs are targeted at an emerging class of networking applications that require massive indexes running into...
Provided by University of Wisconsin System
-
White Papers
On the Effectiveness of Pre-Acceptance Spam Filterning
February 1, 2009, 12:00am PST
Modern SMTP servers apply a variety of mechanisms to stem the volume of spam delivered to users. These techniques can be broadly classified into two categories: pre-acceptance approaches, which...
Provided by University of Wisconsin System
-
White Papers
Real-Time GPU-Based Voxelization and Applications
March 1, 2011, 12:00am PST
This paper proposes a new real-time voxelization algorithm using newly available GPU functionalities. The voxelization algorithm is efficient and able to real-time trans-form a highly complex...
Provided by University of Wisconsin System
-
White Papers
Defective Error/Pointer Interactions in the Linux Kernel
March 1, 2011, 12:00am PST
Linux run-time errors are represented by integer values referred to as error codes. These values propagate across long function-call chains before being handled. As these error codes propagate,...
Provided by University of Wisconsin System
-
White Papers
EPIC: Platform-as-a-Service Model for Cloud Networking
February 1, 2011, 12:00am PST
Enterprises today face several challenges when hosting line-of-business applications in the cloud. Central too many of these challenges is the limited support for control over cloud network...
Provided by University of Wisconsin System
-
White Papers
OpenSPLySER: The Integrated OpenSPARC and DySER Design
January 1, 2011, 12:00am PST
The Dynamically Synthesized Execution (DySE) model has been proposed to improve the energy efficiency and performance of general purpose programmable processors. The authors describe how a DySE...
Provided by University of Wisconsin System
-
White Papers
Solving Multiple Dataflow Queries Using WPDSs
March 1, 2008, 12:00am PST
A dataflow query asks for the set of reachable (abstract) states, given a starting set of states. In this paper, the authors show how to optimize multiple queries on the same program (each with a...
Provided by University of Wisconsin System
-
White Papers
Signature Matching in Network Processing Using SIMD/GPU Architectures
January 1, 2008, 12:00am PST
Deep packet inspection is becoming prevalent for modern network processing systems. They inspect packet payloads for a variety of reasons, including intrusion detection, traffic policing, and load...
Provided by University of Wisconsin System
-
White Papers
Building Robust Wireless Mesh Networks Using Directional Antennas: How Many Radios Are Enough?
July 1, 2007, 12:00am PDT
Recently, wireless mesh technology has been used for military applications and fast recovery networks, referred to as Nomadic Wireless Mesh Networks (NWMNs). In such systems, wireless routers,...
Provided by University of Wisconsin System
-
White Papers
MapReduce for the Cell B.E. Architecture
October 1, 2007, 12:00am PDT
MapReduce is a simple and flexible parallel programming model proposed by Google for large scale data processing in a distributed computing environment. In this paper, the authors present a design...
Provided by University of Wisconsin System
-
White Papers
Towards the Analysis of Transactional Software
October 1, 2007, 12:00am PDT
The computer-architecture community's recent focus on multi-core architectures has spurred renewed interest in concurrent-programming techniques and abstractions. For programmers to take advantage...
Provided by University of Wisconsin System
-
White Papers
Static Detection of Atomic-Set-Serializability Violations
October 1, 2007, 12:00am PDT
Vaziri et al. propose a data-centric approach to synchronization. The key underlying concept of their work is the atomic set, which specifies the existence of an invariant that holds on a set of...
Provided by University of Wisconsin System
-
White Papers
A System for Generating Static Analyzers for Machine Instructions
October 1, 2007, 12:00am PDT
There is growing interest in analyzing executables to look for bugs and security vulnerabilities. This paper describes the design and implementation of a language for describing the semantics of...
Provided by University of Wisconsin System
-
White Papers
AFIQ: An Accounting Framework for Inter-Domain QoS With Limited Trust
October 1, 2007, 12:00am PDT
Applications sensitive to service quality, such as interactive video, could fuel the growth of the Internet if the network could support them. ISPs do provide QoS within VPNs, but endhosts...
Provided by University of Wisconsin System
-
White Papers
A New Model for Managing Configuration Data
October 1, 2007, 12:00am PDT
Configuration management is one of the largest causes of system and application failure. In one study, twenty four percent of Windows NT downtime was attributed to system configuration and...
Provided by University of Wisconsin System
-
White Papers
Metadata-Based Parallelization of Program Instrumentation
March 1, 2008, 12:00am PST
Program instrumentation has a wide variety of useful applications, but tool writers must overcome the challenge of substantial overheads caused by introducing additional code and data into a...
Provided by University of Wisconsin System
-
White Papers
A Case for an Over-Provisioned Multicore System: Energy Efficient Processing of Multithreaded Programs
October 1, 2007, 12:00am PDT
Technology scaling has provided system designers with an exploding transistor budget, far more than what was available when the core principles behind many existing commodity microprocessors were...
Provided by University of Wisconsin System
-
White Papers
Serializing Instructions in System-Intensive Workloads: Amdahl's Law Strikes Again
August 1, 2007, 12:00am PDT
To maintain a reasonable level of complexity, processor implementations contain Serializing Instructions (SIs) - instructions, such as those that write control registers, which cannot be executed...
Provided by University of Wisconsin System
-
White Papers
Adapting to Intermittent Faults in Multicore Systems
August 1, 2007, 12:00am PDT
Future multicore processors will become more susceptible to a variety of hardware failures. In particular, intermittent faults, caused in part by manufacturing process variation or in-progress...
Provided by University of Wisconsin System
-
White Papers
TRAC: An Architecture for Real-Time Dissemination of Vehicular Traffic Information
August 1, 2007, 12:00am PDT
Disseminating traffic related information to vehicular users is increasingly becoming a necessity nowadays in the context of Intelligent Transportation Systems (ITS). However, till date there does...
Provided by University of Wisconsin System
-
White Papers
Flash Aware RAID
April 27, 2009, 12:00am PDT
Flash based SSDs are increasing in popularity, performance, and capacity. The advancements made in capacity come at a cost of decreased reliability. Traditional error correcting codes capable of...
Provided by University of Wisconsin
-
White Papers
Detecting and Measuring Similarity in Code Clones
March 20, 2009, 12:00am PDT
Most previous work on code-clone detection has focused on finding identical clones, or clones that are identical up to identifiers and literal values. However, it is often important to find...
Provided by University of Wisconsin
-
White Papers
Evaluating GPUs for Network Packet Signature Matching
February 25, 2009, 12:00am PST
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such services is a signature...
Provided by University of Wisconsin
-
White Papers
Updates for Structure Indexes
January 1, 2011, 12:00am PST
The problem of indexing path queries in semistructured/XML databases has received considerable attention recently, and several proposals have advocated the use of structure indexes as supporting...
Provided by University of Wisconsin
-
White Papers
Some New Directions in Graph-Based Semi-Supervised Learning
March 26, 2009, 12:00am PDT
In this position paper, the authors first review the state-of-the-art in graph-based semi-supervised learning, and point out three limitations that are particularly relevant to multimedia...
Provided by University of Wisconsin
-
White Papers
Avoiding File System Micromanagement With Range Writes
November 3, 2008, 12:00am PST
The authors introduce range writes, a simple but powerful change to the disk interface that removes the need for file system micromanagement of block placement. By allowing a file system to...
Provided by University of Wisconsin
-
White Papers
Efficient Context-Sensitive Intrusion Detection
January 1, 2011, 12:00am PST
Model-based intrusion detection compares a process's execution against a program model to detect intrusion attempts. Models constructed from static program analysis have historically traded...
Provided by University of Wisconsin
-
White Papers
Implementing Signatures for Transactional Memory
September 23, 2007, 12:00am PDT
Transactional Memory (TM) systems must track the read and write sets - items read and written during a transaction - to detect conflicts among concurrent transactions. Several TMs use signatures,...
Provided by University of Wisconsin
-
White Papers
Analysis of SPKI/SDSI Certificates Using Model Checking
January 1, 2011, 12:00am PST
SPKI/SDSI is a framework for expressing naming and authorization issues that arise in a distributed-computing environment. In this paper, the authors establish a connection between SPKI/SDSI and a...
Provided by University of Wisconsin
-
White Papers
Content-Preserving Warps for 3D Video Stabilization
May 16, 2009, 12:00am PDT
The authors describe a technique that transforms a video from a hand-held video camera so that it appears as if it were taken with a directed camera motion. The method adjusts the video to appear...
Provided by University of Wisconsin
-
White Papers
A Non-Blocking Parallel Spatial Join Algorithm
January 1, 2011, 12:00am PST
Interest in incremental and adaptive query processing has led to the investigation of equijoin evaluation algorithms that are non-blocking. This investigation has yielded a number of algorithms,...
Provided by University of Wisconsin
-
White Papers
Automatic Verification of Strongly Dynamic Software Systems
January 1, 2011, 12:00am PST
Strongly dynamic software systems are difficult to verify. By strongly dynamic, the authors mean that the actors in such systems change dynamically, that the resources used by such systems are...
Provided by University of Wisconsin
-
White Papers
Static Program Analysis Via 3-Valued Logic
January 1, 2011, 12:00am PST
This paper reviews the principles behind the paradigm of "Abstract interpretation via 3-valued logic," discusses recent work to extend the approach, and summarizes ongoing research aimed at...
Provided by University of Wisconsin
-
White Papers
Program Analysis Using Weighted Pushdown Systems
September 18, 2007, 12:00am PDT
Pushdown Systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each configuration hp, Si in the...
Provided by University of Wisconsin
-
White Papers
Interprocedural Analysis of Concurrent Programs Under a Context Bound
December 31, 2007, 12:00am PST
In this paper, the authors show that context-bounded analysis is decidable for certain families of infinite-state abstractions, and also provide a new symbolic algorithm for the finite-state case....
Provided by University of Wisconsin
-
White Papers
Finding Concurrency-Related Bugs Using Random Isolation
October 29, 2008, 12:00am PDT
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion is based on...
Provided by University of Wisconsin
-
White Papers
Implementing OKBC Knowledge Model Using Object Relational Capabilities of Oracle 8
January 1, 2011, 12:00am PST
PERK is a storage system that loads Knowledge Bases (KB) from the Oracle DBMS. Its current limitation is the inability to do client-side memory flushing out. In this paper, the authors present a...
Provided by University of Wisconsin
-
White Papers
Traffic-Aware Channel Assignment in Enterprise Wireless LANs
September 3, 2007, 12:00am PDT
Campus and enterprise wireless networks are increasingly characterized by ubiquitous coverage and rising traffic demands. Efficiently assigning channels to Access Points (APs) in these networks...
Provided by University of Wisconsin
-
White Papers
Model Checking X86 Executables With CodeSurfer/x86 and WPDS++
January 1, 2011, 12:00am PST
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a model from an...
Provided by University of Wisconsin
-
White Papers
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph
January 1, 2011, 12:00am PST
The authors present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and deletion of...
Provided by University of Wisconsin
-
White Papers
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes With Locks
March 13, 2010, 12:00am PST
The problem of interest is to verify data consistency of a concurrent Java program. In particular, the authors present a new decision procedure for verifying that a class of data races caused by...
Provided by University of Wisconsin
-
White Papers
Program Analysis Via Graph Reachability
January 1, 2011, 12:00am PST
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are amenable to this...
Provided by University of Wisconsin
-
White Papers
Matchmaking: Distributed Resource Management for High Throughput Computing
January 1, 2011, 12:00am PST
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. The authors argue that this paradigm does not adapt well...
Provided by University of Wisconsin
-
White Papers
Tolerating File-System Mistakes With EnvyFS
May 22, 2009, 12:00am PDT
The authors introduce EnvyFS, an N-version local file system designed to improve reliability in the face of file-system bugs. EnvyFS, implemented as a thin VFS-like layer near the top of the...
Provided by University of Wisconsin
-
White Papers
Towards Automatically Checking Thousands of Failures With Micro-Specifications
September 6, 2010, 12:00am PDT
Recent data-loss incidents have shown that existing large distributed systems are still vulnerable to failures. To improve the situation, the authors propose two new testing approaches: Failure...
Provided by University of Wisconsin
-
White Papers
Static Verification of Data-Consistency Properties
August 18, 2009, 12:00am PDT
To leverage the increased processing power of modern multicore processors, programmers are left with the burden of writing concurrent programs. A popular language for writing concurrent programs...
Provided by University of Wisconsin
-
White Papers
Cheap and Large CAMs for High Performance Data-Intensive Networked Systems
March 3, 2010, 12:00am PST
The authors show how to build cheap and large CAMs, or CLAMs, using a combination of DRAM and flash memory. These are targeted at emerging data-intensive networked systems that require massive...
Provided by University of Wisconsin
-
White Papers
Verifying Information Flow Control Over Unbounded Processes
August 8, 2009, 12:00am PDT
Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that restricts interactions...
Provided by University of Wisconsin
-
White Papers
Protecting Commodity Operating System Kernels From Vulnerable Device Drivers
December 1, 2009, 12:00am PST
Device drivers on commodity operating systems execute with kernel privilege and have unfettered access to kernel data structures. Several recent attacks demonstrate that such poor isolation...
Provided by University of Wisconsin
-
White Papers
On Generalized Authorization Problems
January 1, 2011, 12:00am PST
This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations of the framework...
Provided by University of Wisconsin
-
White Papers
Improved Memory-Access Analysis for X86 Executables
February 1, 2008, 12:00am PST
Over the last seven years, the authors have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executable,...
Provided by University of Wisconsin
-
White Papers
Garuda: A Cloud-Based Job Scheduler
May 8, 2010, 12:00am PDT
The authors present the design and implementation details of Garuda, a cloud based job scheduler using Google App Engine as the underlying cloud provider. The goal of the project is to demonstrate...
Provided by University of Wisconsin
-
White Papers
HijackGL: Reconstructing From Streams for Stylized Rendering
January 1, 2011, 12:00am PST
This work shows that intercepting a low-level graphics library command stream and reconstructing a declarative representation is practical and useful, especially for exploring new rendering...
Provided by University of Wisconsin
-
White Papers
FlashVM: Revisiting the Virtual Memory Hierarchy
April 20, 2009, 12:00am PDT
Flash memory is the largest change to storage in recent history. Most research to date has focused on integrating flash as persistent storage in file systems, with little emphasis on virtual...
Provided by University of Wisconsin
-
White Papers
Using Proximity Search to Estimate Authority Flow
July 30, 2009, 12:00am PDT
Authority flow and proximity search have been used extensively in measuring the association between entities in data graphs, ranging from the Web to relational and XML databases. These two ranking...
Provided by University of Wisconsin
-
White Papers
Power-Efficient DRAM Speculation
December 18, 2007, 12:00am PST
Power-Efficient DRAM Speculation (PEDS) is a power optimization targeted at broadcast-based shared memory multiprocessor systems that speculatively access DRAM in parallel with the broadcast...
Provided by University of Wisconsin
-
White Papers
COVERT: Configurable Virtual Redundancy With Transparent Availability on Commodity Software
January 24, 2008, 12:00am PST
Scaling integrated circuit technology into the deep submicron regime is expected to increase both soft and hard error rates significantly. Therefore, providing high availability in the presence of...
Provided by University of Wisconsin
-
White Papers
Multi-Byte Regular Expression Matching With Speculation
October 14, 2009, 12:00am PDT
Intrusion prevention systems determine whether incoming traffic matches a database of signatures, where each signature in the database represents an attack or a vulnerability. IPSs need to keep up...
Provided by University of Wisconsin
-
White Papers
Analyzing Capsicum for Usability and Performance
December 23, 2010, 12:00am PST
In this paper the author investigates Capsicum, an ex-tension to UNIX that introduces a new security model on top of existing UNIX architecture. This model consists of several new security...
Provided by University of Wisconsin
-
White Papers
Failure Analysis of SGI XFS File System
January 1, 2011, 12:00am PST
Commodity file systems expect a fail stop disk. But to-days disks fail in unexpected ways. Disks exhibit latent sector errors, silent corruption and transient failures to name a few. In this paper...
Provided by University of Wisconsin
-
White Papers
Using Slicing to Identify Duplication in Source Code
January 1, 2011, 12:00am PST
Programs often have a lot of duplicated code, which makes both understanding and maintenance more difficult. This problem can be alleviated by detecting duplicated code, extracting it into a...
Provided by University of Wisconsin
-
White Papers
An SLA Perspective on the Router Buffer Sizing Problem
October 29, 2007, 12:00am PDT
In this paper, the authors discuss recent work on buffer sizing in the context of an ISP's need to offer and guarantee competitive Service Level Agreements (SLAs) to its customers. Since SLAs...
Provided by University of Wisconsin
-
White Papers
Resource Deployment Based on Autonomous System Clustering
January 1, 2011, 12:00am PST
Effective placement of resources used to support distributed services in the Internet depends on an accurate representation of Internet topology and routing. Representations of Autonomous System...
Provided by University of Wisconsin
-
White Papers
Traffic Anomaly Detection at Fine Time Scales With Bayes Nets
April 17, 2008, 12:00am PDT
Traffic anomaly detection using high performance measurement systems offers the possibility of improving the speed of detection and enabling detection of important, short-lived anomalies. In this...
Provided by University of Wisconsin
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
