Experience report: evolution of a web-integrated software development and verification environment.
An integrated implementation framework for compile-time metaprogramming.
Fast construction of space-optimized recursive automaton.
Implementation and performance evaluation of a scheduling algorithm for divisible load parallel applications in a cloud computing environment.
PLaTHEA: a marker-less people localization and tracking system for home automation.
High-speed parallel implementations of the rainbow method based on perfect tables in a heterogeneous system.