Search Results - "Concurrent Aggregates (Computer program language)"

Concurrency Paradigms: Competitive, Coordinated, and Collaborative: Which Control Mechanisms are Appropriate?

Authors: Gentleman, W.¹ Morven.Gentleman@dal.ca

Source: International Journal of Parallel Programming. Apr2016, Vol. 44 Issue 2, p325-336. 12p.

Subjects: Parallel programming, Concurrent Aggregates (Computer program language), Turing machines, Computer programming, Computer simulation

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion.

Authors: ALGLAVE, JADE KROENING, DANIEL POETZL, DANIEL et al.

Source: ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p6-6:38, 38p

System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction.

Authors: Urdahl, Joakim Stoffel, Dominik Wedler, Markus et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p334-343, 10p, 9 Diagrams, 1 Chart

A New Optimistic Concurrency Control in Valid XML.

Authors: CHANGWOO BYUN ILKOOK YUN SEOG PARK

Source: Journal of Information Science & Engineering. Jan2009, Vol. 25 Issue 1, p11-31. 21p. 9 Diagrams, 4 Charts, 3 Graphs.

Subjects: Concurrent Aggregates (Computer program language), XML (Extensible Markup Language), Computer users, QUERY (Information retrieval system), Algorithms

Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.

Authors: Gastin, Paul Kuske, Dietrich

Source: Fundamenta Informaticae. 2007, Vol. 80 Issue 1-3, p169-197. 29p. 1 Diagram.

Subjects: Logic, Concurrent Aggregates (Computer program language), Distributed computing, Mathematics, Programming languages

The Decent Philosophers: An Exercise in Concurrent Behaviour.

Authors: Reisig, Wolfgang¹ reisig@informatik.hu-berlin.de

Source: Fundamenta Informaticae. 2007, Vol. 80 Issue 1-3, p273-281. 9p. 10 Diagrams.

Subjects: Distributed computing, Concurrent Aggregates (Computer program language), Philosophers, Programming languages, Computer networks

Disorder Analytic Model-Based CMT Algorithms in Vehicular Sensor Networks.

Authors: Changqiao Xu Xiangzhou Xia Jianfeng Guan et al.

Source: International Journal of Distributed Sensor Networks. 2013, p1-11. 11p.

Subjects: Vehicular ad hoc networks, Concurrent Aggregates (Computer program language), Heterogeneity, Traffic engineering, Road safety measures

A transformation-based approach to testing concurrent programs using UML activity diagrams.

Authors: Sun, Chang‐ai Zhao, Yan Pan, Lin et al.

Source: Software: Practice & Experience; Apr2016, Vol. 46 Issue 4, p551-576, 26p

Turn-Taking and Concurrent Dyad Practice Aid Efficiency but not Effectiveness of Motor Learning in a Balance-Related Task.

Authors: Karlinsky, April Hodges, Nicola J.

Source: Journal of Motor Learning & Development. Jun2018, Vol. 6 Issue 1, p35-52.

Element of Interaction :Touring Award Lecture.

Authors: Milner, Robin¹

Source: Communications of the ACM. Jan1993, Vol. 36 Issue 1, p78-89. 12p.

Subjects: Concurrent Aggregates (Computer program language), Information theory, Computer software, Comparative linguistics, Semantics, Programming languages

Advances in noise-based testing of concurrent software.

Authors: Fiedor, J. Hrubá, V. Křena, B. et al.

Source: Software Testing: Verification & Reliability; May2015, Vol. 25 Issue 3, p272-309, 38p

Visualisation of concurrent processes.

Authors: Mikulski, Łukasz Piątkowski, Marcin

Source: Control & Cybernetics; 2013, Vol. 42 Issue 3, p699-725, 27p

Supporting Fine-Grained Concurrent Tasks and Personal Workspaces for a Hybrid Concurrency Control Mechanism in a Networked Virtual Environment.

Authors: Jun Lee Mingyu Lim Hyung Seok Kim et al.

Source: PRESENCE: Teleoperators & Virtual Environments; Aug2012, Vol. 21 Issue 4, p452-469, 18p

Interfacing external CA systems for Grobner bases computation in Mizar proof checking.

Authors: Naumowicz, Adam¹, adamn@mizar.org

Source: International Journal of Computer Mathematics; Jan2010, Vol. 87 Issue 1, p1-11, 11p, 1 Chart

Levels of Persistency in Place/Transition Nets.

Authors: Barylska, Kamila Ochmański, Edward

Source: Fundamenta Informaticae; 2009, Vol. 93 Issue 1-3, p33-43, 11p, 3 Diagrams

Integration of candidate hash trees in concurrent processing of frequent itemset queries using Apriori.

Authors: Grudziński1, Przemyslaw Wojciechowski, Marek

Source: Control & Cybernetics; Mar2009, Vol. 38 Issue 1, p47-65, 19p, 3 Diagrams, 2 Charts, 8 Graphs

Generating Exact Approximations to Model Check Concurrent Systems.

Authors: Bourahla, Mustapha¹

Source: International Arab Journal of Information Technology (IAJIT); Oct2008, Vol. 5 Issue 4, p137-145, 9p, 7 Diagrams

Merged processes: a new condensed representation of Petri net behaviour.

Authors: Khomenko, Victor Kondratyev, Alex Koutny, Maciej et al.

Source: Acta Informatica; Dec2006, Vol. 43 Issue 5, p307-330, 24p, 7 Diagrams, 2 Charts

Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2015.

Authors: Czaja, Ludwik Penczek, Wojciech Stencel, Krzysztof

Source: Fundamenta Informaticae. 2016, Vol. 147 Issue 2-3, pi-iii. 3p.

Subjects: Concurrent Aggregates (Computer program language), Computer programming, Programming languages, Heuristic, Information storage & retrieval systems

Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for shared variable concurrency.

Authors: Benveniste, A. Caillaud, B. Nickovic, D. et al.

Source: Foundations & Trends in Electronic Design Automation. 2018, Vol. 12 Issue 2/3, p219-224. 6p.

Subjects: Concurrent Aggregates (Computer program language), Suretyship & guaranty, Contracts, Mathematical models, Imperative programming, Mathematical variables, Mathematical symmetry, Benveniste, Albert, Nickovic, Dejan