Browsing by Author "Michael, G."
Now showing items 1-8 of 8
-
Conference Object
Combining compile and run-time dependency resolution in Data-Driven Multithreading
Arandi, Samer; Michael, G.; Evripidou, Paraskevas; Kyriacou, Costas (2012)Threaded Data-Flow systems schedule threads based on data-availability i.e. a thread can be scheduled for execution only after all its inputs have been generated by its producer threads. This requires that all data ...
-
Conference Object
The design and investigation of a web-based synchronous and asynchronous peer feedback mechanism
Kyza, Eleni A.; Michael, G.; Constantinou, Constantinos P. (2011)
-
Conference Object
Developing and validating a web-based learning environment for helping 6th grade students appreciate subjectivity and uncertainty in science
Michael, G.; Papadouris, Nicos; Kyza, Eleni A.; Constantinou, Constantinos P. (2010)
-
Conference Object
Exploring HPC parallelism with data-driven multithreating
Christofides, Constantinos; Michael, G.; Trancoso, Pedro; Evripidou, Paraskevas (IEEE Computer Society, 2013)The switch to Multi-core systems has ended the reliance on the single processor for increase in performance and moved into Parallelism. However, the exponential growth in performance of the single processor in the 80's and ...
-
Conference Object
Individual differences in music video interaction: An exploratory analysis
Kleanthous, Styliani; Michael, G.; Samaras, George S.; Dimitrova, V. (Association for Computing Machinery, Inc, 2017)Learning through video watching has been popular through the education community and is considered as a common choice especially for self-directed informal learning. However, the learner in this situation acts only as a ...
-
Conference Object
Intelligent embedded and real-time ANN-based motor control for multi-rotor unmanned aircraft systems
Michael, G.; Efstathiou, N.; Mantis, K.; Theocharides, Theocharis; Pau, D. (2017)
-
Conference Object
Participatory design to support students' web-based inquiry of complex, socio-scientific problems
Nicolaidou, Iolie A.; Kyza, Eleni A.; Michael, G.; Papadouris, Nicos; Constantinou, Constantinos P.; Kollias, V.; Davaris, T.; Asher, I.; Tabak, I.; Redfors, A.; Hansson, L.; Rosberg, M.; Oldershaw, C. (2010)
-
Article
Verification techniques for distributed algorithms
Philippou, Anna; Michael, G. (2006)A value-passing, asynchronous process calculus and its associated theory of confluence are considered as a basis for establishing the correctness of distributed algorithms. In particular, we present an asynchronous version ...