ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2008 8th International Conference on Application of Concurrency to System Design
Latest Publications
TOTAL DOCUMENTS
31
(FIVE YEARS 0)
H-INDEX
5
(FIVE YEARS 0)
Published By IEEE
9781424418381
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Dynamic Critical-Path Based on Fit Degree Scheduling for Reconfigurable Multi-FPGAs
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574591
◽
2008
◽
Author(s):
Yan Xiao
◽
Zhenhua Duan
Keyword(s):
Critical Path
Download Full-text
On the interplay between fault handling and request-response service invocations
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574611
◽
2008
◽
Cited By ~ 11
Author(s):
Claudio Guidi
◽
Ivan Lanese
◽
Fabrizio Montesi
◽
Gianluigi Zavattaro
Keyword(s):
Fault Handling
Download Full-text
PicNIc - Pi-calculus Non-interference checker
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574592
◽
2008
◽
Cited By ~ 1
Author(s):
S. Crafa
◽
M. Mio
◽
M. Miculan
◽
C. Piazza
◽
S. Rossi
Keyword(s):
Pi Calculus
Download Full-text
Contents
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574615
◽
2008
◽
Download Full-text
Modular construction of the symbolic observation graph
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574600
◽
2008
◽
Cited By ~ 18
Author(s):
Kais Klai
◽
Laure Petrucci
Keyword(s):
Modular Construction
Download Full-text
An effective approach for model checking SystemC designs
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574596
◽
2008
◽
Cited By ~ 5
Author(s):
Razieh Behjati
◽
Hamideh Sabouri
◽
Niloofar Razavi
◽
Marjan Sirjani
Keyword(s):
Model Checking
Download Full-text
Verification of conditional partial order graphs
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574604
◽
2008
◽
Cited By ~ 10
Author(s):
Andrey Mokhov
◽
Alex Yakovlev
Keyword(s):
Partial Order
Download Full-text
Author index
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574614
◽
2008
◽
Download Full-text
QoS-driven service selection and composition
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574608
◽
2008
◽
Author(s):
Sun Meng
◽
Farhad Arbab
Keyword(s):
Service Selection
Download Full-text
2008 8th International Conference on Application of Concurrency to System Design June 23–27, 2008 Xi’an, China
2008 8th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2008.4574616
◽
2008
◽
Keyword(s):
System Design
◽
International Conference
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close