Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /

QR kód

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kovács József
Testületi szerző:	Conference of PhD students in computer science (5.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2006
Sorozat:	Conference of PhD Students in Computer Science 5
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/59865

Hasonló tételek

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

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

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

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

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

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

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

An application of truth functions in formalized diagnostics
Szerző: Ádám András
Megjelent: (1976)

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

A new mathematical formalism for the TTCN 3 core language [abstract] /
Szerző: Jaskó Szilárd
Megjelent: (2004)

Kleene theorems for skew formal power series
Szerző: Kuich Werner
Megjelent: (2006)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Topological analysis of linear systems
Szerző: Pávó Imre
Megjelent: (1977)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

An identification approach to dynamic errors-in-variables systems with a preliminary clustering of observations [abstract] /
Szerző: Hunyadi Levente
Megjelent: (2008)

Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems
Szerző: Wunderlich Jonathan, et al.
Megjelent: (2020)

Analysis of data flow for SIMD systems
Szerző: Klette Reinhard
Megjelent: (1984)

Operation research methods in Petri net-based analysis of IT system [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2002)

Application of a 3D-printed, high efficiency sample introduction system for single cell ICP-MS analysis
Szerző: Kajner Gyula, et al.
Megjelent: (2023)

On the real-time recognition of formal languages in cellular automata
Szerző: Pecht J.
Megjelent: (1983)

Definition of global properties of distributed computer systems by the analysis of system components method
Szerző: Just J. R.
Megjelent: (1982)

Introduction to C# 2010 programming
Szerző: Devosa Iván, et al.

Checkpoint game applikáció
Szerző: Kiss Zsuzsanna
Megjelent: (2023)

A new approach to neural network design [abstract] /
Szerző: Péter András, et al.
Megjelent: (1998)

Preparing surgical operation plans for finite element analysis using the MedEdit system [abstract] /
Szerző: Erdőhelyi Balázs, et al.
Megjelent: (2004)

Approaches to improve macula detection in retinal images [abstract] /
Szerző: Antal Bálint
Megjelent: (2010)

Traffic analysis of HTTPS [abstract] /
Szerző: Zömbik László
Megjelent: (2002)

Analysis of permutation routing algorithms [abstract] /
Szerző: Békési József, et al.
Megjelent: (1998)

Asymptotic analysis of some controlled finite-source queueing systems
Szerző: Anisimov V. V., et al.
Megjelent: (1989)

Introduction to Java 6.x programming
Szerző: Devosa Iván, et al.

Improving content management - a semantic approach
Szerző: Kovács Barna
Megjelent: (2008)

In-memory preprocessing of streaming sensory data partitioned relational database approach [abstract] /
Szerző: Marton József, et al.
Megjelent: (2008)

Security analysis of sensor networks [abstract] /
Szerző: Gémesi Roland, et al.
Megjelent: (2004)

Efficient static impact analysis [abstract] /
Szerző: Jász Judit
Megjelent: (2008)

Dynamic analysis of UML statemachines [abstract] /
Szerző: Huszerl Gábor
Megjelent: (2000)

A fuzzy approach for mining interesting quantitative association rules [abstract] /
Szerző: Gyenesei Attila
Megjelent: (2000)

An optimization approach for integrated design and parameter estimation in process engineering [abstract] /
Szerző: Egea Jose A.
Megjelent: (2006)

Simulation approach for localizing roots of real coefficients complex equation [abstract] /
Szerző: Dimitrijevic Sasa, et al.
Megjelent: (1998)

An approach to automata schemes synthesis
Szerző: Podkolzin Aleksandr Sergeevič, et al.
Megjelent: (1988)

An approach for compacting XMI documents
Szerző: Kálmán Miklós
Megjelent: (2005)