---
layout: page
title: CRDT Papers
---
CRDT Papers
This page contains a comprehensive list of research publications on CRDTs.
The data is available in BibTeX format.
If you have anything to add or correct, please
edit the file on GitHub
and send us a pull request.
Select checkboxes to filter papers by topic:
Paper List
(In reverse chronological order)
-
[1]
-
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, and Mira Mezini.
Algebraic replicated data types: Programming secure local-first
software.
In 37th European Conference on Object-Oriented Programming,
ECOOP 2023, pages 14:1--14:33. Schloss Dagstuhl, July 2023.
[ bib |
DOI ]
Keywords: delta-based, state-based, composition, security
-
[2]
-
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, and Mira Mezini.
LoRe: A programming model for verifiably safe local-first software.
In 37th European Conference on Object-Oriented Programming,
ECOOP 2023, pages 12:1--12:15. Schloss Dagstuhl, July 2023.
[ bib |
DOI |
arXiv ]
Keywords: verification, systems, reactive programming
-
[3]
-
Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix.
VeriFx: Correct replicated data types for the masses.
In 37th European Conference on Object-Oriented Programming,
ECOOP 2023, pages 9:1--9:45. Schloss Dagstuhl, July 2023.
[ bib |
DOI |
arXiv ]
Keywords: verification, state-based, delta-based, operation-based, pure operation-based
-
[4]
-
Jim Bauwens and Elisa Gonzalez Boix.
Nested pure operation-based CRDTs.
In 37th European Conference on Object-Oriented Programming,
ECOOP 2023, pages 2:1--2:26. Schloss Dagstuhl, July 2023.
[ bib |
DOI ]
Keywords: composition, pure operation-based
-
[5]
-
Erick Lavoie.
2P-BFT-Log: 2-phase single-author append-only log for adversarial
environments.
July 2023.
[ bib |
arXiv |
http ]
Keywords: state-based, security
-
[6]
-
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper.
CRDTs, coalgebraically (early ideas).
In 10th Conference on Algebra and Coalgebra in Computer
Science, CALCO 2023, June 2023.
[ bib |
.pdf ]
Keywords: specification, theory
-
[7]
-
Erick Lavoie.
GOC-Ledger: State-based conflict-free replicated ledger from
grow-only counters.
May 2023.
[ bib |
arXiv |
http ]
Keywords: state-based, security
-
[8]
-
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, and Lars
Birkedal.
Modular verification of state-based CRDTs in separation logic.
In 37th European Conference on Object-Oriented Programming,
ECOOP 2023. Schloss Dagstuhl, July 2023.
[ bib |
DOI |
.pdf ]
Keywords: specification, verification, state-based
-
[9]
-
George Zakhour, Pascal Weisenburger, and Guido Salvaneschi.
Type-checking CRDT convergence.
Proceedings of the ACM on Programming Languages, 7(PLDI), June
2023.
[ bib |
DOI |
.pdf ]
Keywords: verification, computation, Propel
-
[10]
-
Pedro Henrique Fernandes and Carlos Baquero.
Probabilistic causal contexts for scalable CRDTs.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 1–8. ACM, May 2023.
[ bib |
DOI ]
Keywords: causal-consistency
-
[11]
-
Elena Yanakieva, Philipp Bird, and Annette Bieniusa.
A study of semantics for CRDT-based collaborative spreadsheets.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 37–43. ACM, May 2023.
[ bib |
DOI ]
Keywords: composition, systems
-
[12]
-
Andrew Jeffery and Richard Mortier.
AMC: Towards trustworthy and explorable CRDT applications with
the Automerge Model Checker.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 44–50. ACM, May 2023.
[ bib |
DOI |
http ]
Keywords: verification, computation, systems, AMC
-
[13]
-
Jim Bauwens, Kevin De Porre, and Elisa Gonzalez Boix.
[short paper] Towards improved collaborative text editing CRDTs
by using natural language processing.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 51–55. ACM, May 2023.
[ bib |
DOI ]
Keywords: text-editing
-
[14]
-
Matthew Weidner, Ria Pradeep, Benito Geordie, and Heather Miller.
For-each operations in collaborative apps.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 56–62. ACM, May 2023.
[ bib |
DOI |
arXiv ]
Keywords: composition
-
[15]
-
Florian Jacob and Hannes Hartenstein.
On extend-only directed posets and derived Byzantine-tolerant
replicated data types.
In 10th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2023, page 63–69. ACM, May 2023.
[ bib |
DOI |
arXiv ]
Keywords: security, causal-consistency
-
[16]
-
Yicheng Zhang, Matthew Weidner, and Heather Miller.
Programmer experience when using CRDTs to build collaborative
webapps: Initial insights.
In 13th Annual Workshop on the Intersection of HCI and PL,
PLATEAU 2023, February 2023.
[ bib |
DOI |
http ]
Keywords: user-study, computation, composition
-
[17]
-
Frédéric Guidec, Yves Mahéo, and Camille Noûs.
Supporting conflict-free replicated data types in opportunistic
networks.
Peer-to-Peer Networking and Applications, 16:395–419, January
2023.
[ bib |
DOI ]
Keywords: systems, networks
-
[18]
-
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, and
Joseph M. Hellerstein.
Keep CALM and CRDT on.
Proceedings of the VLDB Endowment, 16(4):856–863, December
2022.
[ bib |
DOI |
arXiv |
.pdf ]
Keywords: computation, crdt-related
-
[19]
-
Christian Tschudin.
A connectionless grow-only set CRDT.
In 3rd International Workshop on Distributed Infrastructure for
the Common Good, DICG 2022, page 25–30. ACM, November 2022.
[ bib |
DOI |
.pdf ]
Keywords: delta-based, set-crdt
-
[20]
-
Kristof Jannes, Bert Lagaisse, and Wouter Joosen.
Secure replication for client-centric data stores.
In 3rd International Workshop on Distributed Infrastructure for
the Common Good, DICG 2022, pages 31--36. ACM, November 2022.
[ bib |
DOI |
.pdf ]
Keywords: state-based, systems, security
-
[21]
-
Geoffrey Litt, Sarah Lim, Martin Kleppmann, and Peter van Hardenberg.
Peritext: A CRDT for collaborative rich text editing.
Proceedings of the ACM on Human-Computer Interaction, 6(CSCW2),
November 2022.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, systems
-
[22]
-
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M.
Hellerstein.
Katara: Synthesizing CRDTs with verified lifting.
Proceedings of the ACM on Programming Languages,
6(OOPSLA2):1349--1377, October 2022.
[ bib |
DOI |
arXiv |
.pdf ]
Keywords: specification, verification
-
[23]
-
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal.
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages,
6(OOPSLA2):1788–1816, October 2022.
[ bib |
DOI |
.pdf ]
Keywords: specification, verification, operation-based
-
[24]
-
Martin Kleppmann and Peter Alvaro.
Research for practice: Convergence.
Communications of the ACM, 65(11):104--106, November 2022.
[ bib |
DOI |
.pdf ]
Keywords: introduction, crdt-related
-
[25]
-
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan.
Certified mergeable replicated data types.
In 43rd ACM SIGPLAN Conference on Programming Language Design
and Implementation, PLDI 2022, page 332–347. ACM, June 2022.
[ bib |
DOI |
arXiv ]
Keywords: crdt-related, MRDT, verification
-
[26]
-
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani.
Hamband: RDMA replicated data types.
In 43rd ACM SIGPLAN Conference on Programming Language Design
and Implementation, PLDI 2022, page 348–363. ACM, June 2022.
[ bib |
DOI ]
Keywords: crdt-related, systems
-
[27]
-
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko.
Runtime-assisted convergence in replicated data types.
In 43rd ACM SIGPLAN Conference on Programming Language Design
and Implementation, PLDI 2022, page 364–378. ACM, June 2022.
[ bib |
DOI ]
Keywords: crdt-related, MRDT, Quark
-
[28]
-
Martin Kleppmann.
Assessing the understandability of a distributed algorithm by
tweeting buggy pseudocode.
Technical Report UCAM-CL-TR-969, University of Cambridge, Department
of Computer Science and Technology, May 2022.
[ bib |
DOI |
.pdf ]
Keywords: verification
-
[29]
-
Florian Jacob, Saskia Bayreuther, and Hannes Hartenstein.
On CRDTs in Byzantine environments.
In GI Sicherheit 2022, pages 113--126. Gesellschaft für
Informatik, Bonn, April 2022.
[ bib |
DOI |
http ]
Keywords: security
-
[30]
-
Amos Brocco.
Melda: A general purpose delta state JSON CRDT.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 1--7. ACM, April 2022.
[ bib |
DOI ]
Keywords: systems, delta-based, JSON
-
[31]
-
Martin Kleppmann.
Making CRDTs Byzantine fault tolerant.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 8--15. ACM, April 2022.
[ bib |
DOI |
.pdf ]
Keywords: security
-
[32]
-
Nicholas Schiefer, Geoffrey Litt, and Daniel Jackson.
Merge what you can, fork what you can't: Managing data integrity in
local-first software.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 24--32. ACM, April 2022.
[ bib |
DOI ]
Keywords: systems, usability
-
[33]
-
Pierre-Antoine Rault, Claudia-Lavinia Ignat, and Olivier Perrin.
Distributed access control for collaborative applications using
CRDTs.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 33--38. ACM, April 2022.
[ bib |
DOI |
.pdf ]
Keywords: security
-
[34]
-
Nazmus Saquib, Chandra Krintz, and Rich Wolski.
Ordering operations for generic replicated data types using version
trees.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 39--46. ACM, April 2022.
[ bib |
DOI ]
Keywords: crdt-related
-
[35]
-
Matthew Weidner and Paulo Sérgio Almeida.
An oblivious observed-reset embeddable replicated counter.
In 9th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2022, pages 47--52. ACM, April 2022.
[ bib |
DOI |
.pdf ]
Keywords: counters
-
[36]
-
Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal Lushi, Idit Keidar,
and Paula Ta-Shma.
DSON: JSON CRDT using delta-mutations for document stores.
Proceedings of the VLDB Endowment, 15(5):1053–1065, January
2022.
[ bib |
DOI |
.pdf ]
Keywords: systems, trees
-
[37]
-
Amos Brocco.
Delta-state JSON CRDT: Putting collaboration on solid ground.
In 23rd International Symposium on Stabilization, Safety, and
Security of Distributed Systems, SSS 2021, pages 474--478. Springer LNCS
volume 13046, November 2021.
[ bib |
DOI ]
Keywords: systems, delta-based, JSON, Solid
-
[38]
-
Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, and Alastair R.
Beresford.
A highly-available move operation for replicated trees.
IEEE Transactions on Parallel and Distributed Systems,
33(7):1711--1724, October 2021.
[ bib |
DOI |
.pdf ]
Keywords: trees, verification
-
[39]
-
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix.
ECROs: Building global scale systems from sequential code.
Proceedings of the ACM on Programming Languages (PACMPL),
5(OOPSLA), October 2021.
[ bib |
DOI ]
Keywords: crdt-related
-
[40]
-
Eric Brattli and Weihai Yu.
Supporting undo and redo for replicated registers in collaborative
applications.
In 18th International Conference on Cooperative Design,
Visualization, and Engineering, CDVE 2021, pages 195--205. Springer LNCS
volume 12983, October 2021.
[ bib |
DOI ]
Keywords: undo
-
[41]
-
Kristof Jannes, Bert Lagaisse, and Wouter Joosen.
OWebSync: Seamless synchronization of distributed web clients.
IEEE Transactions on Parallel and Distributed Systems,
32(9):2338--2351, September 2021.
[ bib |
DOI |
.pdf ]
Keywords: state-based, synchronisation protocols, JSON, systems, OWebSync
-
[42]
-
Iver Toft Tomter and Weihai Yu.
Augmenting SQLite for local-first software.
In European Conference on Advances in Databases and Information
Systems, ADBIS 2021, pages 247--257. Springer, August 2021.
[ bib |
DOI |
.pdf ]
Keywords: systems, relational, SQLite
-
[43]
-
Sreeja Sasidharan Nair.
Designing safe and highly available distributed applications.
PhD thesis, Sorbonne Université, July 2021.
[ bib |
http ]
Keywords: verification, trees, Soteria, Maram
-
[44]
-
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou,
Michel Raynal, and Antonio Russo.
Byzantine-tolerant distributed grow-only sets: Specification and
applications.
In 4th International Symposium on Foundations and Applications
of Blockchain, volume 92 of FAB 2021, pages 2:1--2:19. Schloss
Dagstuhl, 2021.
[ bib |
DOI |
arXiv ]
Keywords: security, set-crdt
-
[45]
-
Houssam Yactine, Ali Shoker, and Georges Younes.
ASPAS: As secure as possible available systems.
In 21st International Conference on Distributed Applications and
Interoperable Systems, DAIS 2021, pages 57--73. Springer, June 2021.
[ bib |
DOI |
http ]
Keywords: systems, security
-
[46]
-
Eric Brattli.
Supporting undo and redo for local-first software: An implementation
in Automerge.
Master's thesis, UiT The Arctic University of Norway, June 2021.
[ bib |
.pdf ]
Keywords: undo
-
[47]
-
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, and Annette Bieniusa.
Access control conflict resolution in distributed file systems using
CRDTs.
In 8th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2021. ACM, April 2021.
[ bib |
DOI ]
Keywords: filesystem, Repliss, access control
-
[48]
-
Arik Rinberg, Tomer Solomon, Guy Khazma, Gal Lushi, Roee Shlomo, and Paula
Ta-Shma.
Array CRDTs using delta-mutations.
In 8th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2021. ACM, April 2021.
[ bib |
DOI ]
Keywords: list-crdt, delta-based, JSON
-
[49]
-
Jim Bauwens and Elisa Gonzalez Boix.
Improving the reactivity of pure operation-based CRDTs.
In 8th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2021. ACM, April 2021.
[ bib |
DOI ]
Keywords: pure operation-based, systems, Flec
-
[50]
-
Geoffrey Litt, Peter van Hardenberg, and Orion Henry.
Cambria: Schema evolution in distributed systems with edit lenses.
In 8th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2021. ACM, April 2021.
[ bib |
DOI ]
Keywords: schemas, systems, Cambria
-
[51]
-
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, and Marc Shapiro.
A coordination-free, convergent, and safe replicated tree.
March 2021.
[ bib |
arXiv |
http ]
Keywords: trees, Maram
-
[52]
-
Manuel Barbosa, Bernardo Ferreira, João Marques, Bernardo Portela, and Nuno
Preguiça.
Secure conflict-free replicated data types.
In International Conference on Distributed Computing and
Networking 2021, ICDCN 2021, pages 6--15. ACM, January 2021.
[ bib |
DOI |
.pdf ]
Keywords: security, Antidote
-
[53]
-
Martin Kleppmann and Heidi Howard.
Byzantine eventual consistency and the fundamental limits of
peer-to-peer databases.
December 2020.
[ bib |
arXiv |
http ]
Keywords: security, causal-consistency
-
[54]
-
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and
Niki Vazou.
Verifying replicated data types with typeclass refinements in Liquid
Haskell.
Proceedings of the ACM on Programming Languages, 4(OOPSLA), nov
2020.
[ bib |
DOI ]
Keywords: verification
-
[55]
-
Jim Bauwens and Elisa Gonzalez Boix.
From causality to stability: Understanding and reducing meta-data in
CRDTs.
In 17th International Conference on Managed Programming
Languages and Runtimes, MPLR 2020, pages 3--14. ACM, November 2020.
[ bib |
DOI |
.pdf ]
Keywords: operation-based, systems, Flec
-
[56]
-
Weihai Yu and Claudia-Lavinia Ignat.
Conflict-free replicated relations for multi-synchronous database
management at edge.
In IEEE International Conference on Smart Data Services, SMDS
2020, pages 113--121. IEEE, October 2020.
[ bib |
DOI |
http ]
Keywords: relational database,delta-crdt,integrity constraints
-
[57]
-
Kevin De Porre, Florian Myter, Christophe Scholliers, and Elisa Gonzalez Boix.
CScript: A distributed programming language for building
mixed-consistency applications.
Journal of Parallel and Distributed Computing volume 144, pages
109--123, October 2020.
[ bib |
DOI |
.pdf ]
Keywords: computation, composition, systems, CScript
-
[58]
-
Matthew Weidner, Heather Miller, and Christopher Meiklejohn.
Composing and decomposing op-based CRDTs with semidirect products.
August 2020.
[ bib |
DOI |
arXiv |
http ]
Keywords: composition, operation-based
-
[59]
-
Stephen Dolan.
Brief announcement: The only undoable CRDTs are counters.
In 39th Symposium on Principles of Distributed Computing, PODC
2020, page 57–58. ACM, August 2020.
[ bib |
DOI |
arXiv ]
Keywords: set-crdt, counters, undo
-
[60]
-
Taylor Blau.
Verifying strong eventual consistency in δ-crdts.
Bachelor's thesis, University of Washington, June 2020.
[ bib |
arXiv ]
Keywords: state-based, verification
-
[61]
-
Martin Kleppmann.
Moving elements in list CRDTs.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[62]
-
Weihai Yu and Sigbjørn Rostad.
A low-cost set CRDT based on causal lengths.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI ]
Keywords: set-crdt
-
[63]
-
Pascal Grosch, Roman Krafft, Marcel Wölki, and Annette Bieniusa.
AutoCouch: A JSON CRDT framework.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI ]
Keywords: systems, Automerge, AutoCouch
-
[64]
-
Victor Grishchenko and Mikhail Patrakeev.
Chronofold: A data structure for versioned text.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI |
arXiv ]
Keywords: text-editing, Chronofold
-
[65]
-
Matthieu Nicolas, Gérald Oster, and Olivier Perrin.
Efficient renaming in sequence CRDTs.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI |
http ]
Keywords: text-editing, LogootSplit
-
[66]
-
Peter van Hardenberg and Martin Kleppmann.
PushPin: Towards production-quality peer-to-peer collaboration.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI |
.pdf ]
Keywords: systems, usability, PushPin
-
[67]
-
Jim Bauwens and Elisa Gonzalez Boix.
Flec: A versatile programming framework for eventually consistent
systems.
In 7th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2020. ACM, April 2020.
[ bib |
DOI ]
Keywords: systems, Flec
-
[68]
-
Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, and Ioannis Psaras.
Merkle-CRDTs: Merkle-DAGs meet CRDTs.
April 2020.
[ bib |
arXiv |
http ]
Keywords: security, logical-clocks
-
[69]
-
Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero, Annette Bieniusa,
Roger Pueyo Centelles, Pedro Ákos Costa, Vitor Enes, Carla Ferreira,
Pedro Fouto, Felix Freitag, Bradley King, Igor Kopestenski, Giorgos
Kostopoulos, João Leitão, Adam Lindberg, Albert van der Linde, Sreeja
Nair, Nuno Preguiça, Mennan Selimi, Marc Shapiro, Peer Stritzinger, Ilyas
Toumlilt, Peter Van Roy, Dimitrios Vasilas, Georges Younes, Igor Zavalyshyn,
and Peter Zeller.
LightKone reference architecture (LiRA).
Technical report, The LightKone Consortium, 2019.
[ bib |
DOI |
http ]
Keywords: architecture
-
[70]
-
Weihai Yu, Victorien Elvinger, and Claudia-Lavinia Ignat.
A generic undo support for state-based CRDTs.
In 23rd International Conference on Principles of Distributed
Systems, OPODIS 2019. Dagstuhl LIPIcs, November 2019.
[ bib |
DOI |
.pdf ]
Keywords: state-based, undo
-
[71]
-
Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark McGranaghan.
Local-first software: You own your data, in spite of the cloud.
In ACM SIGPLAN International Symposium on New Ideas, New
Paradigms, and Reflections on Programming and Software, Onward! 2019, pages
154--178. ACM, October 2019.
[ bib |
DOI |
.pdf ]
Keywords: systems, usability
-
[72]
-
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan.
Mergeable replicated data types.
Proceedings of the ACM on Programming Languages (PACMPL),
3(OOPSLA), October 2019.
[ bib |
DOI |
.pdf ]
Keywords: crdt-related, MRDT
-
[73]
-
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini.
A fault-tolerant programming model for distributed interactive
applications.
Proceedings of the ACM on Programming Languages (PACMPL),
3(OOPSLA), October 2019.
[ bib |
DOI ]
Keywords: systems
-
[74]
-
Jim Bauwens and Elisa Gonzalez Boix.
Memory efficient CRDTs in dynamic environments.
In 11th ACM SIGPLAN International Workshop on Virtual Machines
and Intermediate Languages, VMIL 2019, page 48–57. ACM, October 2019.
[ bib |
DOI |
.pdf ]
Keywords: systems, operation-based, memory management
-
[75]
-
Alex Auvolat and François Taïani.
Merkle search trees: Efficient state-based CRDTs in open
networks.
In 38th Symposium on Reliable Distributed Systems, SRDS 2019,
pages 221--230. IEEE, 2019.
[ bib |
DOI ]
Keywords: state-based, security
-
[76]
-
Stephan A Kollmann, Martin Kleppmann, and Alastair R Beresford.
Snapdoc: Authenticated snapshots with history privacy in
peer-to-peer collaborative editing.
Proceedings on Privacy Enhancing Technologies (PoPETS),
2019(3):210--232, July 2019.
[ bib |
DOI |
.pdf ]
Keywords: security
-
[77]
-
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers,
Wolfgang De Meuter, and Elisa Gonzalez Boix.
Putting order in strong eventual consistency.
In 19th IFIP WG 6.1 International Conference on Distributed
Applications and Interoperable Systems, DAIS 2019, pages 36--56. Springer
LNCS volume 11534, June 2019.
[ bib |
DOI |
.pdf ]
Keywords: systems, CScript
-
[78]
-
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, and João Leitão.
Efficient synchronization of state-based CRDTs.
In 35th IEEE International Conference on Data Engineering, ICDE
2019, pages 148--159, April 2019.
[ bib |
DOI |
arXiv ]
Keywords: state-based
-
[79]
-
Adriaan Leijnse, Paulo Sérgio Almeida, and Carlos Baquero.
Higher-order patterns in replicated data types.
In 6th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2019. ACM, March 2019.
[ bib |
DOI |
.pdf ]
Keywords: composition
-
[80]
-
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, and Alastair R.
Beresford.
Interleaving anomalies in collaborative text editors.
In 6th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2019. ACM, March 2019.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[81]
-
David Mealha, Nuno Preguiça, Maria Cecilia Gomes, and João Leitão.
Data replication on the cloud/edge.
In 6th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2019. ACM, March 2019.
[ bib |
DOI ]
Keywords: systems
-
[82]
-
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers,
Wolfgang De Meuter, and Elisa Gonzalez Boix.
A generic replicated data type for strong eventual consistency.
In 6th Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2019. ACM, March 2019.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, operation-based
-
[83]
-
Aaron Hall, Grant Nelson, Mike Thiesen, and Nate Woods.
The causal graph CRDT for complex document structure.
In 18th ACM Symposium on Document Engineering, DocEng 2018.
ACM, August 2018.
[ bib |
DOI ]
Keywords: text-editing, trees
-
[84]
-
Xiao Lv, Fazhi He, Yuan Cheng, and Yiqi Wu.
A novel CRDT-based synchronization method for real-time
collaborative CAD systems.
Advanced Engineering Informatics, 38:381--391, August 2018.
[ bib |
DOI ]
Keywords: systems
-
[85]
-
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, and
Mira Mezini.
Fault-tolerant distributed reactive programming.
In 32nd European Conference on Object-Oriented Programming,
volume 109 of ECOOP 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer
Informatik, July 2018.
[ bib |
DOI ]
Keywords: systems
-
[86]
-
Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin Levandoski, James
Hunter, and Mike Barnett.
FASTER: A concurrent key-value store with in-place updates.
In International Conference on Management of Data, SIGMOD 2018,
pages 275--290. ACM, June 2018.
[ bib |
DOI |
.pdf ]
Keywords: systems
-
[87]
-
Nuno Preguiça.
Conflict-free replicated data types: An overview.
June 2018.
[ bib |
arXiv |
http ]
Keywords: introduction
-
[88]
-
Nuno Preguiça, Carlos Baquero, and Marc Shapiro.
Conflict-free replicated data types (CRDTs).
In Encyclopedia of Big Data Technologies. Springer, May 2018.
[ bib |
DOI |
arXiv ]
Keywords: introduction
-
[89]
-
Martin Kleppmann, Victor B F Gomes, Dominic P Mulligan, and Alastair R
Beresford.
OpSets: Sequential specifications for replicated datatypes
(extended version).
May 2018.
[ bib |
arXiv |
http ]
Keywords: specification, verification
-
[90]
-
Tim Jungnickel.
On the feasibility of multi-leader replication in the early
tiers.
PhD thesis, TU Berlin, May 2018.
[ bib |
DOI |
http ]
Keywords: systems, IMAP, OT
-
[91]
-
Marc Shapiro, Annette Bieniusa, Peter Zeller, and Gustavo Petri.
Ensuring referential integrity under causal consistency.
In 5th Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2018. ACM, April 2018.
[ bib |
DOI |
.pdf ]
Keywords: causal-consistency
-
[92]
-
Jim Bauwens, Florian Myter, and Elisa Gonzalez Boix.
Constraining the eventual in eventual consistency.
In 5th Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2018. ACM, April 2018.
[ bib |
DOI |
.pdf ]
Keywords: counters
-
[93]
-
Radha Jagadeesan and James Riely.
Eventual consistency for CRDTs.
In 21st European Symposium on Programming, ESOP 2018, pages
968--995. Springer LNCS volume 10801, April 2018.
[ bib |
DOI |
.pdf ]
Keywords: specification, composition
-
[94]
-
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero.
Delta state replicated data types.
Journal of Parallel and Distributed Computing, 111:162--173,
January 2018.
[ bib |
DOI |
arXiv ]
Keywords: state-based
-
[95]
-
Mahsa Najafzadeh, Marc Shapiro, and Patrick Eugster.
Co-design and verification of an available file system.
In 19th International Conference on Verification, Model
Checking, and Abstract Interpretation, VMCAI 2018, pages 358--381. Springer
LNCS volume 10747, January 2018.
[ bib |
DOI |
.pdf ]
Keywords: trees
-
[96]
-
Vitor Enes.
Efficient synchronization of state-based CRDTs.
Master's thesis, Universidade do Minho, November 2017.
[ bib |
.pdf ]
Keywords: state-based
-
[97]
-
Victor B F Gomes, Martin Kleppmann, Dominic P Mulligan, and Alastair R
Beresford.
Verifying strong eventual consistency in distributed systems.
Proceedings of the ACM on Programming Languages (PACMPL),
1(OOPSLA), October 2017.
[ bib |
DOI |
arXiv ]
Keywords: specification, verification
-
[98]
-
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira.
Composition in state-based replicated data types.
Bulletin of the European Association for Theoretical Computer
Science, (123), October 2017.
[ bib |
http ]
Keywords: composition, state-based
-
[99]
-
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker.
Pure operation-based replicated data types.
October 2017.
[ bib |
arXiv |
http ]
Keywords: operation-based
-
[100]
-
Weihai Yu, Gérald Oster, and Claudia-Lavinia Ignat.
Handling disturbance and awareness of concurrent updates in a
collaborative editor.
In 14th International Conference on Cooperative Design,
Visualization, and Engineering, CDVE 2017, pages 39--47. Springer LNCS
volume 10451, September 2017.
[ bib |
DOI |
http ]
Keywords: systems, usability
-
[101]
-
Martin Kleppmann and Alastair R Beresford.
A conflict-free replicated JSON datatype.
IEEE Transactions on Parallel and Distributed Systems,
28(10):2733--2746, April 2017.
[ bib |
DOI |
arXiv ]
Keywords: trees
-
[102]
-
Tim Jungnickel and Lennart Oldenburg.
Pluto: The CRDT-driven IMAP server.
In 3rd International Workshop on Principles and Practice of
Consistency for Distributed Data, PaPoC 2017. ACM, April 2017.
[ bib |
DOI |
.pdf ]
Keywords: systems
-
[103]
-
Georges Younes, Paulo Sérgio Almeida, and Carlos Baquero.
Compact resettable counters through causal stability.
In 3rd International Workshop on Principles and Practice of
Consistency for Distributed Data, PaPoC 2017. ACM, April 2017.
[ bib |
DOI |
.pdf ]
Keywords: counters
-
[104]
-
Peter Zeller.
Testing properties of weakly consistent programs with Repliss.
In 3rd International Workshop on Principles and Practice of
Consistency for Distributed Data, PaPoC 2017. ACM, April 2017.
[ bib |
DOI |
http ]
Keywords: testing, verification
-
[105]
-
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, and João Leitão.
Borrowing an identity for a distributed counter: Work in progress
report.
In 3rd International Workshop on Principles and Practice of
Consistency for Distributed Data, PaPoC 2017. ACM, April 2017.
[ bib |
DOI |
.pdf ]
Keywords: counters
-
[106]
-
Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça,
Santiago Castiñeira, and Annette Bieniusa.
Legion: Enriching internet services with peer-to-peer interactions.
In 26th International Conference on World Wide Web, WWW 2017,
pages 283--292. ACM, April 2017.
[ bib |
DOI |
.pdf ]
Keywords: systems, Legion
-
[107]
-
Loïck Briot, Pascal Urso, and Marc Shapiro.
High responsiveness for group editing CRDTs.
In 19th International Conference on Supporting Group Work,
GROUP 2016, pages 51--60. ACM, November 2016.
[ bib |
DOI |
http ]
Keywords: text-editing, RGASplit
-
[108]
-
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma.
Near real-time peer-to-peer shared editing on extensible data types.
In 19th International Conference on Supporting Group Work,
GROUP 2016, pages 39--49. ACM, November 2016.
[ bib |
DOI |
http ]
Keywords: text-editing, YATA, Yjs
-
[109]
-
Xiao Lv, Fazhi He, Weiwei Cai, and Yuan Cheng.
An efficient collaborative editing algorithm supporting string-based
operations.
In 20th IEEE International Conference on Computer Supported
Cooperative Work in Design, CSCWD 2016, pages 45--50. IEEE, September 2016.
[ bib |
DOI ]
Keywords: text-editing
-
[110]
-
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok
Yang, and Marek Zawirski.
Specification and complexity of collaborative text editing.
In ACM Symposium on Principles of Distributed Computing, PODC
2016, pages 259--268. ACM, July 2016.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, specification, verification
-
[111]
-
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li,
Tyler Crain, Annette Bieniusa, Nuno Preguiça, and Marc Shapiro.
Cure: Strong semantics meets high availability and low latency.
In 36th IEEE International Conference on Distributed Computing
Systems, ICDCS 2016, pages 405--414. IEEE, June 2016.
[ bib |
DOI |
.pdf ]
Keywords: systems, Cure, Antidote
-
[112]
-
Wenbing Zhao, Mamdouh Babi, William Yang, Xiong Luo, Yueqin Zhu, Jack Yang,
Chaomin Luo, and Mary Yang.
Byzantine fault tolerance for collaborative editing with commutative
operations.
In IEEE International Conference on Electro Information
Technology, EIT 2016, pages 246--251. IEEE, May 2016.
[ bib |
DOI ]
Keywords: security
-
[113]
-
Russell Brown, Zeeshan Lakhani, and Paul Place.
Big(ger) sets: Decomposed delta CRDT sets in Riak.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI |
arXiv ]
Keywords: set-crdt, systems, composition
-
[114]
-
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, and Marc
Shapiro.
Eventually consistent register revisited.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI |
arXiv |
.pdf ]
Keywords: state-based
-
[115]
-
Carlos Baquero, Paulo Sérgio Almeida, and Carl Lerche.
The problem with embedded CRDT counters and a solution.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI |
.pdf ]
Keywords: composition, counters
-
[116]
-
Christian Weilbach, Konrad Kühne, and Annette Bieniusa.
Decoupling conflict resolution with CDVCS.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI ]
Keywords: systems, Replikativ
-
[117]
-
Albert van der Linde, João Leitão, and Nuno Preguiça.
Δ-CRDTs: Making δ-CRDTs delta-based.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI |
.pdf ]
Keywords: state-based
-
[118]
-
Deepthi Devaki Akkoorath and Annette Bieniusa.
Highly-scalable concurrent objects.
In 2nd Workshop on the Principles and Practice of Consistency
for Distributed Data, PaPoC 2016. ACM, April 2016.
[ bib |
DOI |
.pdf ]
Keywords: shared-memory concurrency
-
[119]
-
Brice Nédelec, Pascal Molli, and Achour Mostefaoui.
CRATE: Writing stories together with our browsers.
In 25th International World Wide Web Conference, WWW 2016,
pages 231--234. ACM, April 2016.
[ bib |
DOI |
http ]
Keywords: text-editing, LSEQ
-
[120]
-
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc
Shapiro.
'Cause I'm Strong Enough: Reasoning about consistency choices in
distributed systems.
In 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, POPL 2016, pages 371--384. ACM, January 2016.
[ bib |
DOI |
.pdf ]
Keywords: specification, verification
-
[121]
-
Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter
Balegas, and Marc Shapiro.
Write fast, read in the past: Causal consistency for client-side
applications.
In 16th Annual Middleware Conference, pages 75--87.
ACM/IFIP/USENIX, December 2015.
[ bib |
DOI |
.pdf ]
Keywords: systems, SwiftCloud
-
[122]
-
Iwan Briquemont, Manuel Bravo, Zhongmiao Li, and Peter Van Roy.
Conflict-free partially replicated data types.
In 7th IEEE International Conference on Cloud Computing
Technology and Science, CloudCom 2015. IEEE, November 2015.
[ bib |
DOI |
http ]
Keywords: systems, SwiftCloud
-
[123]
-
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro,
Rodrigo Rodrigues, and Nuno Preguiça.
Extending eventually consistent cloud databases for enforcing numeric
invariants.
In 34th IEEE Symposium on Reliable Distributed Systems, SRDS
2015, pages 31--36. IEEE, September 2015.
[ bib |
DOI |
arXiv ]
Keywords: counters
-
[124]
-
Christopher Meiklejohn and Peter Van Roy.
Lasp: A language for distributed, coordination-free programming.
In 17th International Symposium on Principles and Practice of
Declarative Programming, PPDP 2015, pages 184--195. ACM, July 2015.
[ bib |
DOI |
.pdf ]
Keywords: computation, systems
-
[125]
-
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma.
Yjs: A framework for near real-time P2P shared editing on
arbitrary data types.
In 15th International Conference on Web Engineering, ICWE 2015,
pages 675--678. Springer LNCS volume 9114, June 2015.
[ bib |
DOI |
.pdf ]
Keywords: systems, Yjs
-
[126]
-
Weihai Yu, Luc André, and Claudia-Lavinia Ignat.
A CRDT supporting selective undo for collaborative text editing.
In 15th IFIP WG 6.1 International Conference on Distributed
Applications and Interoperable Systems, DAIS 2015, pages 193--206. Springer
LNCS volume 9038, June 2015.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, undo
-
[127]
-
Vinh Tao, Marc Shapiro, and Vianney Rancurel.
Merging semantics for conflict updates in geo-distributed file
systems.
In 8th ACM International Systems and Storage Conference, SYSTOR
2015. ACM, May 2015.
[ bib |
DOI |
.pdf ]
Keywords: trees
-
[128]
-
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira.
Composition of state-based CRDTs.
Technical report, HASLab, INESC TEC, May 2015.
[ bib |
.pdf ]
Keywords: state-based
-
[129]
-
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero.
Efficient state-based CRDTs by delta-mutation.
In International Conference on Networked Systems, NETYS 2015,
pages 62--76. Springer LNCS volume 9466, May 2015.
[ bib |
DOI |
arXiv ]
Keywords: state-based
-
[130]
-
Alexey Gotsman and Hongseok Yang.
Composite replicated data types.
In 24th European Symposium on Programming, ESOP 2015. Springer
LNCS volume 9032, April 2015.
[ bib |
DOI |
.pdf ]
Keywords: specification, composition
-
[131]
-
David Navalho, Sérgio Duarte, and Nuno Preguiça.
A study of CRDTs that do computations.
In 1st Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2015. ACM, April 2015.
[ bib |
DOI |
.pdf ]
Keywords: computation
-
[132]
-
Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze.
Claret: Using data types for highly concurrent distributed
transactions.
In 1st Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2015. ACM, April 2015.
[ bib |
DOI |
.pdf ]
Keywords: transactions, systems
-
[133]
-
Santiago J Castiñeira and Annette Bieniusa.
Collaborative offline web applications using conflict-free replicated
data types.
In 1st Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2015. ACM, April 2015.
[ bib |
DOI ]
Keywords: systems
-
[134]
-
Christopher Meiklejohn and Peter Van Roy.
Lasp: A language for distributed, eventually consistent computations
with crdts.
In 1st Workshop on Principles and Practice of Consistency for
Distributed Data, PaPoC 2015. ACM, April 2015.
[ bib |
DOI |
.pdf ]
Keywords: computation
-
[135]
-
Sebastian Burckhardt.
Principles of eventual consistency.
Foundations and Trends in Programming Languages, 1(1-2):1--150,
October 2014.
[ bib |
DOI |
http ]
Keywords: introduction
-
[136]
-
Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo
Rodrigues, and Viktor Vafeiadis.
Automating the choice of consistency levels in replicated systems.
In USENIX Annual Technical Conference, ATC 2014, pages
281--292. USENIX, June 2014.
[ bib |
http ]
Keywords: verification
-
[137]
-
Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter.
Formal specification and verification of CRDTs.
In 34th IFIP International Conference on Formal Techniques for
Distributed Objects, Components and Systems, FORTE 2014, pages 33--48.
Springer LNCS volume 8461, June 2014.
[ bib |
DOI |
.pdf ]
Keywords: specification, verification
-
[138]
-
Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker.
Making operation-based CRDTs operation-based.
In 14th IFIP WG 6.1 International Conference on Distributed
Applications and Interoperable Systems, DAIS 2014, pages 126--140. Springer
LNCS volume 8460, June 2014.
A shorter paper with the same title appears in PaPEC 2014.
[ bib |
DOI |
.pdf ]
Keywords: operation-based
-
[139]
-
Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott.
Riak DT Map: A composable, convergent replicated dictionary.
In 1st Workshop on Principles and Practice of Eventual
Consistency, PaPEC 2014. ACM, April 2014.
[ bib |
DOI |
http ]
Keywords: systems, composition
-
[140]
-
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero.
Efficient state-based CRDTs by decomposition (work in progress
report).
In 1st Workshop on Principles and Practice of Eventual
Consistency, PaPEC 2014. ACM, April 2014.
[ bib |
DOI |
.pdf ]
Keywords: composition
-
[141]
-
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Perguiça.
Merging OT and CRDT algorithms.
In 1st Workshop on Principles and Practice of Eventual
Consistency, PaPEC 2014. ACM, April 2014.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[142]
-
Christopher Meiklejohn.
On the composability of the Riak DT Map: Expanding from embedded to
multi-key structures.
In 1st Workshop on Principles and Practice of Eventual
Consistency, PaPEC 2014. ACM, 2014.
[ bib |
DOI |
http ]
Keywords: composition
-
[143]
-
Victor Grishchenko.
Citrea and Swarm: Partially ordered op logs in the browser.
In 1st Workshop on Principles and Practice of Eventual
Consistency, PaPEC 2014. ACM, April 2014.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, operation-based
-
[144]
-
Lindsey Kuper and Ryan R Newton.
Joining forces: Toward a unified account of LVars and convergent
replicated data types.
In 5th Workshop on Determinism and Correctness in Parallel
Programming, WoDet 2014, March 2014.
[ bib |
.pdf ]
Keywords: crdt-related, shared-memory concurrency
-
[145]
-
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski.
Replicated data types: Specification, verification, optimality.
In 41st ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, POPL 2014, pages 271--284. ACM, January 2014.
[ bib |
DOI |
.pdf ]
Keywords: specification, verification
-
[146]
-
Luc André, Stéphane Martin, Gérald Oster, and Claudia-Lavinia
Ignat.
Supporting adaptable granularity of changes for massive-scale
collaborative editing.
In 9th IEEE International Conference on Collaborative Computing:
Networking, Applications and Worksharing, CollaborateCom 2013. IEEE, October
2013.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, LogootSplit, sequence-CRDT
-
[147]
-
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, and Nuno Preguiça.
Concurrency control and awareness support for multi-synchronous
collaborative editing.
In 9th IEEE International Conference on Collaborative
Computing, CollaborateCom 2013. ICST, October 2013.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[148]
-
Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils.
LSEQ: an adaptive structure for sequences in distributed
collaborative editing.
In 13th ACM Symposium on Document Engineering, DocEng 2013,
pages 37--46. ACM, September 2013.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, LSEQ
-
[149]
-
Paulo Sérgio Almeida and Carlos Baquero.
Scalable eventually consistent counters over unreliable networks.
July 2013.
[ bib |
arXiv |
http ]
Keywords: counters
-
[150]
-
Erwan Le Merrer, Nicolas Le Scouarnec, and Gilles Straub.
Bitbox: Eventually consistent file sharing.
In 1st International Conference on Networked Systems, NETYS
2013, page 274–278. Springer LNCS volume 7853, May 2013.
[ bib |
DOI ]
Keywords: systems, Bitbox
-
[151]
-
David Navalho, Sérgio Duarte, Nuno Preguiça, and Marc Shapiro.
Incremental stream processing using computational conflict-free
replicated data types.
In 3rd International Workshop on Cloud Data and Platforms,
CloudDP 2013, pages 31--36. ACM, April 2013.
[ bib |
DOI |
.pdf ]
Keywords: computation
-
[152]
-
Hien Thi Thu Truong, Claudia-Lavinia Ignat, and Pascal Molli.
Authenticating operation-based history in collaborative systems.
In 17th ACM International Conference on Supporting Group Work,
GROUP 2012, pages 131--140. ACM, October 2012.
[ bib |
DOI |
http ]
Keywords: security
-
[153]
-
Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David
Maier.
Logic and lattices for distributed programming.
In 3rd ACM Symposium on Cloud Computing, SoCC 2012, pages
1--14. ACM, October 2012.
[ bib |
DOI |
.pdf ]
Keywords: crdt-related
-
[154]
-
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos
Baquero, Valter Balegas, and Sérgio Duarte.
Brief announcement: Semantics of eventually consistent replicated
sets.
In 26th International Symposium on Distributed Computing, DISC
2012, pages 441--442. Springer LNCS volume 7611, October 2012.
[ bib |
DOI |
.pdf ]
Keywords: set-crdt, specification
-
[155]
-
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos
Baquero, Valter Balegas, and Sérgio Duarte.
An optimized conflict-free replicated set.
Research Report RR-8083, INRIA, October 2012.
[ bib |
arXiv |
.pdf ]
Keywords: set-crdt
-
[156]
-
Mehdi Ahmed-Nacer, Stéphane Martin, and Pascal Urso.
File system on CRDT.
Research Report RR-8027, INRIA, July 2012.
[ bib |
arXiv |
http ]
Keywords: trees
-
[157]
-
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood.
Cloud types for eventual consistency.
In 26th European Conference on Object-Oriented Programming,
ECOOP 2012, pages 283--307. Springer LNCS volume 7313, June 2012.
[ bib |
DOI |
.pdf ]
Keywords: crdt-related
-
[158]
-
Luis Daniel Ibáñez, Hala Skaf-Molli, Pascal Molli, and Olivier Corby.
Synchronizing semantic stores with commutative replicated data types.
In 21st International Conference on World Wide Web, WWW 2012,
pages 1091--1096. ACM, April 2012.
[ bib |
DOI |
http ]
Keywords: set-crdt
-
[159]
-
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, and Mooly Sagiv.
Eventually consistent transactions.
In 21st European Symposium on Programming, ESOP 2012, pages
67--86. Springer LNCS volume 7211, March 2012.
[ bib |
DOI |
.pdf ]
Keywords: crdt-related, transactions
-
[160]
-
Stéphane Martin, Mehdi Ahmed-Nacer, and Pascal Urso.
Abstract unordered and ordered trees CRDT.
Research Report RR-7825, INRIA, December 2011.
[ bib |
arXiv |
http ]
Keywords: trees
-
[161]
-
Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski.
Conflict-free replicated data types.
In 13th International Conference on Stabilization, Safety, and
Security of Distributed Systems, SSS 2011, pages 386--400. Springer LNCS
volume 6976, October 2011.
[ bib |
DOI |
.pdf ]
Keywords: introduction
-
[162]
-
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, and
Pascal Urso.
Evaluating CRDTs for real-time document editing.
In 11th ACM Symposium on Document Engineering, DocEng 2011,
pages 103--112. ACM, September 2011.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[163]
-
Marek Zawirski, Marc Shapiro, and Nuno Preguiça.
Asynchronous rebalancing of a replicated tree.
In Conférence Française en Systèmes d'Exploitation,
CFSE 2011, May 2011.
[ bib |
.pdf ]
Keywords: text-editing, Treedoc, core-nebula
-
[164]
-
Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee.
Replicated abstract data types: Building blocks for collaborative
applications.
Journal of Parallel and Distributed Computing, 71(3):354--368,
March 2011.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, RGA
-
[165]
-
Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski.
A comprehensive study of convergent and commutative replicated data
types.
Research Report 7506, INRIA, January 2011.
[ bib |
http ]
Keywords: introduction
-
[166]
-
Stéphane Martin, Pascal Urso, and Stéphane Weiss.
Scalable XML collaborative editing with undo.
In On the Move to Meaningful Internet Systems (OTM), pages
507--514. Springer LNCS volume 6426, October 2010.
[ bib |
DOI |
arXiv ]
Keywords: trees, undo
-
[167]
-
Stephane Weiss, Pascal Urso, and Pascal Molli.
Logoot-Undo: Distributed collaborative editing system on P2P
networks.
IEEE Transactions on Parallel and Distributed Systems,
21(8):1162--1174, August 2010.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, Logoot, undo
-
[168]
-
Victor Grishchenko.
Deep hypertext with embedded revision control implemented in regular
expressions.
In 6th International Symposium on Wikis and Open Collaboration,
WikiSym 2010. ACM, July 2010.
[ bib |
DOI |
.pdf ]
Keywords: text-editing
-
[169]
-
Mihai Letia, Nuno Preguiça, and Marc Shapiro.
Consistency without concurrency control in large, dynamic systems.
ACM SIGOPS Operating Systems Review, 44(2):29--34, April 2010.
[ bib |
DOI |
.pdf ]
Keywords: introduction
-
[170]
-
Nuno Preguiça, Joan Manuel Marques, Marc Shapiro, and Mihai Letia.
A commutative replicated data type for cooperative editing.
In 29th IEEE International Conference on Distributed Computing
Systems, ICDCS 2009, pages 395--403. IEEE, 2009.
[ bib |
DOI |
http ]
Keywords: text-editing, Treedoc
-
[171]
-
Stephane Weiss, Pascal Urso, and Pascal Molli.
Logoot: A scalable optimistic replication algorithm for
collaborative editing on P2P networks.
In 29th IEEE International Conference on Distributed Computing
Systems, ICDCS 2009, pages 404--412. IEEE, 2009.
[ bib |
DOI |
http ]
Keywords: text-editing, Logoot
-
[172]
-
Stéphane Weiss, Pascal Urso, and Pascal Molli.
Wooki: A P2P wiki-based collaborative writing tool.
In 8th International Conference on Web Information Systems
Engineering, WISE 2007, pages 503--512. Springer LNCS volume 4831, December
2007.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, WOOTO
-
[173]
-
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine.
Data consistency for P2P collaborative editing.
In 20th ACM Conference on Computer Supported Cooperative Work,
CSCW 2006, pages 259--268. ACM, November 2006.
[ bib |
DOI |
.pdf ]
Keywords: text-editing, WOOT
-
[174]
-
Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine.
Real time group editors without operational transformation.
Research Report RR-5580, INRIA, May 2005.
[ bib |
http ]
Keywords: text-editing, WOOT


| Vendor Name | Prolity Corporation |
|---|---|
| Reference Number | W8476-4501166248 |
| Contract Date | 2-6-2014 |
| Description of Work | Consulting Services, N.E.S. |
| Delivery Date | 31-8-2015 |
| Contract Value | $513,257.60 |
| Comments | This item was not reported previously. This item contains one or more amendments. The contract was competitively sourced. This contract is a call-up against a Public Works and Government Services procurement tool This contract is a call-up against a Publi |
| Additional Comments | The Department of National Defence awarded a service contract for one (1) Change Management Consultant, Level 3, and one (1) Technology Architect, Level 3, in the National Capital Region. The period of the Contract will be from date of Contract Award to o |


Main PDF manipulation functions. More...
#include "numbers.h"
#include "pdfobj.h"
#include "pdfcolor.h"
#include "pdftypes.h"
#include "pdfdoc.h"
#include "fontmap.h"
Functions | |
| void | texpdf_dev_set_verbose (void) |
| Increase verbosity. | |
| void | texpdf_init_device (pdf_doc *p, double unit_conv, int precision, int is_bw) |
| Initialise output. More... | |
| void | texpdf_close_device (void) |
| Close output. More... | |
| void | texpdf_dev_set_string (pdf_doc *p, spt_t xpos, spt_t ypos, const void *instr_ptr, int instr_len, spt_t text_width, int font_id, int ctype) |
| Output a string of text to the page. More... | |
| void | texpdf_dev_set_rule (pdf_doc *p, spt_t xpos, spt_t ypos, spt_t width, spt_t height) |
| Output a line to the page. More... | |
| int | texpdf_dev_put_image (pdf_doc *doc, int xobj_id, transform_info *p, double ref_x, double ref_y, int track_boxes) |
| Place an xobject (image) onto the page. More... | |
Main PDF manipulation functions.
| void texpdf_close_device | ( | void | ) |
Close output.
This should be the last thing you do when writing the PDF file.
| int texpdf_dev_put_image | ( | pdf_doc * | doc, |
| int | xobj_id, | ||
| transform_info * | p, | ||
| double | ref_x, | ||
| double | ref_y, | ||
| int | track_boxes | ||
| ) |
Place an xobject (image) onto the page.
This is the code you will use for putting an image to the page; the image must first be loaded into the PDF catalogue as an xobject using the texpdf_ximage_findresource() function. The value returned from texpdf_ximage_findresource() should be supplied as the xobj_id
.
The transform_info
object should contain the image's width and height, as well as any other transformations to be applied; track_boxes
should be zero unless you happen to be dvipdfm.
| void texpdf_dev_set_rule | ( | pdf_doc * | p, |
| spt_t | xpos, | ||
| spt_t | ypos, | ||
| spt_t | width, | ||
| spt_t | height | ||
| ) |
Output a line to the page.
This outputs a line in the current stoke and fill colors (see pdfcolor.h). The X and Y positions, as well as the width and height, are expected to be in scaled units.
| void texpdf_dev_set_string | ( | pdf_doc * | p, |
| spt_t | xpos, | ||
| spt_t | ypos, | ||
| const void * | instr_ptr, | ||
| int | instr_len, | ||
| spt_t | text_width, | ||
| int | font_id, | ||
| int | ctype | ||
| ) |
Output a string of text to the page.
As mentioned above, the xpos
and ypos
coordinates to the drawing functions are expected to be scaled by the unit_conv
setting. instr_ptr
is a pointer to the byte string to be written and instr_len
to its byte length.
text_width
is not only expected to be scaled by unit_conv
, but it is also expected to be multiplied by the extend
value of the font face. In other words, if you are setting unstretched text with a TeX-style unit_conv
scale factor of 65536, then the text_width
should be width_in_pts * 65536 * 65536
.
font_id
is an ID returned by texpdf_dev_load_native_font
below.
Values of ctype
:
0 - input string is in multi-byte encoding. 1 - input string is in 8-bit encoding. 2 - input string is in 16-bit encoding. -1 - input buffer is a stream of two-byte glyph indices
| void texpdf_init_device | ( | pdf_doc * | p, |
| double | unit_conv, | ||
| int | precision, | ||
| int | is_bw | ||
| ) |
Initialise output.
This sets output-related parameters for the supplied PDF document.
unit_conv
is the scale multiplier for converting between scaled points (spt_t
, the unit used as input to many of the manipulation functions) and physical "big points" (1/72in). As spt_t
is an integer type and manipulations are done on an integer basis of spt_t
s, the effect of this parameter is to set the granularity of measurements. Setting this to 1, for instance, means that all measurements are interpreted to an integer number of points; setting it to 100 means that that all measurements are interpreted as a hundredth of a point.
As an example, this library has its genesis in TeX, which uses integer math for everything. TeX's internal calculations were done on the basis of 65536 "scaled
points" to one printer's point; therefore, when interpreting TeX's output, you would set unit_conv
to 65536.
Remember this multiplier when you come to provide coordinates and sizes to drawing functions!
precision
, on the other hand` is the number of decimal places preserved in the PDF output. The maximum value is 8.
is_bw
is a flag which, if set to true, will cause all color-related commands to be ignored.


-
$90
favorite this post
Platform ladder
$90
pic
map
hide this posting
restore
restore this posting
-
$200
favorite this post
39' Furrion
$200
(Fillmore)
pic
map
hide this posting
restore
restore this posting
-
$1000
favorite this post
FLAG THE DAMM SCAMERS
$1000
(ventura)
pic
map
hide this posting
restore
restore this posting
-
$125
favorite this post
Breville Espresso Machine
$125
pic
map
hide this posting
restore
restore this posting
-
favorite this post
VENTURA FAIRGROUNDS EVERY WEDNESDAY FLEA MARKET
(VENTURA)
map
hide this posting
restore
restore this posting
-
$80
favorite this post
Exercise Bike-like new
$80
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
2000 GMC Sierra 4x4
$5000
(Oxnard)
map
hide this posting
restore
restore this posting
-
$90
favorite this post
Wooden Organizer for playroom
$90
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$90
favorite this post
Organizer for Girl's room
$90
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Tyler Warren 5'8 TC Quad Surfboard and Patagonia Wetsuits - moving!
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$40
favorite this post
NEW TN-360 Toner Cartage
$40
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$280
favorite this post
Whirlpool White side by side Refrigerator
$280
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$40
favorite this post
NEW TN-360 Toner Cartage
$40
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$150
favorite this post
John Legend - Santa Barbara Bowl - 5/25
$150
(Port Hueneme)
pic
map
hide this posting
restore
restore this posting
-
$15
favorite this post
outside pedestal
$15
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$85
favorite this post
**NEW O'Neal Element Boots**
$85
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$250
favorite this post
Brand new 2004 Dom Perignon Vintage Champage Brut
$250
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
$6
favorite this post
DW Bass Drum Pillow
$6
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$100
favorite this post
SKLZ Hurricane 4
$100
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$1
favorite this post
Pillows, duck and goose feather, 7 large and small
$1
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
$350
favorite this post
Restoration Hardware French Casement Black Bath Cabinets
$350
(CAMARILLO)
pic
map
hide this posting
restore
restore this posting
-
$75
favorite this post
PEG PEREGO ARIA Stroller- Beautiful Pink color (can't get anymore)
$75
(Oak Park)
pic
map
hide this posting
restore
restore this posting
-
$385
favorite this post
Sony PS-HX500 Hi Res USB Turntable - BRAND NEW
$385
(Oak Park)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Study aid (please read)
pic
map
hide this posting
restore
restore this posting
-
$15
favorite this post
tapestry print fringed decorator throw
$15
(CAMARILLO)
pic
map
hide this posting
restore
restore this posting
-
$285
favorite this post
WOOD DINING TABLE WITH 6 CHAIRS
$285
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$10
favorite this post
Holmes heater fan
$10
(CAMARILLO)
pic
map
hide this posting
restore
restore this posting
-
$15
favorite this post
Mens cloth covered half mannequin
$15
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$39
favorite this post
SCHUTT Team Helmet Bag
$39
(Play It Again Sports)
pic
map
hide this posting
restore
restore this posting
-
$120
favorite this post
BMX Haro 116
$120
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$90
favorite this post
Futon Full Size Wood
$90
pic
map
hide this posting
restore
restore this posting
-
$25
favorite this post
Desk - Solid Wood
$25
pic
map
hide this posting
restore
restore this posting
-
$60
favorite this post
Heavy Duty Garage racks
$60
(Westlaek Village)
pic
map
hide this posting
restore
restore this posting
-
$28
favorite this post
Ficus Tree
$28
(Malibu)
pic
map
hide this posting
restore
restore this posting
-
$28
favorite this post
Ficus Tree
$28
(Malibu)
pic
map
hide this posting
restore
restore this posting
-
$80
favorite this post
Youth bedroom set
$80
(Westlake Village)
pic
map
hide this posting
restore
restore this posting
-
$28
favorite this post
Ficus Tree
$28
pic
map
hide this posting
restore
restore this posting
-
$28
favorite this post
Ficus Tree
$28
pic
map
hide this posting
restore
restore this posting
-
$80
favorite this post
Leather Chair
$80
(Westlake Village)
pic
map
hide this posting
restore
restore this posting
-
$175
favorite this post
Teak dining set
$175
(Westlake Village)
pic
map
hide this posting
restore
restore this posting
-
$65
favorite this post
stationary bike
$65
(thousand oaks)
pic
map
hide this posting
restore
restore this posting
-
$400
favorite this post
Small Kenmore washer and dryer - great for apartments and narrow doors
$400
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$125
favorite this post
5'8 Surfboard
$125
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$50
favorite this post
Sol Republic head phones
$50
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
2009 Cadillac Escalade 3rd row seats Black Leather $400
(San Fernando Valley)
pic
map
hide this posting
restore
restore this posting
-
$80
favorite this post
Leather Sofa and Love Seat
$80
(Westlake Village)
pic
map
hide this posting
restore
restore this posting
-
$1500
favorite this post
Great<2OO7 John Deere Gator XUV Loader & 850 Diesel
$1500
pic
map
hide this posting
restore
restore this posting
-
$350
favorite this post
Ping irons 5-GW
$350
(Thousand oaks)
pic
map
hide this posting
restore
restore this posting
-
$12
favorite this post
CRYSTAL CATHEDRAL "THE GOOD SHEPHERD" FIGURINE BY HENRY VAN WOLFE
$12
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Sharper Image Ultrasonic Jewelry Cleaner almost new
$30
(Thousand Oaks)
map
hide this posting
restore
restore this posting
-
$8
favorite this post
Vintage Knife Holder
$8
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$45
favorite this post
BBQ
$45
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
LADIES SCHWINN ROAD BIKE
$175
(SANTA PAULA)
map
hide this posting
restore
restore this posting
-
$175
favorite this post
Mechanic's tool set
$175
pic
map
hide this posting
restore
restore this posting
-
$145
favorite this post
Tioga RV Rentals at $145 per day
$145
(Serving Ventura and LosAngeles counties)
pic
map
hide this posting
restore
restore this posting
-
$3950
favorite this post
87 GMC Sierra Short Bed 1/2 1St 350-V8 Tbi Auto Trans, Runs Drives Grt
$3950
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
$300
favorite this post
2014 Dodge Ram 1500 Rims
$300
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$120
favorite this post
Adjustable Bench with Leg Curl and Preacher curl attachment.
$120
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$3100
favorite this post
ventura2OO5 Toyota Tacoma SR5 Edition BEST CONDITION!
$3100
pic
map
hide this posting
restore
restore this posting
-
$950
favorite this post
Motorcycle Trailer - 4 rail
$950
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$700
favorite this post
5th Airborne Sidewinder Air Ride 5th Wheel Pin Box Hitch
$700
(Santa Rosa Valley)
pic
map
hide this posting
restore
restore this posting
-
$80
favorite this post
Smittybuilt rear mount plate I-Rack
$80
(East vta)
pic
map
hide this posting
restore
restore this posting
-
$13000
favorite this post
Weekend Warrior 3905
$13000
(Santa Rosa Valley)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
20 Inch Rims
$400
(Camarillo)
map
hide this posting
restore
restore this posting
-
$20
favorite this post
Skateboard ramp, Plastic, heavy duty
$20
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
$325
favorite this post
Dinning room set and China Hutch (Ethan Allen)
$325
(Camarillo ca)
pic
map
hide this posting
restore
restore this posting
-
$15
favorite this post
Anna Griffin Mix and Match Embossing Folders with Message Inserts
$15
(Simi Valley)
pic
map
hide this posting
restore
restore this posting
-
$50
favorite this post
Matching Curtains and laundry basket
$50
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
$60
favorite this post
2 RECLINING 0UTDOOR PATIO CHAIRS
$60
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$4200
favorite this post
Mercedes Benz E320 clean title smogged 99,000
$4200
(Goleta)
pic
map
hide this posting
restore
restore this posting
-
$3000
favorite this post
1991 Nissan Pickup For Sale
$3000
(Ojai/Ventura)
pic
map
hide this posting
restore
restore this posting
-
$350
favorite this post
Channel Islands Surfboards, DFR Model. 6-4"
$350
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
$125
favorite this post
Hitch 2" Receiver Stock Gm Fits Truck, Blazer,, Suburban 73-91
$125
(Oxnard Ca)
pic
map
hide this posting
restore
restore this posting
-
$16
favorite this post
Crystal Cathedral Ministries Sparrows Figurine Pen Holder Marble Base
$16
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$2
favorite this post
Playstation2 games
$2
(Oja)
pic
map
hide this posting
restore
restore this posting
-
$30
favorite this post
WII and Tiger Woods PGA 07
$30
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
$350
favorite this post
Cleveland irons 5-pw
$350
(Thousand oaks)
pic
map
hide this posting
restore
restore this posting
-
$100
favorite this post
Xbox 360 250 GB
$100
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
$550
favorite this post
3 piece sofa set with ottoman and sleeper
$550
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$10
favorite this post
Pyrex - Vintage Yellow casserole with lid
$10
(thousand oaks)
pic
map
hide this posting
restore
restore this posting
-
$9496
favorite this post
2011 Harley Davidson Fat Bob Fxdf Low miles
$9496
(Very Clean)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Parting out ( Chevy truck)
(Santapaula)
pic
map
hide this posting
restore
restore this posting
-
$100
favorite this post
Nintendo 3ds with Zelda Games
$100
(Moorpark)
pic
map
hide this posting
restore
restore this posting
-
$450
favorite this post
Noserider Longboard, Iron Cross. 9-6"
$450
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
$60
favorite this post
1992-1994 Toyota Paseo Egr Valve
$60
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$50
favorite this post
Blackboard, 48" tall x 72" wide, metal frame, shelf
$50
(Ojai)
pic
map
hide this posting
restore
restore this posting
-
$45
favorite this post
2002-2005 MERCEDES BENZ C230 BATTERY POSITIVE TERMINAL CABLE HARNESS
$45
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
89 mazda b2200
pic
map
hide this posting
restore
restore this posting
-
$35
favorite this post
1999 2003 Mitsubishi alternator 3.0L eclipse galant sebring stratus
$35
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$1500
favorite this post
CAST IRON KING HEADBOARD! ONE OF A KIND!
$1500
pic
map
hide this posting
restore
restore this posting
-
$799
favorite this post
Kitchen Set by Stanley Furniture
$799
(Westlake Village)
pic
map
hide this posting
restore
restore this posting
-
$450
favorite this post
Antique Farm Wagon Axles, Wheel Rims and Misc Hdwr
$450
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$125
favorite this post
Welding Oxygen Cylinder ("T") For Sale
$125
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$175
favorite this post
Samsung Surround Sound
$175
(Santa Paula)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
1997 Honda Civic
$1500
(Santa Paula)
map
hide this posting
restore
restore this posting
-
favorite this post
HP DESKTOP COMPUTER
$50
(EAST VENTURA)
map
hide this posting
restore
restore this posting
-
favorite this post
CHROME REAR BUMPER C10 SIERRA SUBURBAN BLAZER
pic
map
hide this posting
restore
restore this posting
-
$50
favorite this post
COFFEE TABLE - BROWN FAUX LEATHER
$50
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Scrap metal for recycle
(Santa Paula)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Custom fatbike
$300
(Ventura)
map
hide this posting
restore
restore this posting
-
$3
favorite this post
Women's Very High Heels-Designer Brands--Size 10
$3
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Free hose
(Newbury Park)
pic
map
hide this posting
restore
restore this posting
-
$25
favorite this post
Dog gate
$25
(River Park)
pic
map
hide this posting
restore
restore this posting
-
$175
favorite this post
Epiphone PR vintage sunburst Beatles vibe acoustic
$175
(OBO, Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
15x7 trailer wheels and tires
$150
(Thousand Oaks)
map
hide this posting
restore
restore this posting
-
$29000
favorite this post
2005 Dodge Viper copperhead edition
$29000
(Malibu)
pic
map
hide this posting
restore
restore this posting
-
$10500
favorite this post
1987 Suzuki Samurai
$10500
(Camarillo)
pic
map
hide this posting
restore
restore this posting
-
$50
favorite this post
Game Table
$50
(Oxnard)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Big Girls Party Dresses-Sizes 12-16
$10
(Thousand Oaks)
map
hide this posting
restore
restore this posting
-
$25
favorite this post
Beanie Baby Platinum Collector's Club Package Limited Edition
$25
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$125
favorite this post
AMAZING ROPE MIRROR
$125
(Oak park)
pic
map
hide this posting
restore
restore this posting
-
$5
favorite this post
THOMAS THE TANK Rolling BackPack
$5
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
$3500
favorite this post
2014 Suzuki SFV 650 Gladius
$3500
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
Patio set FREE
(Santa Paula)
pic
map
hide this posting
restore
restore this posting
-
$150
favorite this post
RTV/CAULKING,BEST QUALITY!!!
$150
(Oxnard ca)
pic
map
hide this posting
restore
restore this posting
-
$80
favorite this post
CHEVY SILVERADO PARTS
$80
(Oxnard ca)
pic
map
hide this posting
restore
restore this posting
-
$200
favorite this post
Milgard Window (New)
$200
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
favorite this post
MINI SPLIT AC
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$1800
favorite this post
1993 Bass Tracker v16
$1800
(Ventura)
pic
map
hide this posting
restore
restore this posting
-
$250
favorite this post
Boho Vintage Rattan Peacock Chairs
$250
(Thousand Oaks)
pic
map
hide this posting
restore
restore this posting


Javatpoint is one of the best Java training institute in Noida, Delhi, Gurugram, Ghaziabad and Faridabad. We have a team of experienced Java developers and trainers from multinational companies to teach our campus students.
Javatpoint trainers provides highly customized and result oriented training in Core Java, Advance Java, Struts 2.x, Spring, Hibernate, Web Services etc. We focus on practical training sessions as well as theoretical classes.
We believe that learning technology makes you better, but implementing it makes you perfect. We provide computer labs to students so that they can implement regularly whatever they learn in the class.
In Java training, our training institute offers practical knowledge and full job assistance with Java training course.
Java is one of the most popular programming language. It provides many services in various fields.
On the basis of Java, desktop applications such as media player, antivirus can be created. Along with that we can also create web applications by using technologies like Servlet, JSP, JSF etc.
Java didn't end here. It also provides enterprise applications for the banking sector. Automated Teller Machine (ATM) which is used by every bank, internally uses the features of Java.
The most used mobile operating system of the modern world, Android is also based on Java. Thus, we can say that Java covers almost whole IT industry.
Javatpoint understands the real requirements of IT industry and always updated with the current scenarios.
Java is an object oriented, high level programming language. It was originally developed by Sun Microsystem and later acquired by Oracle. It is one of the most secured language.
Java is a platform independent language. So, it can be run on multiple platforms like Windows, Linux, Sun Solaris, Mac/OS etc. once it is converted in bytecode. Java provides a multithreaded environment that makes its performance better.
Java also takes care about memory management and for that it provides automatic garbage collector. This collects the unused objects automatically.
Oracle provides regular updations on Java. With each updation, some extra features are added to it and some outdated feature are deprecated from it. This makes Java one of the most trending technology in IT industry.
Java is one of the most important part of IT industry. It is widely spread programming language. Java developers are making it compatible in different fields such as Artificial intelligence, Data analysis, Business Intelligence etc. So, there is no end for the job opportunities in Java and even the salary package of Java developers are much higher in comparison to others.
For the development in Java, one should have a strong basic concept and programming skills. Through our training sessions you will get in depth knowledge of Java and our practical labs will help you to enhance your coding skills.
7. You can learn java from our tutorial website: http://www.javatpoint.com/java-tutorial
Core Java Syllabus G-13, Second Floor
Sector-3, Noida (Near Sector-16 Metro Station)
U.P, India, 201301
Phone: 0120 - 4256464
Mobile: +91 -<PHONE_NUMBER>
Email: hr@javatpoint.com


#!/bin/sh # file: scripts/pibnotch.sh # This is an experimental script used to test dynamic PIB notching; # if you do not know what that is then you probably don't need this # script; # ==================================================================== # # -------------------------------------------------------------------- . /etc/environment . ${SCRIPTS}/hardware.sh . ${SCRIPTS}/firmware.sh # ==================================================================== # # ETH1 is Host Interface for Device 1 # ETH2 is Host Interface for Device 2 # # PLD1 is MAC of Powerline Device 1 # PLD2 is MAC of Powerline Device 2 # # PIB the PIB file used to load prescalars # MAP the MAP file used to save tonemaps read from device # OLD the OLD prescalars (no notches) # NEW the NEW prescalars (with notches) # # -------------------------------------------------------------------- PIB=abc.pib # the PIB file used to load prescalars MAP=tonemap # the MAP file used to save tonemaps read from device OLD=scalars # the OLD prescalars (no notches) NEW=notches # the NEW prescalars (with notches) # ==================================================================== # 1. print message; # 2. load OLD prescalars into PIB # 3. download and flash PIB # -------------------------------------------------------------------- echo echo Setup echo psout ../firmware/v3.3.6.pib > ${OLD} psin < ${OLD} ${PIB} int6k -i ${ETH2} -P ${PIB} ${PLD1} -C2 # ==================================================================== # 1. Increment loop counter and print message # 2. request tonemap between PLD1 and PLD2; save in MAP # 3. read OLD prescalars and write NEW prescalars based on MAP; only # notch prescalars 57 through 63 if tone threshold is below 3; # 4. load NEW prescalars into PIB; # 5. plot prescalars from PIB discarding unwanted lines; # 6. print a message # 7. download and flash PIB to apply changes; # 8. wait some time # 9. load OLD prescalars into PIB # 10. print a message # 11. download and flash PIB to sample changes; # 12. wait some time # 13. repeat forever; # -------------------------------------------------------------------- while [ 1 ]; do echo echo Check $((++count)) echo int6ktone -qhi ${ETH2} ${PLD1} ${PLD2} > ${MAP} psnotch -v -L 40 -U 66 -l 57 -u 62 -t 3 -f ${MAP} < ${OLD} > ${NEW} psin < ${NEW} ${PIB} psgraph ${PIB} | head -n 66 | tail -n 36 echo echo blocking ... echo int6k -i ${ETH2} -P ${PIB} ${PLD1} -C2 sleep 10 psin < ${OLD} ${PIB} echo echo sampling ... echo int6k -i ${ETH2} -P ${PIB} ${PLD1} -C2 sleep 60 done


Edinburgh University spin-out powers up with 'milestone' funding injection
by Scott ReidA University of Edinburgh spin-out that turns difficult-to-recycle paper waste into a product that boosts green energy production has secured “milestone” funding as part of an ambitious growth plan.
Carbogenics, which was launched by co-founders Jan Mumme, Franziska Srocke and Lidia Krzynowek, has raised nearly £500,000 in an investment led by Techstart Ventures.
Techstart is joined in the seed investment round by Old College Capital, the university’s venture fund, as well as private investors.
The fledgling business takes low-value paper waste and turns it a proprietary carbon-rich porous material, branded CreChar.
The company’s first application of its product adds CreChar to the feed material of anaerobic digestion plants. This is said to significantly increases the plant’s output and can reduce feedstock costs.
At the end of its life, the material is returned to the soil to work as fertiliser and lock away carbon for hundreds of years, offering significant carbon savings, Carbogenics added.
The firm said that variants of CreChar targeted at other applications would be launched during the course of 2020. Its fundraising supports the first phase of a growth plan that will see the venture build a pilot production facility in Perthshire, seek to prove its first product in industrial anaerobic digestion plants and expand its team.
Accelerate
Mumme, who is the firm’s chief executive, said: “The seed investment is a major milestone for Carbogenics. We will now accelerate our progress towards launching CreChar on the anaerobic digestion market and we look forward to growing our team and product range over the next year.
“There are billions of tonnes of waste out there that our technology can turn into new sustainable carbon products to create value for our clients and the environment.”
Carbogenics marks the ninth investment from Techstart’s new Scottish fund, which was launched earlier this year.
Robert Richmond, investment director at Techstart Ventures, said: “Carbogenics’ ambition is to be the market leader in carbon upcycling.
“We’re excited about the scale of this opportunity and have enjoyed working with the Carbogenics team, the university, Edinburgh Innovations, Old College Capital and the other investors at this round.”
Old College Capital is managed by Edinburgh Innovations (EI), the university’s commercialisation service.
George Baxter, chief executive of Edinburgh Innovations, said it was the first time EI had worked alongside Techstart.
“The investment shows our joint confidence that Carbogenics holds great promise for carbon sequestration and green power generation, and is the latest affirmation of the credibility of the innovations pipeline from the University of Edinburgh,” he added.


Chocolate Pizza
POSTED ON 15 DEC 2013 / DESSERTS
Oat cake gingerbread chocolate bar brownie cookie. Caramels muffin brownie cotton candy dessert cheesecake. I love icing bonbon gummi bears chupa chups sweet biscuit. I love tart pastry.
Cheesecake cheesecake pudding. Lemon drops I love sesame snaps carrot cake dragée oat cake cake muffin. Topping apple pie marzipan bear claw icing I love dragée dragée. Sweet jelly beans biscuit soufflé macaroon.
Fruitcake jujubes sesame snaps bonbon caramels tart cake pudding tart. Powder oat cake sweet jelly jujubes. Cake ice cream chocolate bar.I love croissant chocolate bar cake icing dragée chocolate bar I love. Cupcake I love biscuit I love carrot cake candy sweet roll tootsie roll gingerbread.
Vanessa Stevenson
Food enthusiast, photography fan. Add a pinch of raw foodism and that's pretty much who I am.


|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface JCoSessionReference
A JCoSessionReference is a simple reference to a session or scope in a runtime environment
that implemented and registered a SessionReferenceProvider. A session or scope is identified
by JCo by its ID(getID()
).
A session is not necessarily the local user session, but could also be some nested sub-session or scope.
It shall be a unit that has its own local state,
and keeps this somewhere in that scope or session. In complex environments, there could be a
session-tree, and scopeTypes could identify each level of the hierarchy. In simple environments,
there might be only the user session. What fits best to your needs, depends on your use cases. The fewer
complexity, the simpler are the scenarios that are possible.
The following short sequence shall illustrate, when the two event methods will be invoked that signal
to session management that the business application now wants to establish a context on the remote side.
It is assumed that the complete example code is run within the same scope:
JCoContext.begin(destination1); //--> contextStarted() will be invoked on the current session reference ... JCoContext.begin(destination2); ... JCoContext.end(destination1); ... JCoContext.end(destination2); //--> contextFinished() will be invoked on the current session referenceAs soon as a context has been started, JCo expects that this scope is no longer used concurrently in different threads for all destinations, for which the
JCoContext
is still open. If a scope is used concurrently, it might end up in a JCoException
of group JCO_ERROR_CONCURRENT_CALL
being thrown, when trying to execute
a function module on a destination set to stateful in this scope. The reasoning behind that
is the fact that concurrent execution would end up in random results as the order is not
clearly defined. Backend state is associated with the connection. Hence, for a given scope and
destination, there is only a single connection allowed.
| Method Summary | |
|---|---|
void |
contextFinished()
This method will be executed when the last connection is released in a stateful sequence within a session. |
void |
contextStarted()
This method will be executed when the first call is executed in a stateful sequence within a session. |
java.lang.String |
getID()
This method must return a session ID that uniquely identifies the referenced JCoSessionReference
in the runtime environment, in which JCo is running. |
| Method Detail |
|---|
java.lang.String getID()
JCoSessionReference
in the runtime environment, in which JCo is running. This session ID is used by JCo
internally, whenever it is required to identify a specific session or scope context. In particular, JCo is using
the ID in order to find out, whether there exists a stateful connection for a certain destination.
This happens always when executing a function module or committing a function unit.
void contextStarted()
void contextFinished()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


|
2D Platformer
|
#include <ray.h>
Public Member Functions | |
| Ray (b2World *world, float maxLength, sf::Color colour) | |
| Default constructor. More... | |
| void | draw (sf::RenderTarget &target, sf::RenderStates states) const |
| void | cast (sf::Vector2f start) |
| Cast the ray. | |
| void | setDirection (sf::Vector2f direction) |
| Set ray direction. | |
Private Attributes | |
| b2World * | m_pWorld |
| Pointer to the Box2D world. | |
| sf::VertexArray | m_line |
| Line to render the ray. | |
| sf::Vector2f | m_direction |
| Direction of the ray. | |
| float | m_maxLength |
| Maximum length of the ray. | |
| Ray::Ray | ( | b2World * | world, |
| float | maxLength, | ||
| sf::Color | colour | ||
| ) |
Default constructor.
Full constructor


The very, very first game I ever programmed. Most of it was put together following a tutorial meant to teach students how to make a game with JavaScript. Coupled with my previous knowledge of HTML and CSS, I was able to make some nice adjustments that displayed the score and remaining time in a more unobtrusive way.
As my first game, even seemingly simple things like having a timer count down or moving the cats in several directions was a lengthily trial and error process. However, it was a fun process that led me to continue studying JavaScript for the next year and working on more impressive projects.


Fortnite Chapter 2's first season extended until February
As daily challenges return.
by Tom PhillipsThe first season in Fortnite's Chapter 2 relaunch will now be its longest yet.
Epic has confirmed an extension for the current season - Chapter 2 Season 1 - until February 2020.
It means there won't be a big season change before the game's expected Christmas events, although in a blog post today Epic promised plenty to keep players busy.
"Last year we celebrated 14 Days of Fortnite over the holidays," Epic wrote. "This year we've got even more content for you to unwrap, including new game features, free rewards and a live experience that you won't want to miss.
"To prepare for all the new holiday-themed updates, we will be extending Chapter 2's first season into early February. Get ready for winter!"
Epic is known for giving Fortnite developers two weeks off both over the Christmas period and during the Summer - during which the game runs its 14 Days events and is largely left to run by itself.
Whether staff are being given more time off this year, or the launch of Chapter 2 has disrupted Epic's own internal schedule, its clear Season 2 has been pushed back. When Chapter 2 first arrived, its first season was listed to expire in mid-December.
Chapter 2, which arrived after the game's huge black hole event, acts basically as sequel to what came before - and it will clearly have been a huge effort to get ready in the background. A bit more time off seems well deserved.
And in other news, today's patch sees the return of Daily Challenges, as well as the MIA Bandage Bazooka healing gun which has been disabled for several weeks.


---
layout: post
title: via things i like series lumina ties mens
date: '2011-05-10T12:14:00+02:00'
tags:
- style
tumblr_url: http://dotmr.tumblr.com/post/5362777048/via-things-i-like-series-lumina-ties-mens
---
(via Things I Like Series: Lumina Ties « Men’s Style Pro)
Like: light summer suit. Cotton/chino?


Referral
Referral document
event
Clinician making Referral
Receiver of referral
Other clinicians to receive copies of referral
Payor
General Practitioner
Tree
Requestor Identifier
Individual's personal demographics
ARCHETYPE_SLOT is not supported yet
Identifier
Date of Birth
Sex
Male
Female
Indeterminate
Relationship to subject
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
DateTime attested
Document Status
Referral request
Request
Tree
Service requested
Description of service
ARCHETYPE_SLOT is not supported yet
Reason for request
Reason description
Intent
Urgency
Emergency
Urgent
Routine
Date &/or time service required
Latest date service required
Supplementary information to follow
Supplementary information expected
ARCHETYPE_SLOT is not supported yet
Tree
Requestor Identifier
Individual's personal demographics
ARCHETYPE_SLOT is not supported yet
Identifier
Date of Birth
Sex
Male
Female
Indeterminate
Relationship to subject
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
Receiver identifier
Individual's personal demographics
ARCHETYPE_SLOT is not supported yet
Identifier
Date of Birth
Sex
Male
Female
Indeterminate
Relationship to subject
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
Request status
ARCHETYPE_SLOT is not supported yet
ARCHETYPE_SLOT is not supported yet
Duration
Duration
D
H
M
S
Indefinite
ARCHETYPE_SLOT is not supported yet


---
layout: post
title: Lotus whiteglow skin whitening and brightening gel crème
tags:
- Lotus Herbals
status: publish
type: post
published: true
meta:
_thumbnail_id: '6373'
_yoast_wpseo_metakeywords: ''
_yoast_wpseo_linkdex: '91'
_edit_last: '2'
_yoast_wpseo_focuskw: Lotus whiteglow skin whitening and brightening gel crème
_yoast_wpseo_title: Lotus whiteglow skin whitening and brightening gel crème
_yoast_wpseo_metadesc: Lotus whiteglow skin whitening and brightening gel crème
_yoast_wpseo_meta-robots-noindex: '0'
_yoast_wpseo_meta-robots-nofollow: '0'
_yoast_wpseo_meta-robots-adv: none
_yoast_wpseo_sitemap-include: ! '-'
_yoast_wpseo_sitemap-prio: ! '-'
_yoast_wpseo_canonical: ''
_yoast_wpseo_redirect: ''
---
Lotus whiteglow skin whitening and brightening gel crème
I love Beyonce and Malaika Arora Khan for their sexy tanned body. But i just can't take tan on me, may be because it doesn't look good on me. It doesn't compliment my skin tone. And the product i am reviewing today is a purchase of the time when i wanted to get rid of my terrible tan. Its Lotus whiteglow skin whitening and brightening gel crème. I liked the concept of a gel crème, which meant that it won’t be too heavy for summer use.
Price: Rs 295/- for 60 gm.
It comes in a beautiful glass tub with a shiny silver screw cap on it. The jar is quite heavy and definitely not travel friendly, but good to grace your dressing table.
This cream has a very lightweight consistency. And about the gel part, yes it is somewhat a mixture of a gel and a cream. It is a nice moisturizer for summers.
It has a very nice fragrance, which I can say is quite citrusy and fresh. The smell lingers on for about a few minutes and then fades away.
About the whitening claim, well yes it does whiten you, but I won’t say within seven days. I used this cream for around a month and my skin tone was back to normal.
Happy me. What more could I ask for. So even though I was in desperation to go back to my normal skin tone, I liked the way how slowly and effectively this cream worked. It may sound a bit illogical but I am quite relieved when such creams don’t show miraculous overnight effect, it kinda gives me a feeling that it is not that harmful for your skin. I discontinued using it after a month, because I think that one shouldn't use whitening cream for long. And I read it somewhere that it’s not good for your skin in the long run. Maybe because of some the chemical that they use.
It didn’t brighten me and I was not even expecting. Brightness is something that comes from within, a good diet, lots of fluid and your skin will surely brighten up.
Pros:
- A nice light moisturizer for summer.
- Has SPF25 PA+++
- Does what it claim, but at its own pace.
- A tub can last for 2-3 month.
- Affordable.
Cons:
As summer is drawing near, I am sure you all must be looking for a nice moisturizer.
Which one is your favorite moisturizer ?


|
Links: Important Message Here. This template is free at www.r7designer.com! |
-->
JPype -JPype is an effort to allow python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines. Eventually, it should be possible to replace Java with python in many, though not all, situations. JSP, Servlets, RMI servers and IDE plugins are good candidates. Once this integration is achieved, a second phase will be started to separate the Java logic from the Python logic, eventually allowing the bridging technology to be used in other environments, I.E. Ruby, Perl, COM, etc ... Why such a project?As much as I enjoy programming in Python, there is no denying that Java has the bulk of the mindshare. Just look on Sourceforge, the are 3267 Python-related projects, and 12126 Java-related projects. And that not counting commercial interests. Server-side Python is also pretty weak. Zope may be a great application server, but I have never been able to figure it out. Java, on the \ other hand, shines on the server. So in order to both enjoy the language, and have access to the most popular libraries, I have started this project. What about Jython?Jython (formerly known as JPython) is a great idea. However, it suffers from a large number of drawbacks, i.e. it always lags behind CPython, it is slow and it does not allow access to most Python extensions. My idea allows using both kinds of libraries in tandem, so the developer is free to pick and choose. |
You are looking at a Free Dreamweaver Template created by: http://www.r7designer.com |


Transverse Mercator Projection
This page is a web resource for the paper
Charles F. F. Karney,
Transverse Mercator with an accuracy of a few nanometers,
J. Geodesy 85(8), 475–485 (Aug. 2011);
preprint arXiv:1002.1417
(pdf);
addenda.
The implementation of the series and exact algorithms are
available as part of GeographicLib which is licensed under the
MIT/X11 License;
see LICENSE.txt for the terms.
Additional material:
-
A good way to visualize the transverse Mercator projection
over the entire global is using
tm-grid.kmz,
which is a Google Earth KML file showing the transverse
Mercator grid (in red) for the WGS84 ellipsoid with grid
spacing 1000 km in the x and y directions. The
scale, k = 0.9998035, has been adjusted so that the
distance from the equator to a pole is 10000 km.
If you
open the "tm-grid" folder in Google Earth and check on the
"spherical-transverse-mercator" subfolder, you will also see
the corresponding spherical transverse Mercator grid (in
yellow) conformally mapped to the WGS84 ellipsoid. (This
doesn't have a constant scale on the central meridian.)
-
Test data for the transverse Mercator projection
Use only the entries with latitude ≥ 0 for testing an
algorithm with the standard convention for the branch cut.
-
Maxima implementation of Lee's exact method (arbitrary precision):
tm.mac
and ellint.mac. There is brief
documentation at the top of tm.mac.
-
The paper gives Krüger's series accurate to 8th order;
-
Krüger's 1912 paper.
-
Relevant section of Lee's 1976 paper (price $15).
Charles Karney
<EMAIL_ADDRESS>(2017-09-30)
GeographicLib home