Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development | 0 | 0.34 | 2020 |
Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases | 0 | 0.34 | 2020 |
Exploring dynamic load imbalance solutions with the CoMD proxy application. | 1 | 0.35 | 2019 |
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. | 0 | 0.34 | 2019 |
Refinement of structural heuristics for model checking of concurrent programs through data mining. | 2 | 0.37 | 2017 |
Transforming blocking MPI collectives to Non-blocking and persistent operations | 1 | 0.41 | 2017 |
Ariadne: Hybridizing Directed Model Checking and Static Analysis | 1 | 0.36 | 2017 |
Lightweight runtime checking of C programs with RTC. | 2 | 0.36 | 2016 |
A Portable Lock-Free Bounded Queue. | 1 | 0.35 | 2016 |
Petal Tool for Analyzing and Transforming Legacy MPI Applications. | 1 | 0.37 | 2015 |
Runtime checking C programs | 1 | 0.34 | 2015 |
SimpleConcepts: A Lightweight Extension to C plus plus to Support Constraints on Generic Types | 0 | 0.34 | 2014 |
Design and evaluation of C++ open multi-methods | 1 | 0.36 | 2010 |
Source Code Rejuvenation Is Not Refactoring | 6 | 0.61 | 2010 |
Support for the evolution of C++ generic functions | 2 | 0.42 | 2010 |
Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs | 7 | 0.58 | 2010 |
Dynamic algorithm selection for runtime concepts | 2 | 0.38 | 2010 |
Semantically Enhanced Containers for Concurrent Real-Time Systems | 1 | 0.40 | 2009 |
Runtime concepts for the C++ standard template library | 4 | 0.47 | 2008 |
Verification and semantic parallelization of goal-driven autonomous software | 4 | 0.42 | 2008 |
Open multi-methods for c++ | 10 | 0.55 | 2007 |
Lock-free dynamically resizable arrays | 1 | 0.35 | 2006 |
Zero-Overhead Exception Handling Using Metaprogramming | 4 | 0.53 | 1997 |