748 search results - page 68 / 150 » concurrency 2008 |
101
click to vote
SIAMCOMP
1998
15 years 8 days ago
1998
It is shown that the minimum cut ratio is within a factor of O(log k) of the maximum concurrent flow for k-commodity flow instances with arbitrary capacities and demands. This im...
98
Voted
TCAD
2008
15 years 15 days ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
101
click to vote
ENTCS
2008
15 years 20 days ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
118
click to vote
WCNC
2008
IEEE
15 years 7 months ago
2008
IEEE
—Neighbors of both the transmitter and the receiver must keep quiet in a 802.11 wireless network as it requires bidirectional exchange, i.e., nodes reverse their roles as transmi...
119
click to vote
CONCURRENCY
2006
15 years 19 days ago
2006
Significant progress has been made in the design and development of Grid middleware which, in its present form, is founded on service-oriented architecture and web services techno...