2014 14th International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479942817

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.13 ◽

2014 ◽

Cited By ~ 10

Author(s):

Waheed Ahmad ◽

Robert de Groote ◽

Philip K.F. Holzenspies ◽

Marielle Stoelinga ◽

Jaco van de Pol

Keyword(s):

Timed Automata ◽

Optimal Scheduling ◽

Resource Constrained ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Title Page iii

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.2 ◽

2014 ◽

Keyword(s):

Title Page

Download Full-text

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.23 ◽

2014 ◽

Cited By ~ 2

Author(s):

Jaime Arias ◽

Myriam Desainte-Catherine ◽

Camilo Rueda

Keyword(s):

Data Processing ◽

Petri Nets ◽

Coloured Petri Nets ◽

Modelling Data

Download Full-text

Message from General Chair and Program Committee Co-Chairs

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.4 ◽

2014 ◽

Keyword(s):

Program Committee

Download Full-text

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn -- An Architecture-Open Resource-Driven Cross-Layer Modelling Framework

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.28 ◽

2014 ◽

Cited By ~ 4

Author(s):

Ashur Rafiev ◽

Alexei Iliasov ◽

Alexandre Romanovsky ◽

Andrey Mokhov ◽

Fei Xia ◽

...

Keyword(s):

Cross Layer ◽

Modelling Framework

Download Full-text

Memory Model-Aware Testing - A Unified Complexity Analysis

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.27 ◽

2014 ◽

Cited By ~ 6

Author(s):

Florian Furbach ◽

Roland Meyer ◽

Klaus Schneider ◽

Maximilian Senftleben

Keyword(s):

Complexity Analysis ◽

Memory Model

Download Full-text

Program Committee

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.6 ◽

2014 ◽

Keyword(s):

Program Committee

Download Full-text

BenchKit, a Tool for Massive Concurrent Benchmarking

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.12 ◽

2014 ◽

Cited By ~ 7

Author(s):

Fabrice Kordon ◽

Francis Hulin-Hubard

Download Full-text

Failure Semantics for Modal Transition Systems

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.11 ◽

2014 ◽

Cited By ~ 2

Author(s):

Ferenc Bujtor ◽

Walter Vogler

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

Controllability in Partial and Uncertain Environments

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.15 ◽

2014 ◽

Cited By ~ 2

Author(s):

Nicolas D'Ippolito ◽

Victor Braberman ◽

Nir Piterman ◽

Sebastian Uchitel

Keyword(s):

Uncertain Environments

Download Full-text

2014 14th International Conference on Application of Concurrency to System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Title Page iii

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets

Message from General Chair and Program Committee Co-Chairs

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn -- An Architecture-Open Resource-Driven Cross-Layer Modelling Framework

Memory Model-Aware Testing - A Unified Complexity Analysis

Program Committee

BenchKit, a Tool for Massive Concurrent Benchmarking

Failure Semantics for Modal Transition Systems

Controllability in Partial and Uncertain Environments

2014 14th International Conference on Application of Concurrency to System Design
Latest Publications