Volume 36 (2012)

Selected papers of
9th Joint Conference on Mathematics and Computer Science (MaCS 2012)
February 9-12, 2012, Siófok, Hungary

Front pages

Pages: 1–3

Towards axiom-based test generation in .NET applications

Mihály Biczó and Zoltán Porkoláb

Pages: 5–22

DOI: 10.71352/ac.36.005

Comparing the computation of Chebyshev polynomials in computer algebra systems

Sándor Czirbusz

Pages: 23–39

DOI: 10.71352/ac.36.023

A random graph model based on 3-interactions

Ágnes Backhausz and Tamás F. Móri

Pages: 41–52

DOI: 10.71352/ac.36.041

Degree distribution in the lower levels of the uniform recursive tree

Ágnes Backhausz and Tamás F. Móri

Pages: 53–62

DOI: 10.71352/ac.36.053

Performance analysis of multi-threaded locking in bucket hash tables

Ákos Dudás, Sándor Kolumbán and Sándor Juhász

Pages: 63–74

DOI: 10.71352/ac.36.063

Improving efficiency of automated functional testing in agile projects

Gáspár Nagy

Pages: 75–98

DOI: 10.71352/ac.36.075

On more rapid convergence to a density

József Bukor and János T. Tóth

Pages: 99–102

DOI: 10.71352/ac.36.099

The modified joint optimal strategy concept in zero-sum fuzzy matrix games

Edit Garda-Mátyás and Zoltán Makó

Pages: 103–116

DOI: 10.71352/ac.36.103

Compiling Haskell to JavaScript through Clean's core

László Domoszlai and Rinus Plasmeijer

Pages: 117–142

DOI: 10.71352/ac.36.117

EM algorithms for generalized Bradley–Terry models

Villő Csiszár

Pages: 143–157

DOI: 10.71352/ac.36.143

Neighborhood principle driven ICF algorithm and graph distance calculations

Norbert Kézdi, Katalin Pásztor Varga and Éena Jakó

Pages: 159–177

DOI: 10.71352/ac.36.159

Superoptimization in LLVM

Dávid Juhász and Tamás Kozsik

Pages: 179–199

DOI: 10.71352/ac.36.179

A probabilistic classification method based on conditional independences

Edith Kovács and Tamás Szántai

Pages: 201–215

DOI: 10.71352/ac.36.201

A domain based new code coverage metric and a related automated test data generation method

Dániel Leskó and Máté Tejfel

Pages: 217–240

DOI: 10.71352/ac.36.217

Rational FFT implementation in MATLAB

Levente Lócsi

Pages: 241–254

DOI: 10.71352/ac.36.241

A heuristic process for GUI widget matching across application versions

Arthur-Jozsef Molnar

Pages: 255–275

DOI: 10.71352/ac.36.255

Extended pattern matching for embedded languages

Gergely Dévai

Pages: 277–297

DOI: 10.71352/ac.36.277

Automated word puzzle generation using topic models and semantic relatedness measures

Balázs Pintér, Gyula Vörös, Zoltán Szabó and András Lőrincz

Pages: 299–322

DOI: 10.71352/ac.36.299

Defining contracts with different tools in software development

György Orbán and László Kozma

Pages: 323–339

DOI: 10.71352/ac.36.323

Compile-time advances of the C++ Standard Template Library

Norbert Pataki

Pages: 341–353

DOI: 10.71352/ac.36.341

On real valued additive functions modulo \(1\)

Kalyan Chakraborty, Imre Kátai and Bui Minh Phong

Pages: 355–373

DOI: 10.71352/ac.36.355

Index of Volume 36

Pages: 375–376

Back pages

Pages: 377–378

ELTE FI