Wisconsin Alumni Research Foundation

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

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

Decimal Floating-Point Adder

Although most people use decimal arithmetic when performing calculations, computer hardware usually only supports binary arithmetic. Numbers are typically input in decimal form, converted to binary fo...
Learn More
Michael Schulte, John Thompson, Nandini Jairam | P04245US

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

Data Flow Execution of Methods in Sequential Programs

To improve the speed of a computer program, computer systems run instructions from a program in parallel, but maintain the effect of running these instructions one after another. Systems with multiple...
Learn More
Gurindar Sohi, Saisanthosh Balakrishnan | P07057US

WARF