Search For:

Displaying 1-5 out of 5 total
Testing first-order properties for subclasses of sparse graphs
Found in: Journal of the ACM (JACM)
By Daniel Král, Robin Thomas, Zdeněk Dvořák
Issue Date:October 2013
pp. 1-24
We present a linear-time algorithm for deciding first-order (FO) properties in classes of graphs with bounded expansion, a notion recently introduced by Nešetřil and Ossona de Mendez. This generalizes several results from the literature, because ...
     
On testing the source compatibility in Java
Found in: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity (SPLASH '13)
By Jan Hýbl, Zdeněk Troníček
Issue Date:October 2013
pp. 87-88
When software components evolve, they change interfaces, which may break backward compatibility. We present a tool that facilitates checking whether a new version of component is source compatible with a previous version. This tool figures out the componen...
     
Migration from deprecated API in Java
Found in: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity (SPLASH '13)
By Roman Štrobl, Zdeněk Troníček
Issue Date:October 2013
pp. 85-86
When software components evolve, they change interfaces. Members that are obsolete are marked as deprecated and new members are added. We deal with the problem of migration from deprecated members to their replacement. We implemented two tools: Java Source...
     
JaDaRD: java data-race detector
Found in: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (SPLASH '12)
By Filip Voráček, Zdeněk Troníček
Issue Date:October 2012
pp. 71-72
When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data race...
     
Remote Access to 3D Models for Research, Engineering, and Art
Found in: IEEE MultiMedia
By Sven Ubik,Zdeněk Trávníček,Petr Žejdl,Jiří Halák
Issue Date:October 2012
pp. 12-19
Stereoscopic (3D) models and visualizations can add value to current videoconferencing systems by offering a higher level of immersion when accessing remote 3D models. The low-latency remote access to 3D models in high resolution over high-speed networks c...
 
 1