نتایج جستجو برای: free data

تعداد نتایج: 2833352  

Journal: :European Heart Journal 2017

2011
Marc Shapiro Nuno M. Preguiça Carlos Baquero Marek Zawirski

Replicating data under Eventual Consistency (EC) allows any replica to accept updates without remote synchronisation. This ensures performance and scalability in largescale distributed systems (e.g., clouds). However, published EC approaches are ad-hoc and error-prone. Under a formal Strong Eventual Consistency (SEC) model, we study sufficient conditions for convergence. A data type that satisf...

Journal: :CoRR 2013
Daniel Cederman Anders Gidenstam Phuong Hoai Ha Håkan Sundell Marina Papatriantafilou Philippas Tsigas

Concurrent data structures are the data sharing side of parallel programming. Data structures give the means to the program to store data, but also provide operations to the program to access and manipulate these data. These operations are implemented through algorithms that have to be efficient. In the sequential setting, data structures are crucially important for the performance of the respe...

Journal: :IEEE Internet Computing 2001
Sean C. Rhea Chris Wells Patrick R. Eaton Dennis Geels Ben Y. Zhao Hakim Weatherspoon John Kubiatowicz

The computing world is experiencing a transition from desktop PCs to connected information appliances, which — like the earlier transition from mainframes to PCs — will profoundly change the way information is used. The variety of devices capable of connecting to the Internet is astounding. Personal Data Assistants (PDAs), cellular phones, and even cars have Internet connectivity. Given the pro...

Journal: :Discrete Mathematics 2018
Yan Zhuang

The Goulden–Jackson cluster method is a powerful tool for obtaining generating functions for counting words in a free monoid by occurrences of a set of subwords. We introduce a generalization of the cluster method for monoid networks, which generalize the combinatorial framework of free monoids. As a sample application of the generalized cluster method, we compute bivariate and multivariate gen...

2008
Jan Christiansen Sebastian Fischer

We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.

2017
Tudor David Aleksandar Dragojević Rachid Guerraoui Igor Zablotchi

Non-volatile RAM (NVRAM) makes it possible for data structures to tolerate transient failures, assuming however programmers have designed these structures in a way to preserve their consistency upon recovery. Previous approaches, typically transactional, inherently used logging, resulting in implementations that are significantly slower than their DRAM counterparts. In this paper, we introduce ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید