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

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

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

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

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

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

Improved hard real-time scheduling of CSDF-modeled streaming applications

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

10.1109/codesisss.2015.7331369 ◽

2015 ◽

Cited By ~ 4

Author(s):

Jelena Spasic ◽

Di Liu ◽

Emanuele Cannella ◽

Todor Stefanov

Keyword(s):

Real Time ◽

Real Time Scheduling ◽

Streaming Applications ◽

Time Scheduling ◽

Hard Real Time

Download Full-text

Hardware synthesis from a recursive functional language

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

10.1109/codesisss.2015.7331371 ◽

2015 ◽

Cited By ~ 3

Author(s):

Kuangya Zhai ◽

Richard Townsend ◽

Lianne Lairmore ◽

Martha A. Kim ◽

Stephen A. Edwards

Keyword(s):

Functional Language ◽

Hardware Synthesis

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

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Computer security by hardware-intrinsic authentication

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

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

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

Copyright page

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

Table of contents

Improved hard real-time scheduling of CSDF-modeled streaming applications

Hardware synthesis from a recursive functional language

Design methodologies for securing cyber-physical 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

Computer security by hardware-intrinsic authentication

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

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

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

Copyright page

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

Table of contents

Improved hard real-time scheduling of CSDF-modeled streaming applications

Hardware synthesis from a recursive functional language

Design methodologies for securing cyber-physical systems

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