Uploads Contact
/
Login Upload

  • Search Results for 'Concurrent Reachability'

Active Object An Object Behavioral Pattern for Concurrent Programming R
Active Object An Object Behavioral Pattern for Concurrent Programming R
myesha-ticknor
Humanoid Motion Planning for Dual-Arm Manipulation and Re-Grasping Tasks
Humanoid Motion Planning for Dual-Arm Manipulation and Re-Grasping Tasks
giovanna-bartolotta
Modular Verification of
Modular Verification of
briana-ranney
Reverse Metric TLV
Reverse Metric TLV
marina-yarberry
Monitors Deprecated Around the time concurrent programming was becoming a big de al object
Monitors Deprecated Around the time concurrent programming was becoming a big de al object
karlyn-bohler
Updated Guidelines for Managing HIV/HCV Co-Infection
Updated Guidelines for Managing HIV/HCV Co-Infection
karlyn-bohler
Querying Workflow Provenance
Querying Workflow Provenance
giovanna-bartolotta
Parallelism and Concurrency
Parallelism and Concurrency
calandra-battersby
There is no Fork an Abstraction for Efcient Concurrent and Concise Data Access Simon Marlow
There is no Fork an Abstraction for Efcient Concurrent and Concise Data Access Simon Marlow
pasty-toler
Reducing the Wrapping Effect
Reducing the Wrapping Effect
yoshiko-marsland
Compositional Verification of
Compositional Verification of
danika-pritchard
A Foundation for Verifying Concurrent
A Foundation for Verifying Concurrent
olivia-moreira
Michael Kenison Development Engineer Schlumberger Airline Road Rosharon TX William Singhose
Michael Kenison Development Engineer Schlumberger Airline Road Rosharon TX William Singhose
min-jolicoeur
A Provably Correct Scalable Concurrent Skip List Maurice Herlihy Yossi Lev Victor Luchangco
A Provably Correct Scalable Concurrent Skip List Maurice Herlihy Yossi Lev Victor Luchangco
pasty-toler
FineGrained Resource Sharing for Concurrent GPGPU Kernels Chris Gregg Jonathan Dorn Kim
FineGrained Resource Sharing for Concurrent GPGPU Kernels Chris Gregg Jonathan Dorn Kim
kittie-lecroy
Property Directed Reachability with Word-Level Abstraction
Property Directed Reachability with Word-Level Abstraction
kittie-lecroy
WaitFree Synchronization MAURICE HERLIHY Digital Equipment Corporation Auaztfree implementation
WaitFree Synchronization MAURICE HERLIHY Digital Equipment Corporation Auaztfree implementation
myesha-ticknor
Two-Round and Non-interactive
Two-Round and Non-interactive
faustina-dinatale
Testing Atomicity of Composed Concurrent Operations Ohad Shacham Tel Aviv University ohad
Testing Atomicity of Composed Concurrent Operations Ohad Shacham Tel Aviv University ohad
debby-jeon
Verifiable Concurrent
Verifiable Concurrent
calandra-battersby
Scheduling Techniques for GPU Architectures
Scheduling Techniques for GPU Architectures
giovanna-bartolotta
Multi-commodity Flows and Cuts in
Multi-commodity Flows and Cuts in
mitsue-stanley
Multi-commodity Flows and Cuts in
Multi-commodity Flows and Cuts in
myesha-ticknor
Header Space Analysis:
Header Space Analysis:
karlyn-bohler