2012 12th International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769547091, 9781467316873

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.33 ◽

2012 ◽

Keyword(s):

System Design ◽

International Conference ◽

Cover Art

Download Full-text

Algebra of Parameterised Graphs

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.15 ◽

2012 ◽

Cited By ~ 1

Author(s):

Andrey Mokhov ◽

Victor Khomenko ◽

Arseniy Alekseyev ◽

Alex Yakovlev

Download Full-text

IEEE Computer Society Technical & Conference Activities Board [Publisher's information]

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.32 ◽

2012 ◽

Keyword(s):

Ieee Computer Society

Download Full-text

An Algorithmic Framework for Coverability in Well-Structured Systems

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.26 ◽

2012 ◽

Cited By ~ 1

Author(s):

Tim Strazny ◽

Roland Meyer

Keyword(s):

Structured Systems ◽

Algorithmic Framework

Download Full-text

A High-Level Strategy for C-net Discovery

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.20 ◽

2012 ◽

Cited By ~ 4

Author(s):

Marc Sole ◽

Josep Carmona

Keyword(s):

High Level

Download Full-text

Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.12 ◽

2012 ◽

Author(s):

Andrew Mundy ◽

Terrence Mak ◽

Alex Yakovlev ◽

Simon Davidson ◽

Steve Furber

Keyword(s):

Dynamic Programming ◽

Large Scale ◽

On Chip

Download Full-text

2012 12th International Conference on Application of Concurrency to System Design: ACSD 2012 - Table of contents

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.8 ◽

2012 ◽

Keyword(s):

System Design ◽

International Conference

Download Full-text

All Linear-Time Congruences for Finite LTSs and Familiar Operators

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.14 ◽

2012 ◽

Cited By ~ 2

Author(s):

Antti Valmari

Keyword(s):

Linear Time

Download Full-text

External reviewers

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.7 ◽

2012 ◽

Download Full-text

On Dual-Rail Control Logic for Enhanced Circuit Robustness

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.17 ◽

2012 ◽

Cited By ~ 4

Author(s):

Andrey Mokhov ◽

Victor Khomenko ◽

Danil Sokolov ◽

Alex Yakovlev

Keyword(s):

Control Logic

Download Full-text

2012 12th International Conference on Application of Concurrency to System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]

Algebra of Parameterised Graphs

IEEE Computer Society Technical & Conference Activities Board [Publisher's information]

An Algorithmic Framework for Coverability in Well-Structured Systems

A High-Level Strategy for C-net Discovery

Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication

2012 12th International Conference on Application of Concurrency to System Design: ACSD 2012 - Table of contents

All Linear-Time Congruences for Finite LTSs and Familiar Operators

External reviewers

On Dual-Rail Control Logic for Enhanced Circuit Robustness

2012 12th International Conference on Application of Concurrency to System Design
Latest Publications