Searching for authors named "Harry Hsieh" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
