174 search results - page 5 / 35 » Automatic Parallelization with Separation Logic |
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
ACL
2008
13 years 10 months ago
2008
While speech recognition systems have come a long way in the last thirty years, there is still room for improvement. Although readily available, these systems are sometimes inaccu...
ICANN
2009
Springer
14 years 1 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
PDP
2009
IEEE
14 years 3 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...