Multi-user virtual environments (MUVEs) seem to have great potential in education. Current educational uses of MUVEs seem to exploit them more as group interaction platforms and le...
Ioannis Vrellis, Nikiforos M. Papachristos, Joan B...
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
Compressive-sensing cameras are an important new class of sensors that have different design constraints than standard cameras. Surprisingly, little work has explored the relation...
Abstract—This paper explores multi-operator supervisory control (MOSC) of multiple independent robots using two complementary approaches: a human factors experiment and an agent-...
Jonathan M. Whetten, Michael A. Goodrich, Yisong G...
— In this paper, we examine the impact of application task mapping on the reliability of MPSoC in the presence of single-event upsets (SEUs). We propose a novel soft erroraware d...
Rishad A. Shafik, Bashir M. Al-Hashimi, Krishnendu...