Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
In this paper, we present a method for photometric selfcalibration of a projector-camera system. In addition to the input transfer functions (commonly called gamma functions), we ...
In distributed object-oriented systems, there are situations where client and server objects are deployed in the same address space. In such scenarios, it is possible to dispatch ...
Marco Tulio de Oliveira Valente, Rodrigo Palhares ...