Search Results - "Fifth International Conference on Application of Concurrency to System Design (ACSD'05)"

LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level by Moy, M., Maraninchi, F., Maillet-Contoz, L.

“…We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able to extract information from…”
Get full text

Safety-liveness semantics for UML 2.0 sequence diagrams by Grosu, R., Smolka, S.A.

“…We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of…”
Get full text

Maximal causality analysis by Schneider, K., Brandt, J., Schuele, T., Tuerk, T.

“…Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their…”
Get full text

Extensible and scalable time triggered scheduling by Wei Zheng, Chong, J., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli, A.

“…The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding…”
Get full text

Correct-by-construction asynchronous implementation of modular synchronous specifications by Potop-Butucaru, D., Caillaud, B.

“…We introduce a model for the representation of asynchronous implementations of synchronous specifications. The model covers classical implementations, where a…”
Get full text

Verification of concurrent systems with parametric delays using octahedra by Clariso, R., Cortadella, J.

“…A technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the…”
Get full text

Hazard detection in a GALS wrapper: a case study by Stahl, C., Reisig, W., Krstic, M.

“…An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is…”
Get full text

An algebra of Pareto points by Geilen, M., Basten, T., Theelen, B., Otten, R.

“…Multicriteria optimisation problems occur naturally in engineering practices. Pareto analysis has proven to be a powerful tool to characterise potentially…”
Get full text

Extended Rebeca: a component-based actor language with synchronous message passing by Sirjani, M., de Boer, F., Movaghar, A., Shali, A.

“…In this paper, we propose extended Rebeca as a tool-supported actor-based language for modeling and verifying concurrent and distributed systems. We enrich…”
Get full text

Dead-path-elimination in BPEL4WS by van Breugel, F., Koshkina, M.

“…Dead-path-elimination (DPE) is a key ingredient of the business process execution language for Web services (BPELAWS). In this paper, we introduce a small…”
Get full text

An automated fine-grain pipelining using domino style asynchronous library by Smirnov, A., Taubin, A., Ming Su, Karpovsky, M.

“…Register transfer level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a…”
Get full text

Foreword

“…Presents the welcome message from the conference proceedings…”
Get full text

Controlling speculative design processes using rich component models by Damm, W.

“…This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex…”
Get full text

Complexity results for checking distributed implementability by Heljanko, K., Stefanescu, A.

“…We consider the distributed implementability problem: Given a labeled transition system TS together with a distribution /spl Delta/ of its actions over a set…”
Get full text

Formal methods for networks on chips by Goossens, K.

“…Systems on a chip (SoC) are complex embedded systems consisting of many hardware and software blocks. As the complexity of SoCs grows, the focus is less on the…”
Get full text

Two-phase distributed observation problems by Tripakis, S.

“…We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over…”
Get full text

BoPi - a distributed machine for experimenting Web services technologies by Carpineti, S., Laneve, C., Milazzo, P.

“…BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process…”
Get full text

Modelling and analysis of distributed simulation protocols with distributed graph transformation by de Lara, J., Taentzer, G.

“…This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use…”
Get full text

Much compact Time Petri Net state class spaces useful to restore CTL properties by Hadjidj, R., Boucheneb, H.

“…This paper deals with the verification of CTL* properties of Time Petri Nets (TPN model). To verify such properties, we need to contract the generally infinite…”
Get full text

Message sequence charts: a survey by Genest, B., Muscholl, A.

“…Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous…”
Get full text