2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467383219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Completeness bounds and sequentialization for model checking of interacting firmware and hardware

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331383 ◽

2015 ◽

Author(s):

Sunha Ahn ◽

Sharad Malik ◽

Aarti Gupta

Keyword(s):

Model Checking

Download Full-text

Computer security by hardware-intrinsic authentication

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331377 ◽

2015 ◽

Cited By ~ 1

Author(s):

Caio Hoffman ◽

Mario Cortes ◽

Diego F. Aranha ◽

Guido Araujo

Keyword(s):

Computer Security

Download Full-text

Lightweight virtual memory support for many-core accelerators in heterogeneous embedded SoCs

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331367 ◽

2015 ◽

Cited By ~ 4

Author(s):

Pirmin Vogel ◽

Andrea Marongiu ◽

Luca Benini

Keyword(s):

Virtual Memory ◽

Many Core ◽

Memory Support

Download Full-text

A tiny-capacitor-backed non-volatile buffer to reduce storage writes in smartphones

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331364 ◽

2015 ◽

Cited By ~ 2

Author(s):

Mungyu Son ◽

Junwhan Ahn ◽

Sungjoo Yoo

Download Full-text

Copyright page

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331358 ◽

2015 ◽

Download Full-text

Transparent and portable agent based task migration for data-flow applications on multi-tiled architectures

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331381 ◽

2015 ◽

Cited By ~ 6

Author(s):

Ashaf El-Antably ◽

Olivier Gruber ◽

Frederic Rousseau ◽

Nicolas Fournel

Keyword(s):

Data Flow ◽

Task Migration ◽

Agent Based

Download Full-text

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331361 ◽

2015 ◽

Download Full-text

Design methodologies for securing cyber-physical systems

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331365 ◽

2015 ◽

Cited By ~ 12

Author(s):

Mohammad Al Faruque ◽

Francesco Regazzoni ◽

Miroslav Pajic

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Design Methodologies

Download Full-text

LearnLoc: A framework for smart indoor localization with embedded mobile devices

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331366 ◽

2015 ◽

Cited By ~ 14

Author(s):

Sudeep Pasricha ◽

Viney Ugave ◽

Charles W. Anderson ◽

Qi Han

Keyword(s):

Mobile Devices ◽

Indoor Localization

Download Full-text

The shift to multicores in real-time and safety-critical systems

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) ◽

10.1109/codesisss.2015.7331385 ◽

2015 ◽

Cited By ~ 20

Author(s):

Selma Saidi ◽

Rolf Ernst ◽

Sascha Uhrig ◽

Henrik Theiling ◽

Benoit Dupont de Dinechin

Keyword(s):

Real Time ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Completeness bounds and sequentialization for model checking of interacting firmware and hardware

Computer security by hardware-intrinsic authentication

Lightweight virtual memory support for many-core accelerators in heterogeneous embedded SoCs

A tiny-capacitor-backed non-volatile buffer to reduce storage writes in smartphones

Copyright page

Transparent and portable agent based task migration for data-flow applications on multi-tiled architectures

Table of contents

Design methodologies for securing cyber-physical systems

LearnLoc: A framework for smart indoor localization with embedded mobile devices

The shift to multicores in real-time and safety-critical systems

Export Citation Format

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Completeness bounds and sequentialization for model checking of interacting firmware and hardware

Computer security by hardware-intrinsic authentication

Lightweight virtual memory support for many-core accelerators in heterogeneous embedded SoCs

A tiny-capacitor-backed non-volatile buffer to reduce storage writes in smartphones

Copyright page

Transparent and portable agent based task migration for data-flow applications on multi-tiled architectures

Table of contents

Design methodologies for securing cyber-physical systems

LearnLoc: A framework for smart indoor localization with embedded mobile devices

The shift to multicores in real-time and safety-critical systems

2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Latest Publications