Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
Virtually all teleconferencing solutions are designed to facilitate face-to-face interactions. While face-to-face is suitable for meetings or conversations, we see many real-world...