Search

Now showing items 1-10 of 39

A method to process images data and prediction models for some mapreduce applications

Li, Yangyuan (2020)

Effective domain-specific formal verification techniques

Hajdu, Ákos (2020)

Design and performance evaluation of content sharing and streaming techniques in distributed communication networks

Braun, Patrik J. (2020)

High-quality vocoding design with signal processing for speech synthesis and voice conversion

Al-Radhi, Mohammed Salah (2020)

Evaluating and improving white-box test generation

Honfi, Dávid (2020)

Exploiting semantic information for image retrieval and analysis

Varga, Domonkos (2020)

Supporting operational management of IP-based voice services

Tóthfalusi, Tamás (2021)

Distributed systems and algorithms in smart cities

Nagy, Attila Mátyás (2021)

Improved security and protection from malware for embedded IoT devices

Futóné Papp, Dorottya (2020)

Abstraction refinement-based verification of timed automata

Tóth, Tamás (2021)

1
2
3
4