Optimal deployment of eventually-serializable data services

DOI10.1007/S10479-010-0684-3zbMATH Open1225.90089OpenAlexW2090791996MaRDI QIDQ545558FDOQ545558

Laurent Michel, Elaine L. Sonderegger, Alexander A. Schwarzmann, Pascal Van Hentenryck

Publication date: 22 June 2011

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10479-010-0684-3

Recommendations

• scientific article; zbMATH DE number 1263990
• Replicated data types, specification, verification, optimality
• Principles of Distributed Systems
• Eventually-serializable data services
• Minimal replication cost for availability

Mathematics Subject Classification ID

Mixed integer programming (90C11)

Cites Work

• Uppaal in a nutshell
• Title not available (Why is that?)
• Title not available (Why is that?)
• Scheduling of inbound and outbound trucks in cross docking systems with temporary storage
• Crossdocking—JIT scheduling with time windows
• Truck scheduling at zero-inventory cross docking terminals
• Truck dock assignment problem with operational time constraint within crossdocks
• Truck Dock Assignment Problem with Time Windows and Capacity Constraint in Transshipment Network Through Crossdocks
• Eventually-serializable data services
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Transshipment service through crossdocks with both soft and hard time windows
• Eventually-serializable data services

Uses Software

• PVS
• Uppaal

This page was built for publication: Optimal deployment of eventually-serializable data services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q545558)