Model based optimization and verification of IT systems [abstract] /

QR kód

Model based optimization and verification of IT systems [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Gyapay Szilvia
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/59756

Hasonló tételek

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

Modeling and optimization of engineering systems
Szerző: Adonyi Róbert, et al.
Megjelent: (2014)

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

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

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

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

Verification of reconfiguration mechanisms in service-oriented [abstract] /
Szerző: Gönczy László
Megjelent: (2006)

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

Optimal trajectory generation for Petri nets
Szerző: Gyapay Szilvia, et al.
Megjelent: (2005)

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

Dual convolutional neural network classifier with pyramid attention network for image-based kinship verification
Szerző: Rachmadi Reza Fuad, et al.
Megjelent: (2023)

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

Optimizing object location in mobile distributed object systems [abstract] /
Szerző: Gesztesi Gábor
Megjelent: (2000)

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

On the optimization of library information retrieval systems
Szerző: Iványi Antal M., et al.
Megjelent: (1986)

Optimal deterministic and stochastic resource allocation in a distributed system [abstract] /
Szerző: Póta Szabolcs, et al.
Megjelent: (2004)

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

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

Optimal switching instants for the control of hybrid systems
Szerző: Mullier Olivier, et al.
Megjelent: (2020)

Camera placement optimization in object localization system
Szerző: Szalóki Dávid, et al.
Megjelent: (2015)

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

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

Optimal substructures in optimal and candidate circle packings [abstract] /
Szerző: Szabó Péter Gábor
Megjelent: (2002)

Search space reduction criterion based on derivatives in global optimization algorithms [abstract] /
Szerző: Martínez J. A., et al.
Megjelent: (2000)

Tutorials on recurrent neural networks and signature verification
Szerző: Malik Muhammad Imran

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)

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

Effective inclusion methods for verification of ReLU neural networks
Szerző: Szász Attila, et al.
Megjelent: (2024)

Hardware-Aware Model Optimization Tool for Embedded Devices
Szerző: Cagri Ozcinar, et al.
Megjelent: (2021)

On pollution minimization in the optimization models of process network synthesis
Szerző: Imreh Csanád, et al.
Megjelent: (2005)

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

Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques [abstract] /
Szerző: Domokos Péter, et al.
Megjelent: (2004)

Increasing compression performance of block based file systems [abstract] /
Szerző: Havasi Ferenc
Megjelent: (2004)

Teleonics as a framework for business modelling and IT system design [abstract] /
Szerző: Horváth Gábor
Megjelent: (2004)

Optimization algorithms for constraint handling [abstract] /
Szerző: Mezei Gergely, et al.
Megjelent: (2006)

Optimal disk packings in the square [abstract] /
Szerző: Szabó P. G., et al.
Megjelent: (2000)

Optimization of multivalued logical functions based on evaluation graphs
Szerző: Varga Antal
Megjelent: (1986)

Keeping P4 switches fast and fault-free through automatic verification
Szerző: Lukács Dániel, et al.
Megjelent: (2019)

Integer programming based optimization of power consumption for data Center Networks
Szerző: Kovásznai Gergely, et al.
Megjelent: (2024)