Results 251 to 260 of about 109,055 (295)
Some of the next articles are maybe not open access.
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 +2 more sources
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 +2 more sources
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 +2 more sources
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 +2 more sources
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/
Sylvain Boulmé, Grégoire Hamon
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/
Sylvain Boulmé, Grégoire Hamon
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
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
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
2008 Seventh IEEE International Symposium on Network Computing and Applications, 2008
The virtually synchronous execution model provides an appropriate support for developing reliable applications when the crash failure model is being assumed. Using it, group broadcasts only need to be based on asynchronous communication. Synchronization points are set when a view change arises, guaranteeing an efficient execution of such reliable ...
Francesc D. Muñoz-Escoí +3 more
openaire +2 more sources
The virtually synchronous execution model provides an appropriate support for developing reliable applications when the crash failure model is being assumed. Using it, group broadcasts only need to be based on asynchronous communication. Synchronization points are set when a view change arises, guaranteeing an efficient execution of such reliable ...
Francesc D. Muñoz-Escoí +3 more
openaire +2 more sources
Proceedings of the SIGGRAPH Asia 2022 Computer Animation Festival, 2022
Julia Le Bras-Juarez +7 more
openaire +2 more sources
Julia Le Bras-Juarez +7 more
openaire +2 more sources
Human Nature, 1991
Several studies have now documented menstrual synchrony in human females. There is a broad consensus that the phenomenon mainly occurs in women who spend a significant amount of time together, such as close friends and coworkers, and that social contact rather than a similar environment plays an important role in mediating the effect.
openaire +3 more sources
Several studies have now documented menstrual synchrony in human females. There is a broad consensus that the phenomenon mainly occurs in women who spend a significant amount of time together, such as close friends and coworkers, and that social contact rather than a similar environment plays an important role in mediating the effect.
openaire +3 more sources