Towards a unified model of computation with correctness proofs [abstract] /

QR kód

Towards a unified model of computation with correctness proofs [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Erdélyi Gáspár
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/59851

Hasonló tételek

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

Programming language elements for correctness proofs
Szerző: Dévai Gergely
Megjelent: (2008)

Towards a unified stylesheet format for paper-based and electronic documents [abstract] /
Szerző: Hegedűs Hajnalka, et al.
Megjelent: (2006)

Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008)

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

Unified SAST benchmark Compare AI-driven and traditional static analyzers /
Szerző: Viszkok Tamás, et al.
Megjelent: (2025)

Towards Modelling IoT Workflows
Szerző: Márkus András
Megjelent: (2022)

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

Correctness-proven code generation for MDA [abstract] /
Szerző: Balogh András
Megjelent: (2004)

On the partial correctness of the alternating bit protocol [abstract] /
Szerző: Lakatos Attila, et al.
Megjelent: (1998)

Scott induction and equational proofs
Szerző: Ésik Zoltán, et al.
Megjelent: (1995)

On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978)

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

Modeling Dew Computing in DISSECT-CF-Fog
Szerző: Márkus András, et al.
Megjelent: (2022)

Probability model for non-homogeneous multiprogramming computer system
Szerző: Sztrik János
Megjelent: (1983)

A linear programming background for the R∞ HFF upper bound proof [abstract] /
Szerző: Labádi Máté
Megjelent: (2006)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

Correction - Invariance groups of threshold functions E. K. Horváth /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Approaches to Overpower Proof-of-Work Blockchains Despite Minority
Szerző: Baniata Hamza, et al.
Megjelent: (2023)

A probability model for priority processor-shared multiprogrammed computer systems
Szerző: Sztrik János
Megjelent: (1986)

Radiologic text correction for better machine understanding
Szerző: Kicsi András, et al.
Megjelent: (2024)

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

Partial Pre-Image Attack on Proof-of-Work based Blockchains
Szerző: Baniata Hamza, et al.
Megjelent: (2024)

Colour space transformation, colour correction and exact colour reproduction on FALCON architecture [abstract] /
Szerző: Kozma Péter
Megjelent: (2002)

A queueing model for multiprogrammed computer systems with different I/O times
Szerző: Sztrik János
Megjelent: (1985)

An Elementary Proof of the General Poincare Formula for λ-additive Measures
Szerző: Dombi József, et al.
Megjelent: (2019)

The extended analog computer and functions computable in a digital sense
Szerző: Piekarz Monika
Megjelent: (2010)

On computing the Hamming distance
Szerző: Kéri Gerzson, et al.
Megjelent: (2004)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

An elementary proof of the general Poincaré formula for λ-additive measures
Szerző: Dombi József, et al.
Megjelent: (2019)

Traquest model a novel model for ACID concurrent computations /
Szerző: Rátai Dániel Balázs, et al.
Megjelent: (2021)

Correction - Mealy-automata in which the output-equivalence is a congruence I. Babcsányi, A. Nagy /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Creation of the tasks of the cognitive computer aided therapy software [abstract] /
Szerző: Szabó Julianna, et al.
Megjelent: (2004)

Towards abstractive summarization in Hungarian
Szerző: Makrai Márton, et al.
Megjelent: (2022)

Towards version controlling in RefactorErl
Szerző: Ciuciu-Kiss Jenifer Tabita, et al.
Megjelent: (2021)

Using genetic algorithms in computer vision registering images to 3D surface model /
Szerző: Jankó Zsolt, et al.
Megjelent: (2007)

The use of computers in nuclear medicine
Szerző: Csernay László
Megjelent: (1975)

Computing maximum valued regions
Szerző: Woeginger Gerhard J.
Megjelent: (1992)

Investigation of a delayed differential equation with verified computing technique [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2006)

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