Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
This paper addresses the problem of low-latency robust video delivery over packet networks characterized by a bursty loss process. We propose a joint source-channel coding based v...
Jiajun Wang, Vinod M. Prabhakaran, Kannan Ramchand...
The Smart Surface1 project aims at designing an integrated micro-manipulator based on an array of micromodules connected with a 2D array topology network. Each micromodule comprise...
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
Visualization systems that support multiple-display viewing can greatly enhance user perception. The common approach to provide multiple synchronized views uses a powerful centrali...
Alexandre G. Ferreira, Renato Cerqueira, Waldemar ...