5898 search results - page 557 / 1180 » Parallel Computing Environments and Methods |
165
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
191
Voted
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
170
click to vote
ICPPW
2007
IEEE
16 years 27 days ago
2007
IEEE
P2P technology has been widely adopted in live streaming system for its scalability and low commercial cost. However, tree based system or mesh based system still has to face the ...
174
click to vote
ICDCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— In this paper, we explore multi-hop bandwidth estimation assuming arbitrary cross-traffic at each node and develop a new probing method called Envelope that can asympt...
170
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
A major issue in modelling the performance merits of interconnection network is dealing with virtual channels. Some analytical models chose not to deal with this issue at all i.e....