5863 search results - page 754 / 1173 » On Model-Checking of P Systems |
202
click to vote
DSN
2005
IEEE
16 years 14 days ago
2005
IEEE
It is now widely accepted that the CMOS technology implementing irreversible logic will hit a scaling limit beyond 2016, and that the increased power dissipation is a major limiti...
156
click to vote
ICPADS
2005
IEEE
16 years 13 days ago
2005
IEEE
: We discuss a group protocol which supports applications with group communication service when QoS supported by networks or required by applications is changed. An autonomic group...
198
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
— Numerous proposals exist for load balancing in peer-to-peer (p2p) networks. Some focus on namespace balancing, making the distance between nodes as uniform as possible. This te...
187
click to vote
RTAS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we study the problem of allocating end-toend bandwidth to each of multiple traffic flows in a largescale network. We adopt the QoS-based Resource Allocation Model...
164
click to vote
ACIVS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...