Autostereoscopic displays enable unencumbered immersive virtual reality, but at a significant computational expense. This expense impacts the feasibility of autostereo displays in...
Robert Kooima, Tom Peterka, Javier Girado, Jinghua...
System-on-Chip devices containing both conventional and reconfigurable circuits are increasing in popularity. However the on-chip debug support infrastructure required to aid syst...
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
T-learning courses are an effective way of education, but their creation is a time-consuming and expensive activity. We explain the process of t-learning courses development as it ...
Kamila Olsevicova, Hana Rohrova, Jaroslava Mikulec...