Zebo Peng

发表

Synthesis of Advanced Features

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

A Survey on Hardware/Software Codesign Representation Models

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 1999 .

An Approach to Reducing Verification Complexity of Real-Time Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2002 .

Voltage Selection for Time-Constrained Multiprocessor Systems on Chip

Petru Eles, Zebo Peng, Bashir M. Al-Hashimi, 2007 .

System-Level Synthesis

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

Final Report on Project Results

Petru Eles, Zebo Peng, Massimo Violante, 2000 .

Hardware/Software Partitioning

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

Temperature-Gradient Based Burn-In for 3D Stacked ICs

Petru Eles, Zebo Peng, Nima Aghaee Ghaleshahi, 2013 .

Re-partitioning for hardware/software co-synthesis

Zebo Peng, E. Stoy, 1997, Proceedings 23rd Euromicro Conference New Frontiers of Information Technology - Short Contributions -.

A design representation for hardware/software co-synthesis

Zebo Peng, E. Stoy, 1994, Proceedings of Twentieth Euromicro Conference. System Architecture and Integration.

[Plenary talks - 11 abstracts]

Zebo Peng, Hiroshi Iwai, Janusz Rajski, 2014, VLSID 2014.

Combining Static and Dynamic Scheduling for Real-Time Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2004 .

Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times

Petru Eles, Zebo Peng, Sorin Manolache, 2002 .

Is adaptive testing the panacea for the future test problems?

Zebo Peng, 2015, 2015 20th IEEE European Test Symposium (ETS).

Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2002 .

Deadline Miss Ratio Minimisation

Petru Eles, Zebo Peng, Sorin Manolache, 2007 .

Verification of Heterogeneous Electronic Systems using Model Checking

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2000 .

Analysis of Multiprocessor Systems

Petru Eles, Zebo Peng, Sorin Manolache, 2007 .

VHDL system-level specification and partitioning in a hardware/software co-synthesis environment

Petru Eles, Zebo Peng, Alexa Doboli, 1994, Third International Workshop on Hardware/Software Codesign.

From Haskell to PRES+ Basic Translation Procedures

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

An Energy Efficient Technique for Temperature-Aware Voltage Selection

Petru Eles, Zebo Peng, Min Bao, 2009 .

Low-Power Synthesis

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

Challenges for future system-on-chip-design

Zebo Peng, Raimund Ubar, Manfred Glesner, 2001 .

Hierarchies for the Modeling and Verification of Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

Fine-Grained Long-Range Prediction of Resource Usage in Computer Clusters

Petru Eles, Zebo Peng, Diana Marculescu, 2017 .

Modeling and Verification of Embedded Systems using Petri Net based Methods : Application to an Industrial Case

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

Performance Comparison of Simulated Annealing and Tabu Search on Block Cipher Optimization in Distributed Embedded Systems

Petru Eles, Zebo Peng, Ke Jiang, 2011 .

Emerging strategies for resource-constrained testing of system chips

Erik G. Larsson, Petru Eles, Zebo Peng, 2005 .

System Synthesis with VHDL: A Transformational Approach

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

cation and Synthesis in Behavioral VHDL

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1995 .

A formal verification methodology for IP-based designs

Petru Eles, Zebo Peng, Daniel Karlsson, 2004 .

Back-Annotation of VHDL Behavioral Models for Postsynthesis Simulation

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 2007 .

Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems

Petru Eles, Zebo Peng, Marcus T. Schmitz, 2004, ICCAD 2004.

Two Methods for Synthesizing VHDL Concurrent Processes

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 2007 .

Performance Guided System Level Hardware/Software Partitioning with Iterative Improvement Heuristics

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 2007 .

Schedulability analysis of multiprocessor real-time applications with stochastic task execution times

Petru Eles, Zebo Peng, Sorin Manolache, 2002, ICCAD 2002.

High-Level Synthesis

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1998 .

Report on Dissemination Plan

Petru Eles, Zebo Peng, Massimo Violante, 2002 .

Worst-Case Execution Time Analysis for Multiprocessor System-on-Chip Platforms

Petru Eles, Zebo Peng, Jakob Rosén, 2011 .

Thermal challenges to building reliable embedded systems

Zebo Peng, 2014, VLSI-DAT 2014.

Analysis of Monoprocessor Systems

Petru Eles, Zebo Peng, Sorin Manolache, 2007 .

An Approach to System-level Design for Test

Petru Eles, Zebo Peng, Raimund Ubar, 2005 .

System Synthesis with VHDL

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, 1997 .

A Technique for Optimization of System-on-Chip Test Data Transportation

Erik G. Larsson, Petru Eles, Zebo Peng, 2004 .

Execution Time Minimization Based on Hardware/Software Partitioning and Speculative Prefetch

Petru Eles, Zebo Peng, Adrian Lifa, 2012 .

A Petri Net based Model for Heterogeneous Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 1999 .

Synthesis of control structures from Petri net descriptions

Zebo Peng, Krzysztof Kuchcinski, 1986 .

Verification Methodology for Heterogeneous Hardware/Software Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2000 .

A Design Framework for Dynamic Embedded Systems with Security Constraints

Petru Eles, Zebo Peng, Ke Jiang, 2013 .

Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns

Erik G. Larsson, Petru Eles, Zebo Peng, 2008 .

Fast Synthesis of Power and Temperature Profiles for the Development of Data-Driven Resource Managers

Petru Eles, Zebo Peng, Diana Marculescu, 2017 .