18 eredmény a kulcsszóra: 'timed automata'
B´ar cs¨oppet sem ´erdektelen, m´egsem szeretn´em most felid´ezni azokat a nagyon ´erdekes ´es nem-trivi´alis eredm´enyeket, melyek arr´ol sz´olnak, hogy az absztrakt
N/A
In Section 3, we introduce the formalism of Timed Control Flow Automata, an extension of Control Flow Automata with notions of Timed Automata, and describe how verifiers for
N/A
Our goal is to provide a set of timed automaton models (and corresponding queries) that can be used as a benchmark suite for comparing the efficiency of tools and algorithms
N/A
Concrete tools were also built for the verification of transition systems, control flow automata and timed automata, combining different abstract domains (including predicates,
N/A
számú rajzban, egyszerre kell ellensúlyozni a két függőleges vonalat, akkor nem formálok két olyan egymástól különálló ellensúlyozást (hisz azért vagyok élő egy
N/A
Elsőként Levendel Júlia József Attila-esszéje jelenik meg, ezt követi Imre László Aranyról, Görömbei András Adyról, Tüskés Tibor Pilinszkyről szóló írása.. A sorozat
N/A
The PSTM server takes a request from the queue, executes it, and sends a response message to a client (i.e. The backbone of PSTM architecture is based on the
N/A
Úgy kalku- láltam, hogy lesz a szigeten mondjuk ezer ilyen ember, ez pedig nekem több mint százezer dollárnyi hasznot jelent.. Hirdetéseimre egyetlen híres ember
N/A
- Tavaszi változat részaránya 2/3 (Kanada, Kína, India) - Őszi változat: főleg Európában..
N/A
This paper provided a CEGAR-based algorithm for reach- ability analysis of timed automata, that applies abstraction on the zone graph, and calculates the required precision for
N/A
In [11] it is shown that energy problems for one-clock weighted timed automata without updates on transitions (hence only with weights in locations) can be reduced to energy problems
N/A
Lehet, hogy ez a könyv így is kulcsregény, de kritikusként csak arra kérhetem az olvasót, hogy azért se fejtse meg a konkrét ma, itt és most még föllelhető utalásokat.
N/A
It was analyzed that the tuning by ABC algorithms offers a high degree of accuracy when compared to the values obtained by Particle Swarm Optimization (PSO), Differential
N/A
Hoy, 18 años después, en este congreso hablaremos de nuevo sobre transiciones e intentaremos hacerlo de tal manera que se establezca un diálogo
N/A
Csakhogy tudom, hogy Miklós bácsi engem rég szeret már (persze én Önt épen oly rég), hogy akarja magát általam Miklós bácsinak szólittatni.. De igen jól megférünk mi
N/A
De bízunk benne, hogy sikerül érzékeltetni a mai magyar olvasó számára a mai román irodalom legfőbb jellemző vonásait: a népi hagyomány és a modernség, a múlttal
N/A
A csapadékos titrálás úgy is elvégezhető, hogy ismeretlen koncentrációjú Pb(NO 3 ) 2 oldatot titrálunk ismert koncentrációjú, I-125 radioizotóppal jelzett KI-dal. A
N/A