A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Filters
What is a file synchronizer?
1998
Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking - MobiCom '98
What if the directory structure is reorganized in one replica? Our goal is to o er a simple, concrete, and precise framework for describing the behavior of le synchronizers. ...
., Precisely what constitutes a con ict between updates in di erent replicas? What does the synchronizer do if updates con ict? What happens when les are renamed? ...
Luc Maranget and Peter Reiher gave us the bene t of their own deep experience with writing synchronizers. ...
doi:10.1145/288235.288261
dblp:conf/mobicom/BalasubramaniamP98
fatcat:fnzqfkfm5rhr3iwkk3mg5cyw5q
Synchronous Estelle: Just Another Synchronous Language?
2004
Electronical Notes in Theoretical Computer Science
Synchronous Estelle is a new language designed to specify distributed reactive systems. ...
The Steam Boiler Control Problem, a referent study case in the field of reactive systems, has been used to study the applicability of Synchronous Estelle to distributed reactive systems. ...
user knows what he is doing. ...
doi:10.1016/j.entcs.2003.05.003
fatcat:75a4hg6jnfcipolyanrpzply3q
Multi-language Synchronization
[chapter]
2007
Lecture Notes in Computer Science
If a file is modified in language A, we produce a new version in language B by translating the file into a non-deterministic description of many ways that it could be encoded in language B and then choosing ...
To demonstrate the feasibility of this approach, we have implemented a translator that can synchronize files written in a straw-man language, Jekyll, with files written in C. ...
We believe this metric fits a programmers intuitive model of what it means for files to be similar. Note that this metric is not the same as the edit distance. ...
doi:10.1007/978-3-540-71316-6_32
fatcat:43uvxwhf7ja3hkmln5llzsmdva
Synchronizing asynchronous learning - Combining synchronous and asynchronous techniques
2013
2013 8th International Conference on Computer Science & Education
On-line learning uses the terms synchronous and asynchronous to describe tools and learning activities. ...
There is no requirement for the video, or the caption file to be transmitted real time, as synchronization is performed using a clock. ...
SYNCHRONOUS LEARNING Much of traditional education is synchronous, in the dictionary meaning of the word: students are provided a timetable of what they need to do and when. ...
doi:10.1109/iccse.2013.6553983
fatcat:jjl2c6gujvbv7fwcymwlcmantm
File Synchronization Systems Survey
[article]
2016
arXiv
pre-print
Several solutions exist for file storage, sharing, and synchronization. ...
Many of them involve a central server, or a collection of servers, that either store the files, or act as a gateway for them to be shared. ...
One of the best examples of such a service is Symform, which encrypts file chunks before replicating them on the network [28] . ...
arXiv:1611.05346v1
fatcat:do6awpinonbedeph5rndrseive
Synchronizing Clocks
1888
Scientific American
The steam pipe is simply first time. Then there are punches, broaches, drills, passed through the tal' pipe, and a steam trap attached calipers, countersinks, files, etc., etc. ...
The tal' elll ployed was what is knowIi. a,s boiled tal' ; the naphtha having been previously removed, but the pitch oil left in the tal'. 'l 'he value of this tal' in Dundee is abou t 4s. per ton. ...
doi:10.1038/scientificamerican09221888-10604asupp
fatcat:a53rxrgdyna7zabszdlrkzeklm
Bulk synchronous visualization
2013
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13
We describe the bulk synchronous visualization (BSV) model that makes it easier to write high resolution parallel visualizations. ...
The dataset to be visualized is decomposed into thousands of tasks that are assigned to sequential processes. ...
BSP BSV is inspired by the bulk synchronous programming (BSP) model [15] where a program is expressed as supersteps that typically comprise computation, point-to-point communication, and a globally synchronizing ...
doi:10.1145/2442992.2442995
dblp:conf/ppopp/Bongo13
fatcat:iwvzqxy57zcpbejsxnzy7km2ei
Synchronous Communities
2008
2008 32nd Annual IEEE International Computer Software and Applications Conference
We propose the synchronous community, a set of context-aware programs held together by a single shared context that permeates all of the programs, together with a synchronous discrete semantics. ...
The objective of this paper is to present a mechanism for building intensional communities [3], which consist of a set of applications permeated by the same shared context. ...
Writing to shared, global variables, which is what an aether encapsulates, is done in an atomic manner. ...
doi:10.1109/compsac.2008.190
dblp:conf/compsac/PlaiceM08
fatcat:lkqviwoinve4fabe6i2h5fu5aq
Experimentation with bounded buffer synchronization
2000
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education - SIGCSE '00
The simulator is written in Java and can be used either standalone or from a standard browser. Students can save the data and graphs generated by the simulator in a log file in HTML format. ...
The traditional approach to teaching these topics is not effective in conveying to students how programs with incorrect synchronization actually behave. ...
This facility allows students to easily produce a log file of an experiment that can be printed out or viewed on line. A sample log file is shown in Figure 2 . ...
doi:10.1145/330908.331880
dblp:conf/sigcse/Robbins00a
fatcat:prk44mek2bb25gygcwnkjar4ym
Experimentation with bounded buffer synchronization
2000
ACM SIGCSE Bulletin
The simulator is written in Java and can be used either standalone or from a standard browser. Students can save the data and graphs generated by the simulator in a log file in HTML format. ...
The traditional approach to teaching these topics is not effective in conveying to students how programs with incorrect synchronization actually behave. ...
This facility allows students to easily produce a log file of an experiment that can be printed out or viewed on line. A sample log file is shown in Figure 2 . ...
doi:10.1145/331795.331880
fatcat:ywh5vqtyl5ht5cihh7w7afsdvu
An Experiment in Synchronicity
2011
Physics Procedia
An experiment is devised in which a coherent state path is created between the experimental components and loaded through interaction with non-coherent states. ...
The theory delivers verifiable predictions and is generally consistent with quantum theory. ...
An issue upon which both formulations agree is the importance of the observer in determining what is observed. ...
doi:10.1016/j.phpro.2011.08.020
fatcat:vkk3buwm2bbf7d4bj7ludgtus4
Synchronized regular expressions
2003
Acta Informatica
Text manipulation is one of the most common tasks for everyone using a computer. ...
We use SRE to present a formal study of the already known backreferences extension, and of a new extension proposed by us, which we call the synchronized exponents. ...
what we wanted to prove. ...
doi:10.1007/s00236-002-0099-y
fatcat:wed67pcqxfgoji2amycws2hpl4
Synchronization of Multi-Agent Plans
[chapter]
1988
Readings in Distributed Artificial Intelligence
One solution is for MIT to send file X to CMU, and then notify CMU that it has been sent; CMU waits for this notification, and then prints the file. ...
by the MIT and CMU agents), and then tell MIT and CMU what to do. ...
This research is supported by ONR Contract # N00014-81-K-0303. ...
doi:10.1016/b978-0-934613-63-7.50020-6
fatcat:o7izowwtwjhldhbdhn3t2ooqq4
Theory Of File Synchronization
2000
Zenodo
Our goal was to create a general mathematical model for file synchronization and use it as a basis to define the behavior of a synchronizer. ...
The problem of file synchronization (making two, differently modified copies of a filesystem the same again without losing information) emerges in many cases, and is solved in many different ways. ...
In that case, a file synchronizer is used to make them similar (consistent) again, without losing any information. ...
doi:10.5281/zenodo.3674167
fatcat:gwhxiymcnzhqrotmrvs5vevq2q
Applications of synchronization coverage
2005
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05
We present a new coverage model: synchronization coverage. This model is simple to understand and the action items generated by each uncovered task are clear to testers and developers. ...
Coverage analysis is a useful testing technology. However, some coverage models are more acceptable to the industry than others. ...
First, we checked if we could reduce the number of files with synchronization primitives. The advantage of having fewer files with synchronization primitives is having fewer files to review. ...
doi:10.1145/1065944.1065972
dblp:conf/ppopp/BronFMNU05
fatcat:nodz5rziordzfmxqaxtrzmlxmm
« Previous
Showing results 1 — 15 out of 124,545 results