Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605586274

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Refining the control structure of loops using static analysis

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629343 ◽

2009 ◽

Cited By ~ 15

Author(s):

Gogul Balakrishnan ◽

Sriram Sankaranarayanan ◽

Franjo Ivančić ◽

Aarti Gupta

Keyword(s):

Static Analysis ◽

Control Structure

Get full-text (via PubEx)

HVS-DBS

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629339 ◽

2009 ◽

Cited By ~ 18

Author(s):

Andrea Bartolini ◽

Martino Ruggiero ◽

Luca Benini

Get full-text (via PubEx)

Symbolic state traversal for WCET analysis

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629354 ◽

2009 ◽

Cited By ~ 6

Author(s):

Stephan Wilhelm ◽

Björn Wachter

Keyword(s):

Wcet Analysis

Get full-text (via PubEx)

NANDFS

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629374 ◽

2009 ◽

Cited By ~ 4

Author(s):

Aviad Zuck ◽

Ohad Barzilay ◽

Sivan Toledo

Get full-text (via PubEx)

Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629337 ◽

2009 ◽

Cited By ~ 10

Author(s):

Ahron Yang ◽

Minseok Song

Keyword(s):

Time Estimation ◽

Voltage Scaling ◽

Dynamic Voltage Scaling ◽

Video Playback ◽

Energy Aware ◽

Dynamic Voltage

Get full-text (via PubEx)

Compositional verification of fault-tolerant real-time programs

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629341 ◽

2009 ◽

Cited By ~ 5

Author(s):

Borzoo Bonakdarpour ◽

Sandeep S. Kulkarni

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Compositional Verification

Get full-text (via PubEx)

Clock-driven distributed real-time implementation of endochronous synchronous programs

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629356 ◽

2009 ◽

Cited By ~ 7

Author(s):

Dumitru Potop-Butucaru ◽

Robert de Simone ◽

Yves Sorel ◽

Jean-Pierre Talpin

Keyword(s):

Real Time

Get full-text (via PubEx)

Flexible filters

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629363 ◽

2009 ◽

Cited By ~ 19

Author(s):

Rebecca L. Collins ◽

Luca P. Carloni

Get full-text (via PubEx)

Modal interfaces

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629348 ◽

2009 ◽

Cited By ~ 30

Author(s):

Jean-Baptiste Raclet ◽

Eric Badouel ◽

Albert Benveniste ◽

Benoît Caillaud ◽

Axel Legay ◽

...

Get full-text (via PubEx)

Cache-aware scheduling and analysis for multicores

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629369 ◽

2009 ◽

Cited By ~ 69

Author(s):

Nan Guan ◽

Martin Stigge ◽

Wang Yi ◽

Ge Yu

Get full-text (via PubEx)

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Refining the control structure of loops using static analysis

HVS-DBS

Symbolic state traversal for WCET analysis

NANDFS

Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation

Compositional verification of fault-tolerant real-time programs

Clock-driven distributed real-time implementation of endochronous synchronous programs

Flexible filters

Modal interfaces

Cache-aware scheduling and analysis for multicores

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09
Latest Publications