• No se han encontrado resultados

[PDF] Top 20 Modeling and specification of distributed timed systems

Has 10000 "Modeling and specification of distributed timed systems" found on our website. Below are the top 20 most common "Modeling and specification of distributed timed systems".

Modeling and specification of distributed timed systems

Modeling and specification of distributed timed systems

... the modeling and specification of RTS and DRTS based on RECA with such distributed ...independent) and memory clocks, yielding the DECA and ...DECA and RMECA are ... See full document

10

Timed consistency: unifying model of consistency protocols in distributed systems

Timed consistency: unifying model of consistency protocols in distributed systems

... serializations of H or H i+w operations may appear out of order in relation to their effective ...Ordering and time are two different aspects of ...effects of an operation are perceived ... See full document

9

Modeling and Simulation of a Distributed Power System for Avionic Application

Modeling and Simulation of a Distributed Power System for Avionic Application

... Distributed power systems comprise various different com- mercial components and can be very complex in nature. More- over, simulation and analysis of these systems is challenging due t[r] ... See full document

7

P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)

P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)

... semantis in terms of Probabilisti Timed Transition Systems (PTTS). Hene every P- term P.. has also meaning in terms of PTTS. parallel omposition).[r] ... See full document

11

Framework for Integration of Heterogeneous Mobile Devices  Edición Única

Framework for Integration of Heterogeneous Mobile Devices Edición Única

... purpose of this project is to design a framework called PARMI (Platform Agnostic Remote Method Invocation) for development of mobile distributed systems based in a client-server paradigm with ... See full document

138

Modeling, Analysis and Simulation of a DC Distributed Power Architecture for an Airborne Application

Modeling, Analysis and Simulation of a DC Distributed Power Architecture for an Airborne Application

... power systems comprise various different components and can be very complex in ...concern of the power systems it is desirable to detect any potential stability problems at an early design ... See full document

6

Towards the predictive analysis of cloud systems with e-Motions

Towards the predictive analysis of cloud systems with e-Motions

... number of different approaches have been used to make this kind of analy- sis, including techniques based on stochastic networks, Petri nets and statistical ...possibility of making per- ... See full document

14

An adaptive model for specification of distributed systems

An adaptive model for specification of distributed systems

... Figure 7 show the new behavior :HOFRPH6FHQHafter running before adaptive actions. The action 6KZB%XWWRQ went to change to present the last scene that a student used and the last class that the student was doing. ... See full document

12

Formal mission specification and execution mechanisms for unmanned aircraft systems

Formal mission specification and execution mechanisms for unmanned aircraft systems

... simple and not very suitable for specifying complex ...navigation systems, such as RNAV, can be found in commercial ...cargo and passengers transportation in mind and does not take into ... See full document

151

Modeling and distributed computing of snow transport and delivery on meso scale in a complex orography

Modeling and distributed computing of snow transport and delivery on meso scale in a complex orography

... Xuan-yi and Gu Ming, 2006) and ...temperatures and air water content within the volume to be ...layers of the atmosphere to further ...event, and the system mathematical representation ... See full document

177

Controladores no lineales para el convertidor fuente de tensión

Controladores no lineales para el convertidor fuente de tensión

... Este trabajo est´a dividido en dos partes. En la primera se presentan y proponen obser- vadores y estimadores para se˜ nales sinusoidales de frecuencia desconocida pensados para aplicaciones de sincronizaci´on con la red ... See full document

16

Broadband access in complex environments: LTE on railway

Broadband access in complex environments: LTE on railway

... requirements, and therefore, in the whole interference ...proper and reliable characterization of the radio propagation con- ditions in the considered environments for both the desired link ... See full document

14

Learning about Distributed Systems

Learning about Distributed Systems

... projects and can choose these ...graphics and a participant credit accounting (a numeric measure of how much computation participants have ...Fortran and use the BOINC programming API [34], a ... See full document

27

Methodologies and Programming Development of Applications on Modeling, Identification and Simulation

Methodologies and Programming Development of Applications on Modeling, Identification and Simulation

... in systems whichanalyticsolution is unknown or in mathematical processes where the solution is complex when trying to calculatethe analytic solution without any computational ...expensive and allows the ... See full document

9

Membrane Dissolution in Distributed Architectures of P-Systems

Membrane Dissolution in Distributed Architectures of P-Systems

... goal of this paper is twofold. Firstly, to survey in a systematic and uniform way the main re- sults regarding the way membranes can be placed on processors in order to get a software/hardware simulation ... See full document

6

Microbial reduction of palladium: mechanisms, modeling and applications in wastewater treatment systems

Microbial reduction of palladium: mechanisms, modeling and applications in wastewater treatment systems

... cultures of bacteria had been used for palladium nanoparticles production; however, for practical applications this condition would face ...reduction and nanoparticles production by providing ethanol as ... See full document

170

Uniform Distributed Pushdown Automata Systems.

Uniform Distributed Pushdown Automata Systems.

... A distributed pushdown autómata system consists of several pushdown autómata which work in turn on the input word placed on a common one-way input tape under protocols and strategies similar to those ... See full document

12

Modelado dinámico del sistema cardiorrespiratorio con fines de diagnóstico y diseño de tratamientos

Modelado dinámico del sistema cardiorrespiratorio con fines de diagnóstico y diseño de tratamientos

... Hann C., Chase J., Desaive T., Froissart C., Revie J., Steveneson D., Lambermont B., Ghuysen A., Kolh P., Shaw G. Unique parameter identification for model-based cardiac diagnosis in critical care. Proceedings of ... See full document

17

OPTIMIZATION TECHNIQUES FOR PARAMETRIC MODELING OF ACOUSTIC SYSTEMS AND MATERIALS

OPTIMIZATION TECHNIQUES FOR PARAMETRIC MODELING OF ACOUSTIC SYSTEMS AND MATERIALS

... precision, and related unstability of iterative esti- mation ...(P and/or N in Eq.(1)) may turn unstable and above 300 it is seldom possible to get useful results at ...ARMA modeling ... See full document

6

Activation and termination detection on distributed systems

Activation and termination detection on distributed systems

... field of parallel processing,the method used to descompose a large problem into several con- current small tasks, has emerged as a key en- abling technology in modern ...tance and adoption of ... See full document

6

Show all 10000 documents...