HTTP/1.1 200 OK Connection: close Date: Thu, 09 Oct 2003 20:57:16 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 5452 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 11:09:36 GMT Cache-Last-Checked: Mon, 20 Oct 2003 15:30:27 GMT Client-Date: Mon, 20 Oct 2003 15:30:24 GMT Client-Response-Num: 1 Proxy-Agent: Netscape-Proxy/3.52 Title: DBLP: Brian Bailey
2003 | ||
---|---|---|
8 | EE | Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711 |
2002 | ||
7 | EE | Gary Smith, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey: Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? DAC 2002: 479 |
2001 | ||
6 | EE | Brian Bailey, Joseph A. Konstan, John V. Carlis: DEMAIS: designing multimedia applications with interactive storyboards. ACM Multimedia 2001: 241-250 |
5 | Brian Bailey, Daniel Gajski: RTL semantics and methodology. ISSS 2001: 69-74 | |
4 | Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda: New design paradigms. ISSS 2001: 94 | |
2000 | ||
3 | EE | Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts: Generating presentation constraints from rhetorical structure. Hypertext 2000: 19-28 |
1999 | ||
2 | EE | Brian Bailey: Interactive sketching of multimedia storyboards. ACM Multimedia (2) 1999: 205-206 |
1998 | ||
1 | EE | Brian Bailey, Joseph A. Konstan, Robert Cooley, Moses Dejong: Nsync - A Toolkit for Building Interactive Multimedia Presentations. ACM Multimedia 1998: 257-266 |