Definition of a parallel execution model with abstract state machines [abstract] /

QR kód

Definition of a parallel execution model with abstract state machines [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Németh Zsolt
Testületi szerző:	Conference of PhD students in computer science (2.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2000
Sorozat:	Conference of PhD Students in Computer Science 2
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59616

Hasonló tételek

Definition of a parallel execution model with abstract state machines
Szerző: Németh Zsolt
Megjelent: (2002)

Schedule on parallel machines in the case of individual machine-set [abstract] /
Szerző: Vaik Zsuzsanna
Megjelent: (2004)

Entropy modeling of information in finite state machines networks [abstract] /
Szerző: Fomina Elena
Megjelent: (2002)

Verification of UML 2 state machines by automated model transformation to the SAL model checker [abstract] /
Szerző: Sisak Áron
Megjelent: (2008)

Functor state machines
Szerző: Horváth Gábor
Megjelent: (1981)

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

Static slicing of binary executables [abstract] /
Szerző: Kiss Ákos, et al.
Megjelent: (2002)

Abstract model-based checkpoint and recovery [abstract] /
Szerző: Pintér Gergely
Megjelent: (2004)

Parallel verification and enumeration of tournaments [abstract] /
Szerző: Szűcs László, et al.
Megjelent: (2000)

Parallel functional programming on cluster [abstract] /
Szerző: Zsók Viktória, et al.
Megjelent: (2002)

Improved loop execution modeling in the Clang static analyzer
Szerző: Szécsi Péter György, et al.
Megjelent: (2022)

Distinguishing experiments for timed nondeterministic finite state machine
Szerző: El-Fakih Khaled
Megjelent: (2013)

Metaheuristic Algorithms for Related Parallel Machines Scheduling Problem with Availability and Periodical Unavailability Constraints
Szerző: Gencsi Mihály
Megjelent: (2024)

Parallel implementation of the large sparse and symmetric eigenproblem [abstract] /
Szerző: Garzón E. M., et al.
Megjelent: (2000)

Parallel functional reactive skeletons in concurrent clean [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2000)

Protocol state machine reverse engineering with a teaching-learning approach
Szerző: Székely Gábor, et al.
Megjelent: (2021)

On cofinal and definite automata
Szerző: Ito Masami, et al.
Megjelent: (1983)

On finite definite automata
Szerző: Imreh Balázs
Megjelent: (1985)

The different effects of the database update during the long execution of continuous queries [abstract] /
Szerző: Búza Antal
Megjelent: (2004)

Parallel simulation of spiral waves in reacting and diffusing media [abstract] /
Szerző: Ortigosa E. M., et al.
Megjelent: (2000)

Enhanced macrostep-based debugging methodology for parallel programs [abstract] /
Szerző: Lovas Róbert, et al.
Megjelent: (2002)

Simulation and implementation of the parallel control random search algorithm [abstract] /
Szerző: Balogh J., et al.
Megjelent: (1998)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

An algebraic definition of attributed transformations
Szerző: Bartha Miklós
Megjelent: (1982)

Hybrid algorithm for sentence alignment of Hungarian-English parallel corpora [abstract] /
Szerző: Tóth Krisztina, et al.
Megjelent: (2006)

Dynamic slicing of programs compiled for the Java virtual machine [abstract] /
Szerző: Szegedi Attila, et al.
Megjelent: (2004)

Machine learning methods in synthesis of four bar linkages [abstract] /
Szerző: Ekárt Anikó
Megjelent: (1998)

Synthesis of abstract algorithms
Szerző: Varga L.
Megjelent: (1980)

On isomorphic representations of generalized definite automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (2001)

Parallelization of an algorithm for non rigid objects detection with stochastic global optimization [abstract] /
Szerző: González-Linares J. M., et al.
Megjelent: (2000)

Multicontrol Turing machines
Szerző: Révész György
Megjelent: (1977)

On machines as living things
Szerző: Hoi Le
Megjelent: (1977)

Simple deterministic machines
Szerző: Khanh N. T.
Megjelent: (1982)

Introducing MLOps to Facilitate the Development of Machine Learning Models in Agronomy A Case Study /
Szerző: Ruggeri Dario, et al.
Megjelent: (2025)

Holonomy decomposition of finite state automata [abstract] /
Szerző: Egri-Nagy Attila, et al.
Megjelent: (2004)

Execution time reduction in function oriented scientific workflows
Szerző: Al-Haboobi Ali, et al.
Megjelent: (2021)

State space transformation a specification language and a program generator : [abstract] /
Szerző: Bárány Vince, et al.
Megjelent: (2000)

Linear parallel maps of tessellation automata
Szerző: Katona Endre
Megjelent: (1979)

Parallel programming structures and attribute grammars
Szerző: Álvarez Gil R., et al.
Megjelent: (1989)

Parallel implementation for large and sparse eigenproblems
Szerző: Garzón E. M., et al.
Megjelent: (2001)