Now showing items 1-2 of 2
Constraint Solving for Diagnosing Concurrency Bugs
(Virginia Tech, 2015-05-28)
Programmers often have to spend a significant amount of time inspecting the software code and execution traces to identify the root cause of a software bug. For a multithreaded program, debugging is even more challenging ...
Improving Performance of Highly-Programmable Concurrent Applications by Leveraging Parallel Nesting and Weaker Isolation Levels
(Virginia Tech, 2015-07-15)
The recent development of multi-core computer architectures has largely affected the creation of everyday applications, requiring the adoption of concurrent programming to significantly utilize the divided processing power ...