DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Dryad (programming)
Dryad (programming)
Recursive Definitions Across the Footprint That a Straight- Line Program Manipulated, E.G
Type 2 Diabetes Prediction Using Machine Learning Algorithms
Scalable Fault-Tolerant Elastic Data Ingestion in Asterixdb
Anomaly Detection and Identification Scheme for VM Live Migration in Cloud Infrastructure✩
A Decidable Logic for Tree Data-Structures with Measurements
Data Intensive Computing with Linq to Hpc Technical
Cloud Computing Paradigms for Pleasingly Parallel Biomedical
Characterization and Prediction of Deep Learning Workloads in Large-Scale GPU Datacenters
Ray: a Distributed Framework for Emerging AI Applications
Natural Proofs for Structure, Data, and Separation
A Lightweight, Streaming Runtime for Cloud Computing with Support for Map-Reduce
SONIC: Application-Aware Data Passing for Chained Serverless Applications
Grasshopper Complete Heap Verification with Mixed Specifications
Download Souvenir
Review: Dryad
Programming Distributed Computation in Pocket Switched Networks
2021 Fall Courses
Generalist Repository Comparison Chart
Top View
Festschrift Honoring Rick Rashid on His 60Th Birthday
Inferring User Interests from Microblogs
Dryad: Distributed Data- Parallel Programs from Sequential Building Blocks
Invariant Synthesis for Incomplete Verification Engines
Intervention Now!
CODATA Task Group on Data Citation Standards
Report on the Second Workshop on Sustainable Software for Science: Practice and Experiences (Wssspe2)
Scaling up Machine Learning
Virtualknotter: Online Virtual Machine Shuffling for Congestion Resolving
Committing to Data Quality Review
Do Traits and Phylogeny Support Congruent Community Diversity Patterns and Assembly Inferences?
Diss Rossi Natalia 062116 Rev
A Study of Current Policies, Practices and Infrastructure Supporting the Sharing of Data to Prevent and Respond to Epidemic and Pandemic Threats
Satisfiability Modulo Heap-Based Programs
Fay: Extensible Distributed Tracing from Kernels to Clusters
The Last Olympian
Efficient and Programmable Distributed Shared Memory
Orleans: Cloud Computing for Everyone
Beam: Ending Monolithic Applications for Connected Devices
Scalable Fault-Tolerant Elastic Data Ingestion in Asterixdb
Cryo-EM Structures of the TTYH Family Reveal a Novel Architecture for Lipid Interactions ✉ ✉ Anastasiia Sukalskaia 1, Monique S
Ultra-Large-Scale Software Repository and Source Code Mining
Dryadlinq: a System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
Tensorflow Large Scale Machine Learning On
Hyper: Distributed Cloud Processing for Large-Scale Deep Learning Tasks
Conference Reports 73 Threads Than Cores; She Wondered Whether This Mode Might Best Done at the Application Level, Well Above Haystack
SPEN: a Solver for Separation Logic
Natural Proofs for Structure, Data, and Separation
A Software Stack for Distributed Data-Parallel Computing
3 a Survey on Distributed Machine Learning
Supervised Machine Learning Predictive Analytics for Triple-Negative Breast Cancer Death Outcomes
An Extensible Framework for Improving a Distributed Software System's Deployment Architecture
The Abiotic and Biotic Drivers of Rapid Diversification in Andean Bellflowers (Campanulaceae)
Automatic Techniques for Proving Correctness of Heap-Manipulating Programs
Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks
Cloud Computing CS 15-319
Applicability of Dryadlinq to Scientific Applications
D3S: Debugging Deployed Distributed Systems