dblp.uni-trier.dewww.uni-trier.de

Bill Lin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
66EENan Hua, Bill Lin, Jun (Jim) Xu, Haiquan (Chuck) Zhao: BRICK: a novel exact active statistics counter architecture. ANCS 2008: 89-98
65EEShan Yan, Bill Lin: Application-specific Network-on-Chip architecture synthesis based on set partitions and Steiner Trees. ASP-DAC 2008: 277-282
64EERohit Sunkam Ramanujam, Bill Lin: Near-optimal oblivious routing on three-dimensional mesh networks. ICCD 2008: 134-141
63EEShan Yan, Bill Lin: Design of application-specific 3D Networks-on-Chip architectures. ICCD 2008: 142-149
62EEJerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck: Proactive Surge Protection: A Defense Mechanism for Bandwidth-Based Attacks. USENIX Security Symposium 2008: 123-138
2007
61EEBill Lin, Isaac Keslassy: Frame-aggregated concurrent matching switch. ANCS 2007: 107-116
60EEBill Lin, Wai-Shing Ho, Ben Kao, Chun Kit Chui: Adaptive Frequency Counting over Bursty Data Streams. CIDM 2007: 516-523
59EEHao Wang, Bill Lin: Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications. INFOCOM 2007: 2471-2475
58EEShan Yan, Bill Lin: Stream execution on wide-issue clustered VLIW architectures. LCTES 2007: 158-160
57EEBill Lin: Compiling concurrent programs for embedded sequential execution. Integration 40(2): 106-117 (2007)
2006
56EEHao Wang, Bill Lin: On the Efficient Implementation of Pipelined Heaps for Network Processing. GLOBECOM 2006
55EEBill Lin, Isaac Keslassy: The Concurrent Matching Switch Architecture. INFOCOM 2006
2005
54EEBill Lin, Isaac Keslassy: A Scalable Switch for Service Guarantees. Hot Interconnects 2005: 93-99
53EEStefano Santi, Bill Lin, Ljupco Kocarev, Gian Mario Maggio, Riccardo Rovatti, Gianluca Setti: On the impact of traffic statistics on quality of service for networks on chip. ISCAS (3) 2005: 2349-2352
2000
52 Ranjita Bhagwan, Bill Lin: Design of High-Speed Packet Switch with Fine-Grained Quality-of-Service Guarantees. ICC (3) 2000: 1430-1434
51EERanjita Bhagwan, Bill Lin: Fast and Scalable Priority Queue Architecture for High-Speed Network Switches. INFOCOM 2000: 538-547
1999
50EEXiaohan Zhu, Bill Lin: Hardware Compilation for FPGA-Based Configurable Computing Machines. DAC 1999: 697-702
49EEXiaohan Zhu, Bill Lin: Compositional Software Synthesis of Communicating Processes. ICCD 1999: 646-651
1998
48EEBill Lin: Software Synthesis of Process-Based Concurrent Programs. DAC 1998: 502-505
47EEBill Lin: Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling. DATE 1998: 211-217
46EESteven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin: Efficient Verification using Generalized Partial Order Analysis. DATE 1998: 782-789
45EEKenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: BDD-based synthesis of extended burst-mode controllers. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 782-792 (1998)
1997
44EEJulio Leao da Silva Jr., Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, Gjalt G. de Jong: A System Design Methodology for Telecommunication Network Applications. Great Lakes Symposium on VLSI 1997: 64-69
43EESteven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin: Derivation of Formal Representations from Process-Based Specification and Implementation Models. ISSS 1997: 16-
42EEMilton H. Sawasaki, Chantal Ykman-Couvreur, Bill Lin: Externally hazard-free implementations of asynchronous control circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(8): 835-848 (1997)
1996
41EEBill Lin, Steven Vercauteren, Hugo De Man: Embedded Architecture Co-Synthesis and System Integration. CODES 1996: 2-9
40EESteven Vercauteren, Bill Lin, Hugo De Man: Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications. DAC 1996: 521-526
39EEEric Verlind, Gjalt G. de Jong, Bill Lin: Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. DAC 1996: 55-58
38EEBill Lin: A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications. DAC 1996: 672-677
37EESteven Vercauteren, Bill Lin, Hugo De Man: A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures. DAC 1996: 678-683
36EESven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man: Flow Graph Balancing for Minimizing the Required Memory Bandwidth. ISSS 1996: 127-132
35EEChi-Ying Tsui, José C. Monteiro, Massoud Pedram, Srinivas Devadas, Alvin M. Despain, Bill Lin: Correction to "Power Estimation Methods for Sequential Logic Circuits" [Correspondence]. IEEE Trans. VLSI Syst. 4(4): 495 (1996)
1995
34EERobert M. Fuhrer, Bill Lin, Steven M. Nowick: Algorithms for the optimal state assignment of asynchronous state machines. ARVLSI 1995: 59-75
33EEChantal Ykman-Couvreur, Bill Lin: Optimised state assignment for asynchronous circuit synthesis. ASYNC 1995: 118-127
32EEBill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717
31EEMilton H. Sawasaki, Chantal Ykman-Couvreur, Bill Lin: Externally Hazard-Free Implementations of Asynchronous Circuits. DAC 1995: 718-724
30EEGjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor: Background memory management for dynamic data structure intensive processing systems. ICCAD 1995: 515-520
29EERobert M. Fuhrer, Bill Lin, Steven M. Nowick: Symbolic hazard-free minimization and encoding of asynchronous finite state machines. ICCAD 1995: 604-611
28EEChantal Ykman-Couvreur, Bill Lin: Efficient state assignment framework for asynchronous state graphs. ICCD 1995: 692-
27EEChi-Ying Tsui, José C. Monteiro, Massoud Pedram, Srinivas Devadas, Alvin M. Despain, Bill Lin: Power estimation methods for sequential logic circuits. IEEE Trans. VLSI Syst. 3(3): 404-416 (1995)
26EEBill Lin, Srinivas Devadas: Synthesis of hazard-free multilevel logic under multiple-input changes from binary decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 14(8): 974-985 (1995)
1994
25EEJosé C. Monteiro, Srinivas Devadas, Bill Lin: A Methodology for Efficient Estimation of Switching Activity in Sequential Logic Circuits. DAC 1994: 12-17
24EEGjalt G. de Jong, Bill Lin: A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. DAC 1994: 49-55
23EEAlex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev: Basic Gate Implementation of Speed-Independent Circuits. DAC 1994: 56-62
22EEEric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man: A Time Abstraction Method for Efficient Verification of Communicating Systems. DAC 1994: 609-614
21 Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill Lin, Hugo De Man: A Generalized Signal Transition Graph Model for Specification of Complex Interfaces. EDAC-ETC-EUROASIC 1994: 378-384
20EEBill Lin, Chantal Ykman-Couvreur, Peter Vanbekbergen: A general state graph transformation framework for asynchronous synthesis. EURO-DAC 1994: 448-453
19EEBill Lin, Steven Vercauteren: Synthesis of concurrent system interface modules with automatic protocol conversion generation. ICCAD 1994: 101-108
18EEGert Goossens, Ivo Bolsens, Bill Lin, Francky Catthoor: Design of heterogeneous ICs for mobile and personal communication systems. ICCAD 1994: 524-531
17EEBill Lin, Srinivas Devadas: Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams. ICCAD 1994: 542-549
16EEKenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: Performance-driven synthesis of asynchronous controllers. ICCAD 1994: 550-557
15EEPeter Vanbekbergen, Bill Lin, Gert Goossens, Hugo De Man: A generalized state assignment theory for transformations on signal transition graphs. VLSI Signal Processing 7(1-2): 101-115 (1994)
1993
14EETilman Kolks, Bill Lin, Hugo De Man: Sizing and verification of communication buffers for communicating processes. ICCAD 1993: 660-664
13 Bill Lin, Hugo De Man: Low-Power Driven Technology Mapping under Timing Constraints. ICCD 1993: 421-427
12 Bill Lin: Efficient Symbolic Support Manipulation. ICCD 1993: 513-516
1992
11EEBill Lin, Olivier Coudert, Jean Christophe Madre: Symbolic Prime Generation for Multiple-Valued Functions. DAC 1992: 40-44
10EEPeter Vanbekbergen, Bill Lin, Gert Goossens, Hugo De Man: A generalized state assignment theory for transformation on signal transition graphs. ICCAD 1992: 112-117
9EETakayasu Sakurai, Bill Lin, A. Richard Newton: Fast simulated diffusion: an optimization algorithm for multiminimum problems and its application to MOSFET model parameter extraction. IEEE Trans. on CAD of Integrated Circuits and Systems 11(2): 228-234 (1992)
1991
8 Bill Lin, A. Richard Newton: Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams. ICCD 1991: 81-85
7 Bill Lin, A. Richard Newton: Exact Redundant State Registers Removal Based on Binary Decision Diagrams. VLSI 1991: 277-286
6EEXuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton: MUSE: a multilevel symbolic encoding algorithm for state assignment. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 28-38 (1991)
1990
5 Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD 1990: 130-133
4 Bill Lin, Hervé J. Touati, A. Richard Newton: Don't Care Minimization of Multi-Level Sequential Logic Networks. ICCAD 1990: 414-417
3 Bill Lin, Fabio Somenzi: Minimization of Symbolic Relations. ICCAD 1990: 88-91
2EEBill Lin, A. Richard Newton: A circuit disassembly technique for synthesizing symbolic layouts from mask descriptions. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 959-969 (1990)
1987
1EEBill Lin, A. Richard Newton: KAHLUA: A Hierarchical Circuit Disassembler. DAC 1987: 311-317

Coauthor Index

1Ranjita Bhagwan [51] [52]
2Ivo Bolsens [18]
3Robert K. Brayton [5]
4Francky Catthoor [18] [30] [36]
5Jerry Chou [62]
6Chun Kit Chui [60]
7Olivier Coudert [11]
8Alvin M. Despain [27] [35]
9Srinivas Devadas [16] [17] [25] [26] [27] [35] [45]
10David L. Dill [16] [45]
11Xuejun Du [6]
12Robert M. Fuhrer [29] [34]
13Gert Goossens [10] [15] [18]
14Gary D. Hachtel [6]
15Wai-Shing Ho [60]
16Nan Hua [66]
17Gjalt G. de Jong [22] [24] [30] [32] [36] [39] [43] [44] [46]
18Ben Kao (Benjamin C. M. Kao) [60]
19Isaac Keslassy [54] [55] [61]
20Michael Kishinevsky [23]
21Ljupco Kocarev [53]
22Tilman Kolks [14] [22] [32]
23Alex Kondratyev [23]
24Jean Christophe Madre [11]
25Gian Mario Maggio [53]
26Hugo De Man [10] [13] [14] [15] [21] [22] [36] [37] [40] [41] [44]
27José C. Monteiro (José Monteiro) [25] [27] [35]
28A. Richard Newton [1] [2] [4] [6] [7] [8] [9]
29Steven M. Nowick [29] [34]
30Massoud Pedram [27] [35]
31Rohit Sunkam Ramanujam [64]
32Riccardo Rovatti [53]
33Takayasu Sakurai [9]
34Alberto L. Sangiovanni-Vincentelli [5]
35Stefano Santi [53]
36Hamid Savoj [5]
37Milton H. Sawasaki [31] [42]
38Subhabrata Sen [62]
39Gianluca Setti [53]
40Julio Leao da Silva Jr. [44]
41Fabio Somenzi [3]
42Oliver Spatscheck [62]
43Hervé J. Touati [4] [5]
44Chi-Ying Tsui [27] [35]
45Peter Vanbekbergen [10] [15] [20] [21] [23]
46Steven Vercauteren [19] [37] [40] [41] [43] [46]
47Carl Verdonck [30]
48Diederik Verkest [43] [46]
49Eric Verlind [22] [39]
50Hao Wang [56] [59]
51Sven Wuytack [30] [36]
52Jun (Jim) Xu [66]
53Alexandre Yakovlev [23]
54Shan Yan [58] [63] [65]
55Chantal Ykman-Couvreur [20] [21] [28] [31] [33] [42] [44]
56Kenneth Y. Yun [16] [45]
57Haiquan (Chuck) Zhao [66]
58Xiaohan Zhu [49] [50]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)