346 search results - page 63 / 70 » Determinizing Asynchronous Automata |
ENTCS
2008
14 years 10 months ago
2008
A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network mu...
IAJIT
2008
14 years 10 months ago
2008
: Traffic shaping function becomes imperative for the new broadband services that are being deployed in order to avoid information loss, to provide the end users multiple traffic o...
CLEIEJ
2006
14 years 10 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
DA
2007
14 years 10 months ago
2007
Decision analytic methods are now used frequently to help articulate and structure debate and deliberations among citizens and stakeholders in societal decisions. Methods vary, bu...
JSAC
2008
14 years 10 months ago
2008
Abstract--Distributed and efficient resource allocation is critical for fully realizing the benefits of cooperative communications in large scale communication networks. This paper...