932 search results - page 110 / 187 » Verifying Progress in Timed Systems |
158
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
164
Voted
SIGMETRICS
2012
ACM
13 years 6 months ago
2012
ACM
Competition for shared memory resources on multiprocessors is the most dominant cause for slowing down applications and makes their performance varies unpredictably. It exacerbate...
148
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
161
click to vote
SOSP
2007
ACM
16 years 26 days ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
131
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...