default search action
10. ACSD 2010: Braga, Portugal
Luís Gomes, Victor Khomenko, João M. Fernandes:
10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4066-5
Circuits
- Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev:
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. 3-12 - Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski:
STG Decomposition: Internal Communication for SI Implementability. 13-23 - William B. Toms, David A. Edwards:
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths. 24-34 - Charlie Brej:
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies. 35-44
Performance, Security, and Reliability
- Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. 47-56 - Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon:
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. 57-66 - Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. 77-84 - Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. 85-92
Model Checking 1
- Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila:
Efficient Model Checking of PSL Safety Properties. 95-104 - Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema:
Order-Independence of Vector-Based Transition Systems. 115-123 - Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron:
polyDD: Towards a Framework Generalizing Decision Diagrams. 124-133
Synchronous Systems
- Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. 137-146 - Bijoy A. Jose, Jason Pribble, Sandeep K. Shukla:
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. 147-156 - Mike Gemunde, Jens Brandt, Klaus Schneider:
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. 157-168
Model Checking 2
- Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. 181-190 - Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs:
Partial Order Reduction for Branching Security Protocols. 191-200 - Parisa Heidari, Hanifa Boucheneb:
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. 201-210
Probabilistic and Stochastic Systems
- Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A Linear Process-Algebraic Format for Probabilistic Systems with Data. 213-222 - Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. 223-232
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-01 01:07 CET by the dblp team