Search
Now showing items 231-238 of 238
Algorithms and Software for Convex Mixed Integer Nonlinear Programs
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
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 integrality
restrictions are ...
The Case for Fine-Grained Traffic Engineering in Data Centers
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
Data center traffic characteristics are not well understood.
In particular, it is not clear how the prevalent
traffic patterns may impact candidate mechanisms for
managing traffic inside the data centers. In this ...
Solving Large Steiner Triple Covering Problems
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
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 major
source of difficulty ...
Population Monte Carlo Samplers for Rendering
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
We present novel samplers and algorithms for Monte Carlo rendering.
The adaptive image-plane sampler selects pixels for
refinement according to a perceptually-weighted variance criteria.
The hemispheric integrals sampler ...
TRAC: An Architecture for Real-Time Dissemination of Vehicular Traffic Information
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
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 not exist an efficient ...
Static Verification of Data-Consistency Properties
(University of Wisconsin-Madison Department of Computer Sciences, 2009)
Writing correct shared-memory concurrent programs is hard. Not only must a
programmer reason about the correctness of the sequential execution of code, but
also about the possible side effects caused by interleaved ...
Adapting to Intermittent Faults in Multicore Systems
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
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 wear-out, can cause bursts ...
A Customized MVA Model for Shared-Memory Systems with Heterogeneous Applications
(University of Wisconsin-Madison Department of Computer Sciences, 2001)








