Filters
Fair Termination for Parameterized Probabilistic Concurrent Systems
of probabilistic concurrent systems terminates with probability one for all instances against adversarial schedulers. A parameterized family defines an infinite-state system: for each-probabilistic concurrent<...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
W-Class States-Identification and Quantification of Bell-CHSH Inequalities' Violation
, parameterized by concurrence, for violating the Bell-CHSH inequality. Additionally, we derive the value ranges of the mixedness measure, parameterized by concurrenceWe discuss a family of W-class states describin...
Optics (including laser optics and quantum optics)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Block Me If You Can! Context-Sensitive Parameterized Verification
We present a method for automatic verification of systems with a parameterized number of communicating processes, such as mutual exclusion protocols or agreement protocols. To that end, we present a powerful abstraction framework th...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Vanishing Points in Point-to-Line Mappings and Other Line Parameterizations
and groups of concurrent lines. This article addresses a common misconception that in the polar line parameterization the vanishing point is represented by a line in detail point-to-line-mappings (PTLMs) -- a class of line para...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2013 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Verification of parametric concurrent systems with prioritised FIFO resource management
We consider the problem of parametric verification over a class of systems of the concerned systems based on extended automata with queues. Over this model, we address interpreted on finite as well as fair behaviours of the given
JC - Počítačový hardware a software
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
with infinite-state systems, parameterized systems, calculi for mobility and security Systems was held as a satellite workshop of CONCUR 2002 (the 13th International Conference on Concurrency Theory) in B...
BD - Teorie informace
- 2002 •
- W
Rok uplatnění
W - Uspořádání workshopu
Parameterized subsystems of HVAC piping system
The goal of this paper is to introduce the proposed parameterized sub-systems of HVAC piping system (HVAC = heating, ventilation, air conditioning). Parameterized 3D models of piping sub-systems and suppor...
Mechanical engineering
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Time Parameterizations of User Demands in Mechatronics
optimally-smooth time parameterizations intended for mechatronic systems particularlyTime parameterization of user demands (demands on course of path, position etc of mechatronic systems. The main objective is to ...
BC - Teorie a systémy řízení
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Which State Feedback Control Laws will not Alter the System’s Transfer Function?
A parameterization of all state feedback control laws that do not alter the system’s transfer function matrix is presented. The problem is recognized as a special case of another problem, the model matching by state feedback. The
BC - Teorie a systémy řízení
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
The aim of the workshop is to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems....
IN - Informatika
- 2005 •
- W
Rok uplatnění
W - Uspořádání workshopu
- 1 - 10 out of 195 507