SIKB0102: Synchronizing Excavation Data for Preservation and Re-Use

First results from the PARSE.Insight project: HEP survey on data preservation, re-use and (open) access

There is growing interest in the issues of preservation and re-use of the records of science, in the “digital era”. The aim of the PARSE.Insight project, partly financed by the European Commission under the Seventh Framework Program, is twofold: to provide an assessment of the current activities, trends and risks in the field of digital preservation of scientific results, from primary data to p...

Synchronizing data stream processing

Scientific Data sharing and re - use

Synchronizing Data Words for Register Automata

Register automata (RAs) are finite automata extended with a finite set of registers to store and compare data. We study the concept of synchronizing data words in RAs: Does there exist a data word that sends all states of the RA to a single state? For deterministic RAs with k registers (k-DRAs), we prove that inputting data words with 2k+1 distinct data, from the infinite data domain, is suffic...

Synchronizing shared abstract data types

This paper discusses the synchronization issues that arise when transaction facilities are extended for use with shared abstract data types. A formalism for specifying the concurrency properties of such types is developed, based on dependency relations that arc defined in terms of an abstract type's operations. The formalism requires that the specification of an abstract type state whether or n...