12052 search results - page 282 / 2411 » computer 2010 |
161
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
153
click to vote
DEBU
2010
15 years 6 months ago
2010
With the widespread adoption of location tracking technologies like GPS, the domain of transportation information management has seen growing interest in the last few years. In th...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
156
click to vote
DSS
2007
15 years 6 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...