Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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 - Wei Song, Doug A. Edwards:
An Asynchronous Routing Algorithm for Clos Networks. 67-76 - Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. 77-84 - Fatemeh Ghassemi, Ali Movaghar, Wan J. 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 - Antti Siirtola:
Cut-Offs with Network Invariants. 105-114 - 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 Antony 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
- Pepijn Crouzen, Holger Hermanns:
Aggregation Ordering for Massively Compositional Models. 171-180 - Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. 181-190 - Wan J. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
