Parallel verification and enumeration of tournaments [abstract] /

QR kód

Parallel verification and enumeration of tournaments [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Szűcs László Pécsy Gábor
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/59630

Hasonló tételek

Realizing small tournaments through few permutations
Szerző: Eggermont Christian, et al.
Megjelent: (2013)

Enumeration of certain words
Szerző: Kim K. H., et al.
Megjelent: (1980)

Unusual algorithms for lexicographical enumeration
Szerző: Dömösi Pál
Megjelent: (2000)

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

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

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

On lexicographic enumeration of regular and context-free languages
Szerző: Mäkinen Erkki
Megjelent: (1997)

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

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)

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

On some enumeration questions concerning trees and tree-type networks to the memory of Dr Catherine Rényi and professor Alfréd Rényi /
Szerző: Ádám András, et al.
Megjelent: (1972)

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

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

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

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

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

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)

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

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)

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

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

Parallel communicating grammar systems recent results, open problems /
Szerző: Păun Gheorghe
Megjelent: (1996)

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

Parallel asynchronous computation of the values of an associative function
Szerző: Horváth Zoltán
Megjelent: (1995)

Parallel communicating grammar systems with separated alphabets
Szerző: Mihalache Valeria
Megjelent: (1996)

Parallelization of an algorithm for the automatic detection of deformable objects
Szerző: González-Linares J. M., et al.
Megjelent: (2001)

A 3D parallel shrinking algorithm
Szerző: Palágyi Kálmán
Megjelent: (2001)

Parallel communicating Watson-Crick automata systems
Szerző: Czeizler Elena, et al.
Megjelent: (2006)

On some extensions of indian parallel context free grammars
Szerző: Dassow Jürgen
Megjelent: (1980)

On some extensions of russian parallel context free grammars
Szerző: Dassow Jürgen
Megjelent: (1984)

Parallel simulation of spiral waves in reacting and diffusing media
Szerző: Ortigosa E. M., et al.
Megjelent: (2001)

Effects of Pooling in ParallelGlobal with Low Thread Interactions
Szerző: Zombori Dániel, et al.
Megjelent: (2021)

A parallelized sequential random search global optimization algorithm
Szerző: Ortigosa Pilar M., et al.
Megjelent: (1999)

A parallel event system for large-scale cloud simulations in DISSECT-CF
Szerző: Sallo Dilshad Hassan, et al.
Megjelent: (2021)

2D parallel thinning and shrinking based on sufficient conditions for topology preservation
Szerző: Németh Gábor, et al.
Megjelent: (2011)

Toward computer aided development of parallel compilers running on transputer architecture
Szerző: Toczki János
Megjelent: (1995)