Browse by Date

Showing 1-20 of 1694

Reuse-based Analytical Models for Caches

Wood, David A.; Sen, Rathijit (Nov 18, 2011)
Inapproximability After Uniqueness Phase Transition in Two-Spin Systems

Cai, Jin-Yi; Chen, Xi; Guo, Heng; Lu, Pinyan (Dec 2011)
A Method for Symbolic Computation

Reps, Thomas; Thakur, Aditya (Dec 2011)
A Generalization of Staalmarck's Method

Reps, Thomas; Thakur, Aditya (University of Wisconsin-Madison Department of Computer Sciences; Dec 2011)
Consistency Without Ordering

Arpaci-Dusseau, Remzi H.; Arpaci-Dusseau, Andrea C.; Sharma, Tushar; Chidambaram, Vijay (Jan 2012)
The Multimodal Focused Topic Model: A Nonparametric Bayesian Approach to Simultaneous Object Classification and Attribute Discovery

Zhu, Xiaojin; Dyer, Charles R.; Rosin, Jake (Jan 2012)
Secure Programming via Visibly Pushdown Safety Games

Harris, William; Jha, Somesh; Reps, Thomas (Jan 2012)
A Method for Symbolic Computation of Abstract Operations

Thakur, Aditya; Reps, Thomas (Feb 2012)
Executable Slicing via Procedure Specialization

Reps, Thomas; Joiner, Rich; Horwitz, Susan; Aung, Min (Mar 2012)
Solution of Nonlinear Two-Point Boundary Value Problems by Linear Programming

Rosen, J.B.; Meyer, Robert (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A User-Oriented Description of Scheduler

Timmreck, Eric M. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Schedule - A Program that Uses Instructor and Student Preferences to Form Timetables

Timmreck, Eric M. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
3600 Drum Scope System Routines for the DD212 Terminal

Venezky, Richard (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
The Anatomy of an Algol Procedure

London, Ralph; Wassernan, Anthony (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Current Research in the Computer Simulation of Historical Changes in Language

Klein, Sheldon (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Storage, Retrieval, and Editing of Information for a Dictionary

Venezky, Richard L. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A Semantic Associational Memory Net That Learns and Answers Questions

Shapiro, Stuart C.; Woodmansee, G. H.; Krueger, Myron W. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Numerical Studies of Two Dimensional, Steady State Navier-Stokes Equations for Arbitrary Reynolds Number

Greenspan, Donald (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A Decomposition Method for Structured Linear and Non-Linear Programs

Grigoriadis, M.D.; Ritter, K. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Numerical Studies of Viscous, Incompressible Flow for Arbitrary Reynolds Number

Greenspan, Donald (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

Showing 1-20 of 1694