Daniel Holcomb

	2011
3		Daniel Holcomb, Bryan A. Brady, Sanjit A. Seshia: Abstraction-based performance verification of NoCs. DAC 2011: 492-497
2		Bryan A. Brady, Daniel Holcomb, Sanjit A. Seshia: Counterexample-guided SMT-driven optimal buffer sizing. DATE 2011: 329-334
	2009
1		Daniel Holcomb, Wenchao Li, Sanjit A. Seshia: Design as you see FIT: System-level soft error analysis of sequential circuits. DATE 2009: 785-790

Coauthor Index

1	Bryan A. Brady	[2] [3]
2	Wenchao Li	[1]
3	Sanjit A. Seshia	[1] [2] [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page