- Subscribe to this page:
- RSS
- Email Alert
University of Wisconsin System
(40 results)-
White Papers
Whatever it is, you can get it on the Internet: Toward an Information-Based Network Architecture
August 21, 2009, 12:00am PDT
Recent suggestions for content-centric networking propose naming content directly and to resolve a content name to host locations. Content can then be served from any host holding it. The authors...
Provided by University of Wisconsin System
-
White Papers
CPU Futures: Scheduler Support for Application Management of CPU Contention
December 1, 2010, 12:00am PST
The authors introduce CPU Futures, a system designed to enable application control of scheduling for server workloads, even during system overload. CPU Futures contains two novel components: an...
Provided by University of Wisconsin System
-
White Papers
Design and Evaluation of Dynamically Specialized Datapaths With the DySER Architecture
November 1, 2010, 12:00am PDT
Due to limits in technology scaling, energy efficiency of logic devices is decreasing in successive generations. To provide continued performance improvements without increasing power, regardless...
Provided by University of Wisconsin System
-
White Papers
Valid Inequalities for the Pooling Problem With Binary Variables
November 1, 2010, 12:00am PDT
The pooling problem consists of finding the optimal quantity of final products to obtain by blending different compositions of raw materials in pools. Bilinear terms are required to model the...
Provided by University of Wisconsin System
-
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
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
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
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
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
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 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
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 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Valid Inequalities for the Pooling Problem With Binary Variables
November 1, 2010, 12:00am PDT
The pooling problem consists of finding the optimal quantity of final products to obtain by blending different compositions of raw materials in pools. Bilinear terms are required to model the...
Provided by University of Wisconsin System
-
White Papers
Design and Evaluation of Dynamically Specialized Datapaths With the DySER Architecture
November 1, 2010, 12:00am PDT
Due to limits in technology scaling, energy efficiency of logic devices is decreasing in successive generations. To provide continued performance improvements without increasing power, regardless...
Provided by University of Wisconsin System
-
White Papers
CPU Futures: Scheduler Support for Application Management of CPU Contention
December 1, 2010, 12:00am PST
The authors introduce CPU Futures, a system designed to enable application control of scheduling for server workloads, even during system overload. CPU Futures contains two novel components: an...
Provided by University of Wisconsin System
-
White Papers
Whatever it is, you can get it on the Internet: Toward an Information-Based Network Architecture
August 21, 2009, 12:00am PDT
Recent suggestions for content-centric networking propose naming content directly and to resolve a content name to host locations. Content can then be served from any host holding it. The authors...
Provided by University of Wisconsin System
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!
