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

Harry Hsieh

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

2008
24EEEric Cheung, Harry Hsieh, Felice Balarin: Software optimization for MPSoC: a mpeg-2 decoder case study. CODES+ISSS 2008: 43-48
2007
23EEJia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang, Felice Balarin: Assertion-Based Design Exploration of DVS in Network Processor Architectures CoRR abs/0710.4714: (2007)
22EERyan Mannion, Harry Hsieh, Susan Cotterell, Frank Vahid: System Synthesis for Networks of Programmable Blocks CoRR abs/0710.4798: (2007)
2006
21EEGuang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli: Communication and co-simulation infrastructure for heterogeneous system integration. DATE 2006: 462-467
20EEXi Chen, Harry Hsieh, Felice Balarin: Verification Approach of Metropolis Design Framework for Embedded Systems. International Journal of Parallel Programming 34(1): 3-27 (2006)
2005
19EEXi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe: Simulation based deadlock analysis for system level designs. DAC 2005: 260-265
18EERyan Mannion, Harry Hsieh, Susan Cotterell, Frank Vahid: System Synthesis for Networks of Programmable Blocks. DATE 2005: 888-893
17EEJia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang, Felice Balarin: Assertion-Based Design Exploration of DVS in Network Processor Architectures. DATE 2005: 92-97
16EESusan Cotterell, Ryan Mannion, Frank Vahid, Harry Hsieh: eBlocks - an enabling technology for basic sensor based systems. IPSN 2005: 422-427
2004
15EEXi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin: Utilizing Formal Assertions for System Design of Network Processors. DATE 2004: 126-133
14EEXi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Logic of constraints: a quantitative performance and functional constraint formalism. IEEE Trans. on CAD of Integrated Circuits and Systems 23(8): 1243-1255 (2004)
2003
13EEXi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Case Studies of Model Checking for Embedded System Designs. ACSD 2003: 20-28
12EESusan Cotterell, Frank Vahid, Walid A. Najjar, Harry Hsieh: First results with eBlocks: embedded systems building blocks. CODES+ISSS 2003: 168-175
11EEXi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Automatic trace analysis for logic of constraints. DAC 2003: 460-465
10EEXi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Automatic Generation of Simulation Monitors from Quantitative Constraint Formula. DATE 2003: 11174-11175
9EEFelice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer 36(4): 45-52 (2003)
2001
8EEHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 1016-1033 (2001)
2000
7EEHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612
1999
6EEHarry Hsieh, Felice Balarin: Synchronous equivalence for embedded systems: a tool for design exploration. ICCAD 1999: 505-510
5EEFelice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
1997
4EEHarry Hsieh, Alberto L. Sangiovanni-Vincentelli: Modeling micro-controller peripherals for high-level co-simulation and synthesis. CODES 1997: 127-134
1996
3EEFelice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
1995
2EEMassimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
1994
1EELuciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki: A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224

Coauthor Index

1Felice Balarin [3] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [17] [20] [21] [23] [24]
2Laxmi N. Bhuyan [15]
3Xi Chen [10] [11] [13] [14] [15] [17] [19] [20] [21] [23]
4Eric Cheung [24]
5Massimiliano Chiodo [1] [2] [5]
6Susan Cotterell [12] [16] [18] [22]
7Abhijit Davare [19]
8Paolo Giusto [1] [2] [5]
9Attila Jurecska [1] [2] [3] [5]
10Luciano Lavagno [1] [2] [3] [5] [7] [8] [9]
11Yan Luo [15]
12Ryan Mannion [16] [18] [22]
13Walid A. Najjar [12]
14Claudio Passerone [9]
15Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [5] [7] [8] [9] [19] [21]
16Ellen Sentovich (Ellen M. Sentovich) [2] [5]
17Kei Suzuki [1] [2] [5]
18Frank Vahid [12] [16] [18] [22]
19Yosinori Watanabe [9] [10] [11] [13] [14] [19]
20Wei Wu [17] [23]
21Guang Yang [21]
22Jun Yang [17] [23]
23S. Yee [1]
24Jia Yu [17] [23]

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