2468 search results - page 374 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
181
Voted
RTSS
2007
IEEE
15 years 10 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 ...
131
Voted
AINA
2007
IEEE
15 years 10 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...
134
Voted
PPOPP
2010
ACM
15 years 10 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...
150
Voted
WSC
1998
15 years 5 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...
125
Voted
ICS
2005
Tsinghua U.
15 years 9 months 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...