Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450330527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the existence of probe effect in multi-threaded embedded programs

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656062 ◽

2014 ◽

Cited By ~ 4

Author(s):

Young Wn Song ◽

Yann-Hang Lee

Download Full-text

Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656069 ◽

2014 ◽

Cited By ~ 1

Author(s):

Alberto Puggelli ◽

Alberto L. Sangiovanni-Vincentelli ◽

Sanjit A. Seshia

Keyword(s):

Renewable Energy ◽

Energy Pricing ◽

Probabilistic Systems

Download Full-text

Precise piecewise affine models from input-output data

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656064 ◽

2014 ◽

Cited By ~ 7

Author(s):

Rajeev Alur ◽

Nimit Singhania

Keyword(s):

Input Output ◽

Output Data ◽

Piecewise Affine ◽

Affine Models

Download Full-text

Contract-based integration of cyber-physical analyses

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656052 ◽

2014 ◽

Cited By ~ 7

Author(s):

Ivan Ruchkin ◽

Dionisio De Niz ◽

David Garlan ◽

Sagar Chaki

Download Full-text

Extending typical worst-case analysis using response-time dependencies to bound deadline misses

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656059 ◽

2014 ◽

Cited By ~ 11

Author(s):

Zain A. H. Hammadeh ◽

Sophie Quinton ◽

Rolf Ernst

Keyword(s):

Response Time ◽

Case Analysis ◽

Worst Case Analysis ◽

Worst Case ◽

Time Dependencies

Download Full-text

DriverGen

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656055 ◽

2014 ◽

Author(s):

Jiannan Zhai ◽

Yuheng Du ◽

Shiree Hughes ◽

Jason O. Hallstrom

Download Full-text

A general approach for expressing infeasibility in implicit path enumeration technique

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656046 ◽

2014 ◽

Cited By ~ 5

Author(s):

Pascal Raymond

Download Full-text

Embedded software reliability for unreliable hardware

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2661649 ◽

2014 ◽

Author(s):

Jian-Jia Chen ◽

Muhammad Shafique

Keyword(s):

Software Reliability ◽

Embedded Software

Download Full-text

Building high-performance smartphones via non-volatile memory

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656049 ◽

2014 ◽

Cited By ~ 25

Author(s):

Kan Zhong ◽

Tianzheng Wang ◽

Xiao Zhu ◽

Linbo Long ◽

Duo Liu ◽

...

Keyword(s):

High Performance ◽

Non Volatile Memory ◽

Volatile Memory

Download Full-text

Real-time multi-core virtual machine scheduling in xen

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656066 ◽

2014 ◽

Cited By ~ 48

Author(s):

Sisu Xi ◽

Meng Xu ◽

Chenyang Lu ◽

Linh T. X. Phan ◽

Christopher Gill ◽

...

Keyword(s):

Real Time ◽

Virtual Machine ◽

Machine Scheduling ◽

Virtual Machine Scheduling

Download Full-text

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On the existence of probe effect in multi-threaded embedded programs

Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing

Precise piecewise affine models from input-output data

Contract-based integration of cyber-physical analyses

Extending typical worst-case analysis using response-time dependencies to bound deadline misses

DriverGen

A general approach for expressing infeasibility in implicit path enumeration technique

Embedded software reliability for unreliable hardware

Building high-performance smartphones via non-volatile memory

Real-time multi-core virtual machine scheduling in xen

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14
Latest Publications