Filters








124,545 Hits in 4.1 sec

What is a file synchronizer?

S. Balasubramaniam, Benjamin C. Pierce
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?

Miguel Riesco, Javier Tuya
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]

Robert Ennals, David Gay
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

Tom Worthington
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]

Zulqarnain Mehdi, Hani Ragab-Hassen
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

Lars Ailo Bongo
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

John Plaice, Blanca Mancilla
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

Steven Robbins
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

Steven Robbins
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

S. Thomson, W.J.R. Dunseath
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

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
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]

Jeffrey S. Rosenschein
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

Elod Pal Csirmaz
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

Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
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