4839 search results - page 765 / 968 » A survey of computational complexity results in systems and ... |
154
click to vote
PADS
2005
ACM
16 years 6 days ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
240
click to vote
NOSSDAV
2001
Springer
15 years 11 months ago
2001
Springer
The heterogeneity of the Internet’s transmission resources and end system capability makes it difficult to agree on acceptable traffic characteristics among the multiple receive...
182
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing popularity and diversity of collaborative applications prompts a need for highly secure and reliable communication platforms for dynamic peer groups. Security mecha...
157
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
155
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...