Proceedings Second International Conference on Application of Concurrency to System Design CSD-0
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

076951071x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards synthesis of monotonic asynchronous circuits from signal transition graphs

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981775 ◽

2002 ◽

Cited By ~ 5

Author(s):

N. Starodoubtsev ◽

S. Bystrov ◽

M. Goncharov ◽

I. Klotchkov ◽

A. Smirnov

Keyword(s):

Asynchronous Circuits ◽

Transition Graphs

Download Full-text

Automata generation for on-the-fly automatic verification using formulas of an interval logic

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981779 ◽

2002 ◽

Author(s):

M.J. Hornos ◽

M.I. Capel

Keyword(s):

Automatic Verification ◽

Interval Logic

Download Full-text

From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981768 ◽

2002 ◽

Cited By ~ 20

Author(s):

S. Chachkov ◽

D. Buchs

Keyword(s):

Petri Net ◽

Object Oriented ◽

Software Components ◽

Formal Specifications

Download Full-text

Correct performance of transaction capabilities

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981762 ◽

2002 ◽

Cited By ~ 4

Author(s):

T. Arts ◽

I. van Langevelde

Keyword(s):

Correct Performance

Download Full-text

Property preserving transition refinement with concurrent runs: an example

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981766 ◽

2002 ◽

Cited By ~ 2

Author(s):

S. Peuker

Download Full-text

Semi-hiding operators and the analysis of active-edge specifications for digital circuits

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981776 ◽

2002 ◽

Cited By ~ 4

Author(s):

R. Negulescu ◽

Xiaohua Kong

Keyword(s):

Digital Circuits ◽

Active Edge

Download Full-text

From code to models

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981759 ◽

2002 ◽

Cited By ~ 11

Author(s):

G.J. Holzmann

Download Full-text

Analysis of performance limitations in multithreaded multiprocessor architectures

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981763 ◽

2002 ◽

Author(s):

W.M. Zuberek

Keyword(s):

Multiprocessor Architectures ◽

Performance Limitations ◽

Analysis Of Performance

Download Full-text

Synthesis of net systems with inhibitor arcs from step transition systems

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981781 ◽

2002 ◽

Author(s):

M. Pietkiewicz-Koutny

Keyword(s):

Transition Systems ◽

Step Transition

Download Full-text

Overcoming heterophobia: modeling concurrency in heterogeneous systems

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981761 ◽

2002 ◽

Cited By ~ 20

Author(s):

J. Burch ◽

R. Passerone ◽

A.L. Sangiovanni-Vincentelli

Keyword(s):

Heterogeneous Systems

Download Full-text

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Towards synthesis of monotonic asynchronous circuits from signal transition graphs

Automata generation for on-the-fly automatic verification using formulas of an interval logic

From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach

Correct performance of transaction capabilities

Property preserving transition refinement with concurrent runs: an example

Semi-hiding operators and the analysis of active-edge specifications for digital circuits

From code to models

Analysis of performance limitations in multithreaded multiprocessor architectures

Synthesis of net systems with inhibitor arcs from step transition systems

Overcoming heterophobia: modeling concurrency in heterogeneous systems

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0
Latest Publications