419 search results - page 70 / 84 » A Thread of HOL Development |
118
Voted
OOPSLA
2010
Springer
15 years 27 days ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
129
Voted
PVLDB
2010
15 years 26 days ago
2010
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...
129
Voted
ICPADS
2010
IEEE
15 years 13 days ago
2010
IEEE
As supercomputers are being built from an ever increasing number of processing elements, the effort required to achieve a substantial fraction of the system peak performance is con...
131
click to vote
IPPS
2010
IEEE
15 years 12 days ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
117
Voted
CACM
2010
14 years 12 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...