Results 271 to 280 of about 329,788 (319)
Some of the next articles are maybe not open access.
Studia Logica, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Amílcar Sernadas +2 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Amílcar Sernadas +2 more
openaire +2 more sources
Fundamenta Informaticae, 1996
New constructs for synchronization termed synchronization expressions (SEs) have been developed as high-level language constructs for parallel programming languages [8, 9]. Statements that are constrained by certain synchronization requirements are tagged, and synchronization requests are specified as expressions of statement tags.
Lifu Guo, Kai Salomaa, Sheng Yu 0001
openaire +2 more sources
New constructs for synchronization termed synchronization expressions (SEs) have been developed as high-level language constructs for parallel programming languages [8, 9]. Statements that are constrained by certain synchronization requirements are tagged, and synchronization requests are specified as expressions of statement tags.
Lifu Guo, Kai Salomaa, Sheng Yu 0001
openaire +2 more sources
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021
We present a type-theoretic framework for data stream processing for real-time decision making, where the desired computation involves a mix of sequential computation, such as smoothing and detection of peaks and surges, and naturally parallel computation, such as relational operations, key-based partitioning, and map-reduce.
Rajeev Alur +8 more
openaire +1 more source
We present a type-theoretic framework for data stream processing for real-time decision making, where the desired computation involves a mix of sequential computation, such as smoothing and detection of peaks and surges, and naturally parallel computation, such as relational operations, key-based partitioning, and map-reduce.
Rajeev Alur +8 more
openaire +1 more source
Science, Technology, & Human Values, 2017
Sociological studies of work and time have argued that academic temporalities are increasingly rationalized and rendered accountable, resulting in a divergence of planned and experienced time in academic work. Shared research facilities that provide platform technologies to large user pools are no exception to this, as its administrations seek to ...
openaire +2 more sources
Sociological studies of work and time have argued that academic temporalities are increasingly rationalized and rendered accountable, resulting in a divergence of planned and experienced time in academic work. Shared research facilities that provide platform technologies to large user pools are no exception to this, as its administrations seek to ...
openaire +2 more sources
International Journal of Bifurcation and Chaos, 2010
In this work we study the synchronization between identical pairs of hyperchaotic mathematical systems symmetrically coupled. Calculations are performed firstly in two well-known hyperchaotic systems, and then compared with the results obtained coupling symmetrically two Takens–Bogdanov systems (TBS) which represent a bifurcation in Codimension 2 (a ...
Gerard Vidal, Héctor Mancini
openaire +2 more sources
In this work we study the synchronization between identical pairs of hyperchaotic mathematical systems symmetrically coupled. Calculations are performed firstly in two well-known hyperchaotic systems, and then compared with the results obtained coupling symmetrically two Takens–Bogdanov systems (TBS) which represent a bifurcation in Codimension 2 (a ...
Gerard Vidal, Héctor Mancini
openaire +2 more sources
Journal of Parallel and Distributed Computing, 2013
Most published concurrent data structures which avoid locking do not provide any fairness guarantees. That is, they allow processes to access a data structure and complete their operations arbitrarily many times before some other trying process can complete a single operation. Such a behavior can be prevented by enforcing fairness.
openaire +1 more source
Most published concurrent data structures which avoid locking do not provide any fairness guarantees. That is, they allow processes to access a data structure and complete their operations arbitrarily many times before some other trying process can complete a single operation. Such a behavior can be prevented by enforcing fairness.
openaire +1 more source
Synchronous Multiparty Synchronizations and Transactions
2008In this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism.
LANESE, IVAN, MELGRATTI H.
openaire +1 more source
Synchronization analysis for synchronized diving videos
2008 IEEE International Conference on Multimedia and Expo, 2008The judgements in some sports competitions are subjective tasks, especially in competitions with high requirements on skills, which could lead to unfair results. Synchronized diving is such a skillful competition. Using computer to judge competitions automatically or assist referees to judge can effectively decrease the unfair results.
Haoyang Ding +3 more
openaire +1 more source