Martin Burtscher

Martin Burtscher

Texas State University
Verifierad e-postadress på txstate.edu
Citerat av 7026
GPGPU program parallelization algorithm synthesis data compression energy efficiency
Isabela Dramnesc

Isabela Dramnesc

West University of Timisoara
Verifierad e-postadress på e-uvt.ro
Citerat av 203
Algorithm synthesis Theory exploration Logic Automated reasoning