| 2008 |
|---|
| 7 | EE | Michel Goraczko,
Jie Liu,
Dimitrios Lymberopoulos,
Slobodan Matic,
Bodhi Priyantha,
Feng Zhao:
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems.
DAC 2008: 191-196 |
| 2006 |
|---|
| 6 | EE | Thomas A. Henzinger,
Slobodan Matic:
An Interface Algebra for Real-Time Components.
IEEE Real Time Technology and Applications Symposium 2006: 253-266 |
| 2005 |
|---|
| 5 | EE | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Composable code generation for distributed giotto.
LCTES 2005: 21-30 |
| 4 | EE | Slobodan Matic,
Thomas A. Henzinger:
Trading End-to-End Latency for Composability.
RTSS 2005: 99-110 |
| 2003 |
|---|
| 3 | EE | Yunjian Jiang,
Slobodan Matic,
Robert K. Brayton:
Generalized cofactoring for logic function evaluation.
DAC 2003: 155-158 |
| 2 | EE | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Schedule-Carrying Code.
EMSOFT 2003: 241-256 |
| 2002 |
|---|
| 1 | EE | Thomas A. Henzinger,
Christoph M. Kirsch,
Rupak Majumdar,
Slobodan Matic:
Time-Safety Checking for Embedded Programs.
EMSOFT 2002: 76-92 |
