2008 International Symposium on Industrial Embedded Systems
Latest Publications

TOTAL DOCUMENTS

47

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781424419944, 9781424419951

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577699 ◽

2008 ◽

Author(s):

Raul Barbosa ◽

Johan Karlsson

Keyword(s):

Embedded Systems ◽

Real Time ◽

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

TPR: Dead end aware table less position based routing scheme for low power data-centric wireless sensor networks

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577693 ◽

2008 ◽

Author(s):

S. A. Madani ◽

D. Weber ◽

S. Mahlknecht

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Low Power ◽

Wireless Sensor ◽

Routing Scheme ◽

Download Full-text

Challenges in embedded model checking — a simulator for the [mc]square model checker

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577709 ◽

2008 ◽

Author(s):

Thomas Reinbacher ◽

Michael Kramer ◽

Martin Horauer ◽

Bastian Schlich

Keyword(s):

Model Checking ◽

Model Checker ◽

Download Full-text

Designing HIPAOC: High Performance Architecture On Chip

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577706 ◽

2008 ◽

Author(s):

Marta Beltran ◽

Antonio Guzman

Keyword(s):

High Performance ◽

Download Full-text

Reliable hard real-time communication in industrial and embedded systems

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577698 ◽

2008 ◽

Author(s):

Magnus Jonsson ◽

Kristina Kunert

Keyword(s):

Embedded Systems ◽

Real Time ◽

Download Full-text

An embedded decryption/decompression engine using Handel-C

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577680 ◽

2008 ◽

Author(s):

Farnaz Gharibian ◽

Kenneth B. Kent

Download Full-text

Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577681 ◽

2008 ◽

Author(s):

Gordon Meiser ◽

Thomas Eisenbarth ◽

Kerstin Lemke-Rust ◽

Christof Paar

Keyword(s):

Efficient Implementation

Download Full-text

Validation of executable application models mapped onto network-on-chip platforms

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577689 ◽

2008 ◽

Author(s):

Sanna Maatta ◽

Leandro Soares Indrusiak ◽

Luciano Ost ◽

Leandro Moller ◽

Jari Nurmi ◽

...

Keyword(s):

Network On Chip ◽

Download Full-text

The Rubus component model for resource constrained real-time systems

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577697 ◽

2008 ◽

Author(s):

Kaj Hanninen ◽

Jukka Maki-Turja ◽

Mikael Nolin ◽

Mats Lindberg ◽

John Lundback ◽

...

Keyword(s):

Real Time ◽

Component Model ◽

Real Time Systems ◽

Resource Constrained ◽

Download Full-text

Valuing the design flexibility of a distributed real-time embedded system

2008 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2008.4577695 ◽

2008 ◽

Author(s):

Thanikesavan Sivanthi ◽

Ulrich Killat

Keyword(s):

Embedded System ◽

Real Time ◽

Design Flexibility

Download Full-text