Skip to content

P
papertools
Switch branch/tag
History Find file
Name Last update
..
10-AGreyLiteratureReviewonDataStreamProcessingapplications_testing.pdf Loading commit data...
11-The_Aurora_Single_Level_Store_Operating_System.pdf Loading commit data...
13-Efficient_Auditing_of_Event-driven_Web_Applications.pdf Loading commit data...
14-Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf Loading commit data...
15-Efficient_and_Deterministic_Record_&_Replay_for_Actor_Languages.pdf Loading commit data...
16-HyCoR_Fault-Tolerant_Replicated_Containers_Based_on_Checkpoint_and_Replay.pdf Loading commit data...
17-Reversible_debugging_of_concurrent_Erlang_programs_Supporting_imperative_primitives.pdf Loading commit data...
19-Event-Based_Out-of-Place_Debugging.pdf Loading commit data...
20-Efficient_Reordering_and_Replay_of_Execution_Traces_of_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf Loading commit data...
21-The_W5_Framework_for_Computation_Offloading_in_the_Internet_of_Things.pdf Loading commit data...
23-AggrePlay_Efficient_Record_and_Replay_of_Multi-threaded_Programs.pdf Loading commit data...
25-SimuBoost_Scalable_Parallelization_of_Functional_System_Simulation.pdf Loading commit data...
26-Towards_an_Open_Format_for_Scalable_System_Telemetry.pdf Loading commit data...
27-Abstractions_for_Practical_Virtual_Machine_Replay.pdf Loading commit data...
28-LDT_Lightweight_Dirty_Tracking_of_Memory_Pages_for_x86_Systems.pdf Loading commit data...
29-Efficient_Transaction-Based_Deterministic_Replay_for_Multi-threaded_Programs.pdf Loading commit data...
3-A_Survey_on_Parallelism_and_Determinism.pdf Loading commit data...
30-Verifying_Determinism_in_Sequential_Programs.pdf Loading commit data...
31-The_Aurora_Operating_System_Revisiting_the_Single_Level_Store.pdf Loading commit data...
33-Classification_of_Resilience_Techniques_Against_Functional_Errors_at_Higher_Abstraction_Layers_of_Digital_Systems.pdf Loading commit data...
34-A_Methodology_to_Capture_Fine-Grained_Internal_Visibility_During_Multisession_Silicon_Debug.pdf Loading commit data...
35-Adaptive_Erasure_Coded_Fault_Tolerant_Linear_System_Solver.pdf Loading commit data...
36-MReplayer_A_Trace_Replayer_of_Distributed_UML-RT_Models.pdf Loading commit data...
37-获取访存依赖_并发程序动态分析基础技术综述.pdf Loading commit data...
38-Postmortem_Accurate_IR-level_State_Recovery_for_Deployed_Concurrent_Programs.pdf Loading commit data...
40-Shortening_Feedback_Loops_in_a_Live_Game_Development_Environment.pdf Loading commit data...
41-TraceSanitizer_–_Eliminating_the_Effects_of_Non-determinism_on_Error_Propagation_Analysis.pdf Loading commit data...
43-Taming_Nondeterminism_Programming_language_abstractions_and_tools_for_dealing_with_nondeterministic_programs.pdf Loading commit data...
46-Capturing_High-level_Nondeterminism_in_Concurrent_Programs_for_Practical_Concurrency_Model_Agnostic_Record_&_Replay.pdf Loading commit data...
49-STRAB_State_Recovery_using_Reverse_Execution_at_IR_Level_for_Concurrent_Programs.pdf Loading commit data...
50-On_the_Application_of_Formal_Techniques_for_Dependable_Concurrent_Systems.pdf Loading commit data...
51-Exploring_OS-based_Full-system_Deterministic_Replay.pdf Loading commit data...
52-Advanced_Debugging_Techniques_to_Identify_Concurrency_Bugs_in_Actor-based_Programs.pdf Loading commit data...
53-Deterministic_Record-and-Replay_Research_for_Practice.pdf Loading commit data...
54-Pure_User_Mode_Deterministic_Replay_on_Windows.pdf Loading commit data...
55-Optimal_Record_and_Replay_under_Causal_Consistency.pdf Loading commit data...
56-Accurate_Record_&_Replay_of_x86_MMU_Behavior_for_SimuBoost.pdf Loading commit data...
57-Practical_Dependable_Systems_with_OS_Hypervisor_Support.pdf Loading commit data...
59-Recording_Rendering_API_Commands_for_Instant_Replay_A_Runtime_Overhead_Comparison_to_Real-Time_Video_Encoding.pdf Loading commit data...
6-Multiview_Finding_Blind_Spots_in_Access-Deny_Issues_Diagnosis.pdf Loading commit data...
60-Formal_Methods_for_Constraint-Based_Testing_and_Reversible_Debugging_in_Erlang.pdf Loading commit data...
61-Effective_Techniques_for_Post-silicon_Validation_and_Debug.pdf Loading commit data...
62-Exploiting_non-uniform_program_execution_time_to_evade_record_replay_forensic_analysis.pdf Loading commit data...
63-A_Constraint-Aware_Optimization_Method_for_Concurrency_Bug_Diagnosis_Service_in_a_Distributed_Cloud_Environment.pdf Loading commit data...
65-Debugging_Nondeterministic_Failures_in_Linux_Programs_through_Replay_Analysis.pdf Loading commit data...
69-Cooperative_Concurrency_Debugging.pdf Loading commit data...
7-Understanding_and_Improving_Model-Driven_IoT_Systems_through_Accompanying_Digital_Twins.pdf Loading commit data...
70-Debugging_Support_for_Multi-paradigm_Concurrent_Programs.pdf Loading commit data...
9-Causal-Consistent_Replay_Reversible_Semantics_for_Message_Passing_Concurrent_Programs.pdf Loading commit data...
Causal-Consistent Replay Debugging for Message Passing Programs.pdf Loading commit data...
Cores that dont count.pdf Loading commit data...
Debugging Nondeterministic Failures in Linux Programs.pdf Loading commit data...
Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf Loading commit data...
Global Reproducibility Through Local Control for Distributed Active Objects.pdf Loading commit data...
Internet of Things (IoT), mobile cloud, cloudlet, mobile IoT, IoT cloud, fog, mobile edge, and edge emerging computing paradigms Disambiguation and research directions.pdf Loading commit data...
Malrec Compact Full-Trace Malware Recording for Retrospective Deep Analysis.pdf Loading commit data...
Regression testing of distributed real-time embedded systems in the context of model-driven development.pdf Loading commit data...
The Aurora Operating System.pdf Loading commit data...
Verifying_Determinism_in_Sequential_Programs.pdf Loading commit data...
{RRC} Responsive Replicated Containers.pdf Loading commit data...