Wisconsin Alumni Research Foundation

Technology

Fill-In Forms Software

Many offices today keep a typewriter in order to fill out miscellaneous forms, because there is no universally accessible software that makes filling in forms easy. There is an acute need for an appli...
Learn More
Robin Berglund, Sergei Bezroukov | T05021US

Technology

Operating System Support for Restartable File Systems

Operating systems, such as Microsoft Windows or Linux, provide one or more file systems to store and organize data. A file system stores file data on a storage device and makes the data available to t...
Learn More
Michael Swift, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale | P110059US01

Technology

SISO Model Predictive Controller

Currently, most single-input, single-output (SISO) systems use a proportional, integral, derivative (PID) controller. The PID controller is simple, fast, and easily implemented on simple computing har...
Learn More
James Rawlings, Gabriele Pannocchia, Nabil Laachi | P04113US

Technology

Efficient Statistical Timing Analysis of Circuits

For integrated circuits, including very large scale integration (VLSI) circuits, to work properly, the signals traveling along the gates and interconnects must be properly timed. Using classical case ...
Learn More
Lizheng Zhang, Chung-Ping Chen, Yu Hen Hu | P04377US

Technology

Efficient Statistical Timing Analysis of Circuits

For integrated circuits such as very large scale integrated (VLSI) circuits to work properly, signals traveling on them must arrive at their destination at the proper time. However, there are many sou...
Learn More
Lizheng Zhang, Chung-Ping Chen, Yu Hen Hu | P06158US

Technology

Implementation of System Dependence Graphs

This software program consists of a collection of C modules (C-type definitions and associated code) for implementing: System dependent graphs -- a data structure representing the dependencies th...
Learn More
Thomas Reps | P97131US

Technology

Compiler Front-end for C programs

This software translates a C program from text into abstract-syntax tree, control-flow graph and call graph representations. It also builds symbol tables, and does type checking and other static-sem...
Learn More
Susan Horwitz | P97130US

WARF