Abstract model-based checkpoint and recovery [abstract] /

QR kód

Abstract model-based checkpoint and recovery [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Pintér Gergely
Testületi szerző:	Conference of PhD students in computer science (4.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2004
Sorozat:	Conference of PhD Students in Computer Science 4
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/59793

Hasonló tételek

Recovery of label distributions [abstract] /
Szerző: Herman Gábor T.
Megjelent: (2002)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

Towards abstraction-based probabilistic program analysis
Szerző: Szekeres Dániel, et al.
Megjelent: (2024)

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

Model based optimization and verification of IT systems [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2004)

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

Model-free control based on reinforcement learning [abstract] /
Szerző: Dávid Zoltán, et al.
Megjelent: (2006)

Model-based development of graphical user interfaces [abstract] /
Szerző: Tóth Dániel, et al.
Megjelent: (2006)

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

Metamodel-based modeling and model transformation framework supporting inheritance and constrants [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2004)

Aspect-UML-driven model-based software development [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2006)

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

Global/nonlinear optimization in modeling environments [abstract] /
Szerző: Pintér János D.
Megjelent: (2002)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

The cost-effective and component based intelligent Tutoring Shell - the GET-BITS model [abstract] /
Szerző: Jerinic Ljubomir, et al.
Megjelent: (1998)

The basics of roleoriented modelling [abstract] /
Szerző: Csiszár Tibor, et al.
Megjelent: (2002)

On the verification of abstract data types
Szerző: Varga L.
Megjelent: (1983)

Hybrid concurrency control and recovery for multi-level transactions
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (2000)

Extending the Sparkle Core language with object abstraction
Szerző: Tejfel Máté, et al.
Megjelent: (2005)

Skeletonization based on neighborhood sequences [abstract] /
Szerző: Kovács György, et al.
Megjelent: (2008)

Modeling of grid monitoring systems [abstract] /
Szerző: Gombás Gábor
Megjelent: (2006)

Parameter optimization of infection models [abstract] /
Szerző: Csernenszky András, et al.
Megjelent: (2010)

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

Ideas for improving efficiency of procedural abstraction
Szerző: Szirbucz Tamás
Megjelent: (2012)

Hand gesture-based film restoration [abstract] /
Szerző: Licsár Attila, et al.
Megjelent: (2002)

Rule-based system for conformance testing [abstract] /
Szerző: Areik Abdallah Khalil
Megjelent: (1998)

Declarative mapping between concrete and abstract syntax of domain-specific visual languages [abstract] /
Szerző: Ráth István
Megjelent: (2006)

Time series models on medical research [abstract] /
Szerző: Fazekas Mária
Megjelent: (2004)

UML2 and model-driven development [abstract] /
Szerző: Papp Ágnes
Megjelent: (2004)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

Dynamic model for the system testing process [abstract] /
Szerző: Stikkel Gábor
Megjelent: (2004)

Automatic generation of compiled model transformations [abstract] /
Szerző: Horváth Ákos
Megjelent: (2006)

Simulations on a fractal growth model [abstract] /
Szerző: Marchis Julia
Megjelent: (2006)

Performance modeling of hierarchical list structures [abstract] /
Szerző: Palugyai Sándor, et al.
Megjelent: (2006)

Regular grammar model for protocol testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (1998)

Hybrid modelling and reasoning in measuring systems [abstract] /
Szerző: Tömösy Gyula
Megjelent: (1998)

Code generation from UML models [abstract] /
Szerző: Frohner Ákos, et al.
Megjelent: (2000)

Neural network model for nonlinearity detection [abstract] /
Szerző: Csató Lehel, et al.
Megjelent: (1998)

Alternative method for modeling dynamic systems [abstract] /
Szerző: Fekete Gusztáv, et al.
Megjelent: (2024)