2468 search results - page 374 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
216
click to vote
RTSS
2007
IEEE
16 years 18 days 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 ...
158
click to vote
AINA
2007
IEEE
16 years 20 days 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...
168
click to vote
PPOPP
2010
ACM
16 years 24 days 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...
187
click to vote
WSC
1998
15 years 7 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...
161
click to vote
ICS
2005
Tsinghua U.
15 years 11 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...