20126 search results - page 3761 / 4026 » Timed Transition Systems |
161
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
138
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
133
click to vote
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...
136
click to vote
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
Given the widespread use of password authentication in online correspondence, subscription services, and shopping, there is growing concern about identity theft. When people reuse...
128
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...