Most extant debugging aids force their users to think about errors in programs from a low-level, unit-at-a-time perspective. Such a perspective is inadequate for debugging large complex systems, particularly distributed systems. In this paper, we ...
We study the synthesis problem in an asynchronous distributed setting: a finite set of processes interact locally with an uncontrollable environment and communicate with each other by sending signals -- actions controlled by a sender process and that ...
In this paper, we present a holistic design methodology for embedded smart camera networks consisting of FPGA-based Programmable System-on-Chips (PSoCs). Beginning with a high-level model of a distributed smart camera application specified in Matlab/...
IEEE Computer Society Press
Washington, DC, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in