Results 241 to 250 of about 192,856 (290)
Some of the next articles are maybe not open access.
2012 IEEE International Symposium on Information Theory Proceedings, 2012
Various protocols in the cryptography and distributed systems literature assume some notion of time: One major (but not the only) example are "synchronous" models which assume that a protocol is executed in a well defined sequence of rounds with round switches that occur (almost) simultaneously at the parties.
Maurer Ueli, Tackmann Björn
openaire +1 more source
Various protocols in the cryptography and distributed systems literature assume some notion of time: One major (but not the only) example are "synchronous" models which assume that a protocol is executed in a well defined sequence of rounds with round switches that occur (almost) simultaneously at the parties.
Maurer Ueli, Tackmann Björn
openaire +1 more source
Neurocomputing, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zuohua Zhang, Dana H. Ballard
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zuohua Zhang, Dana H. Ballard
openaire +2 more sources
Psychological Science, 2009
Armies, churches, organizations, and communities often engage in activities—for example, marching, singing, and dancing—that lead group members to act in synchrony with each other. Anthropologists and sociologists have speculated that rituals involving synchronous activity may produce positive emotions that weaken the psychological boundaries between ...
Scott S, Wiltermuth, Chip, Heath
openaire +2 more sources
Armies, churches, organizations, and communities often engage in activities—for example, marching, singing, and dancing—that lead group members to act in synchrony with each other. Anthropologists and sociologists have speculated that rituals involving synchronous activity may produce positive emotions that weaken the psychological boundaries between ...
Scott S, Wiltermuth, Chip, Heath
openaire +2 more sources
2015 54th IEEE Conference on Decision and Control (CDC), 2015
In this paper, we introduce a measure quantifying the degree of synchrony for consensus networks in terms of the angle between the network state vector and the agreement subspace of ℝn. The desynchronization of a consensus network is then examined by adopting a simple two-stubborn-input strategy, through which the network synchrony can be alleviated ...
Haibin Shao +2 more
openaire +1 more source
In this paper, we introduce a measure quantifying the degree of synchrony for consensus networks in terms of the angle between the network state vector and the agreement subspace of ℝn. The desynchronization of a consensus network is then examined by adopting a simple two-stubborn-input strategy, through which the network synchrony can be alleviated ...
Haibin Shao +2 more
openaire +1 more source
ACM Transactions on Programming Languages and Systems, 2001
An intermediate-level specification formalism (i.e., specification language supported by laws and a semantic model), Logs, is presented for PRAM and BSP styles of parallel programming. It extends pre-post sequential semantics to reveal states at points of global synchronization.
Yifeng Chen, Jeff W. Sanders
openaire +1 more source
An intermediate-level specification formalism (i.e., specification language supported by laws and a semantic model), Logs, is presented for PRAM and BSP styles of parallel programming. It extends pre-post sequential semantics to reveal states at points of global synchronization.
Yifeng Chen, Jeff W. Sanders
openaire +1 more source
2001
We express reactive programs in COQ using data-flow synchronous operators. Following LUID-SYNCHROME approach, synchronous static constraints are here expressed using dependent types. Hence, our analysis of synchrony is here directly performed by COQtypechecker.The LS compiler is available at: http://www-spi.lip6.fr/lucid-synchrone/
Boulmé, Sylvain, Hamon, Grégoire
openaire +1 more source
We express reactive programs in COQ using data-flow synchronous operators. Following LUID-SYNCHROME approach, synchronous static constraints are here expressed using dependent types. Hence, our analysis of synchrony is here directly performed by COQtypechecker.The LS compiler is available at: http://www-spi.lip6.fr/lucid-synchrone/
Boulmé, Sylvain, Hamon, Grégoire
openaire +1 more source
Is Signal Synchrony Independent of Transport Synchrony?
Philosophy of Science, 1978Beauregard ([1], p. 488) claims that Bowman and I were mistaken in saying that “… if the empirical predictions of the Special Theory regarding clock transport are correct, [then] a slow transport definition of simultaneity can be constructed that is logically independent of any signal definition, but is in fact equivalent to the standard signal ...
openaire +1 more source
14th International Conference on Distributed Computing Systems, 2002
We formulate a model of extended virtual synchrony that defines a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support continued operation in all components of a partitioned network.
Louise E. Moser +3 more
openaire +1 more source
We formulate a model of extended virtual synchrony that defines a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support continued operation in all components of a partitioned network.
Louise E. Moser +3 more
openaire +1 more source
Synchrony of Chromosome Duplication
Nature, 1966IN some recent publications statements have been made on the marked asynchrony of homologous pairs of autosomes with respect to duplication of the chromosomes—as studied with tritiated thymidine1–3. In an earlier publication, in which quantitative analysis of grain counts on chromosomes has been performed, we have reported that no evidence for a marked
C W, Gilbert +3 more
openaire +2 more sources