2703 search results - page 440 / 541 » Optimizing memory transactions |
124
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
—The dynamics of many systems are described by ordinary differential equations (ODE). Solving ODEs with standard methods (i.e. numerical integration) needs a high amount of compu...
133
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
116
Voted
ICNP
2006
IEEE
15 years 7 months ago
2006
IEEE
— The phenomenal growth of the Internet in the last decade and society’s increasing dependence on it has brought along, a flood of security attacks on the networking and compu...
132
Voted
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
Stride-based prefetching mechanisms exploit regular streams of memory accesses to hide memory latency. While these mechanisms are effective, they can be improved by studying the p...
114
Voted
ADHOCNOW
2006
Springer
15 years 7 months ago
2006
Springer
Flash memory is often the technology of choice for sensor networks because of its cost-effectiveness and attractive energy properties. In storage-constrained sensor network applica...