Searching for authors named "Harry Hsieh" – sorted by Relevance.
-
Case studies of model checking for embedded system designs
- Case Studies of Model Checking for Embedded System Designs Xi Chen, Harry Hsieh University
- Cited by 3 (0 self) – Add To MetaCart
-
Y.: Automatic generation of simulation monitors from quantitative constr aint formula
- Hsieh University of California, Riverside, CA E-mail: xichen, harry¡ @(email omitted); Abstract System
- Cited by 2 (0 self) – Add To MetaCart
-
Verifying LOC based functional and performance constraints
- VERIFYING LOC BASED FUNCTIONAL AND PERFORMANCE CONSTRAINTS Xi Chen, Harry Hsieh University
- Cited by 4 (4 self) – Add To MetaCart
-
eBlocks – An Enabling Technology for Basic Sensor Based Systems
- , Frank Vahid ¥ , Harry Hsieh Department of Computer Science and Engineering University of California
- Add To MetaCart
-
Utilizing Formal Assertions for System Design of Network
- Utilizing Formal Assertions for System Design of Network Processors Xi Chen, Yan Luo, Harry Hsieh
- Cited by 2 (1 self) – Add To MetaCart
-
Logic of constraints: A quantitative performance and functional constraint formalism
- Quantitative Performance and Functional Constraint Formalism Xi Chen, Harry Hsieh, Felice Balarin, and Yosinori
- Cited by 1 (0 self) – Add To MetaCart
-
SIMULATION TRACE VERIFICATION FOR QUANTITATIVE CONSTRAINTS
- Chapter 1 SIMULATION TRACE VERIFICATION FOR QUANTITATIVE CONSTRAINTS Xi Chen 1 , Harry Hsieh 1
- Add To MetaCart
-
Assertion-Based Design Exploration of DVS in Network Processor Architectures
- Chen, Harry Hsieh, Jun Yang University of California, Riverside jiayu, wwu, xichen, harry, junyang
- Add To MetaCart
-
Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration
- Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration Harry Hsieh* Alberto
- Cited by 2 (2 self) – Add To MetaCart
-
Synchronous Approach to the Functional Equivalence of Embedded System Implementations
- Hsieh, Member, IEEE, Felice Balarin, Member, IEEE, Luciano Lavagno, Member, IEEE, and Alberto
- Cited by 4 (0 self) – Add To MetaCart

