E. Walkup

Optimization of linear max-plus systems with application to timing analysis

Elizabeth A. Walkup, E. Walkup, 1996 .

Interface Timing Veri cation with Application to Synthesis

Gaetano Borriello, Elizabeth A. Walkup, G. Borriello, 1994 .

Correcting Coalescent Analyses for Panel-Based SNP Ascertainment

James R. McGill, M. Kuhner, E. Walkup, 2013, Genetics.

Scheduling for reactive real-time systems

Gaetano Borriello, Pai H. Chou, Elizabeth A. Walkup, 1994, IEEE Micro.

Interface Timing Verification with Application to Synthesis

Gaetano Borriello, Elizabeth A. Walkup, G. Borriello, 1994, 31st Design Automation Conference.

Interface Timing Verification with Combined Max and Linear Constraints

Gaetano Borriello, Elizabeth A. Walkup, G. Borriello, 1994 .

Automatic Synthesis of Device Drivers for Hardware/Software Co-design

Gaetano Borriello, Elizabeth A. Walkup, G. Borriello, 1993 .