Search

Now showing items 1-10 of 12

Evaluation of Fault Tolerance Mechanisms with Model Checking

Molnár, Vince; Majzik, István (2016)

Novel Technique for Radiation Dose Visualization in Large Space

Piksis, Martins; Dekhtyar, Yuri (2016)

Generating Unit Isolation Environment Using Symbolic Execution

Honfi, Dávid; Micskei, Zoltán Imre (2016)

Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata

Farkas, Rebeka; Vörös, András (2016)

Partial Volume Artifact in MITS Reconstructed Digital Chest Tomosynthesis

Hadházi, Dániel; Horváth, Gábor (2016)

Swarm Intelligence Meets Rule-Based Design Space Exploration

Sólyom, Alexandra Anna; Nagy, András Szabolcs (2016)

Formal Modeling of Real-Time Systems with Data Processing

Tóth, Tamás; Majzik, István (2016)

Overview and Prospects of Brain-Computer Interface Technology for Prosthetic Limbs

Várszegi, Kristóf; Pataki, Béla (2016)

Sharded Joins for Scalable Incremental Graph Queries

Maginecz, János; Szárnyas, Gábor (2016)

A Low Cost Magnetic-Field Based Indoor Positioning System

Pasku, Valter; De Angelis, Alessio; De Angelis, Guido; Dionigi, Marco; Moschitta, Antonio; Carbone, Paolo (2016)

1
2