 | 2009 |
|---|
| 9 |       | Edward A. Lee,
Slobodan Matic,
Sanjit A. Seshia,
Jia Zou:
The Case for Timing-Centric Distributed Software Invited Paper.
ICDCS Workshops 2009: 57-64 |
| 2008 |
|---|
| 8 | | 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 |
| 7 | | Patricia Derler,
Edward A. Lee,
Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model.
DS-RT 2008: 330-333 |
| 2006 |
|---|
| 6 | | Thomas A. Henzinger,
Slobodan Matic:
An Interface Algebra for Real-Time Components.
IEEE Real Time Technology and Applications Symposium 2006: 253-266 |
| 2005 |
|---|
| 5 | | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Composable code generation for distributed giotto.
LCTES 2005: 21-30 |
| 4 | | Slobodan Matic,
Thomas A. Henzinger:
Trading End-to-End Latency for Composability.
RTSS 2005: 99-110 |
| 2003 |
|---|
| 3 | | Yunjian Jiang,
Slobodan Matic,
Robert K. Brayton:
Generalized cofactoring for logic function evaluation.
DAC 2003: 155-158 |
| 2 | | Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic:
Schedule-Carrying Code.
EMSOFT 2003: 241-256 |
| 2002 |
|---|
| 1 | | Thomas A. Henzinger,
Christoph M. Kirsch,
Rupak Majumdar,
Slobodan Matic:
Time-Safety Checking for Embedded Programs.
EMSOFT 2002: 76-92 |
