2468 search results - page 374 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
228
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
169
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
187
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
In processors with several levels of hardware resource sharing, like CMPs in which each core is an SMT, the scheduling process becomes more complex than in processors with a singl...
207
click to vote
WSC
1998
15 years 8 months ago
1998
It is well known that the performance of a parallel discreteevent simulation (PDES) depends on the allocation of the workload to processors. In particular, poor performance may be...
181
click to vote
ICS
2005
Tsinghua U.
16 years 8 days ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...