Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
Abstract: The SAPHIRE project aims to develop an intelligent healthcare monitoring and decision support system on a platform integrating the wireless medical sensor data with hospi...
Andreas Hein, Oliver Nee, Detlev Willemsen, Thomas...
This paper explores the implications and uptakes of game developers’ increasing reliance on the creative labour of fan content creators. It draws on an ethnographic account of A...