Computer Engineering Seminars

Transactional Coherence and Consistency (TCC)

The Pros and Cons of Very-Low-Voltage Testing

Defect Aware Tests

Voodoo – Architectural support for composing fast/secure software

Low-power interconnection networks

Designing Commercial Servers and Token Coherence

Resolution-Based Simplification Techniques of CNF Formulas

High speed CMOS transceivers for parallel optical interconnects

Challenges in the Evolution of Server-class Instruction-set Architectures

Efficient SAT-based Bounded Model Checking for Software Verification

Exploring the Limits of Prefetching

Next-Generation Wireless LAN Technology