Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
When Jack van Lint was appointed as full professor at the Eindhoven University of Technology at the age of 26 he combined a PhD in number theory with a very open scientific mind. ...
Bram Van Asch, Aart Blokhuis, Henk D. L. Hollmann,...
— We investigate the validity of reducing router buffer size in a large-scale network that includes both core networks and edge networks. We first devise a novel mathematical an...
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...