Works matching DE "CONCURRENT Aggregates (Computer program language)"
Results: 19
A New Optimistic Concurrency Control in Valid XML.
- Published in:
- Journal of Information Science & Engineering, 2009, v. 25, n. 1, p. 11
- By:
- Publication type:
- Article
State-Optimal Alternator for Uniform Synchronous Rings1Some of the results in this paper were published at the 19th International Conference on Advanced Information Networking and Applications, pp. 847–852, 2005.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 341, doi. 10.1093/comjnl/bxl085
- By:
- Publication type:
- Article
Interfacing external CA systems for Grobner bases computation in Mizar proof checking.
- Published in:
- International Journal of Computer Mathematics, 2010, v. 87, n. 1, p. 1, doi. 10.1080/00207160701864459
- By:
- Publication type:
- Article
Distributed Caml Light.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 5, p. 564
- By:
- Publication type:
- Article
Merged processes: a new condensed representation of Petri net behaviour.
- Published in:
- Acta Informatica, 2006, v. 43, n. 5, p. 307, doi. 10.1007/s00236-006-0023-y
- By:
- Publication type:
- Article
Model checking unbounded concurrent lists.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 375, doi. 10.1007/s10009-015-0369-y
- By:
- Publication type:
- Article
Abstraction-guided synthesis of synchronization.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 413, doi. 10.1007/s10009-012-0232-3
- By:
- Publication type:
- Article
Advances in noise-based testing of concurrent software.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 3, p. 272, doi. 10.1002/stvr.1546
- By:
- Publication type:
- Article
Preface to the Special Issue on intelligent distributed computing.
- Published in:
- Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 6, p. 555, doi. 10.1002/cpe.1851
- By:
- Publication type:
- Article
A multi-grained distributed implementation of the parallel Block Conjugate Gradient algorithm.
- Published in:
- Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 15, p. 2053, doi. 10.1002/cpe.1548
- By:
- Publication type:
- Article
A transformation-based approach to testing concurrent programs using UML activity diagrams.
- Published in:
- Software: Practice & Experience, 2016, v. 46, n. 4, p. 551, doi. 10.1002/spe.2324
- By:
- Publication type:
- Article
Concurrency Paradigms: Competitive, Coordinated, and Collaborative: Which Control Mechanisms are Appropriate?
- Published in:
- International Journal of Parallel Programming, 2016, v. 44, n. 2, p. 325, doi. 10.1007/s10766-015-0370-9
- By:
- Publication type:
- Article
Visualisation of concurrent processes.
- Published in:
- Control & Cybernetics, 2013, v. 42, n. 3, p. 699
- By:
- Publication type:
- Article
Concurrent document hierarchies in MECS and SGML.
- Published in:
- Literary & Linguistic Computing, 1999, v. 14, n. 1, p. 29, doi. 10.1093/llc/14.1.29
- By:
- Publication type:
- Article
Incremental Integration Testing of Concurrent Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 6, p. 607, doi. 10.1109/TSE.2002.1010062
- By:
- Publication type:
- Article
Turn-Taking and Concurrent Dyad Practice Aid Efficiency but not Effectiveness of Motor Learning in a Balance-Related Task.
- Published in:
- Journal of Motor Learning & Development, 2018, v. 6, n. 1, p. 35, doi. 10.1123/jmld.2017-0029
- By:
- Publication type:
- Article
Generating Exact Approximations to Model Check Concurrent Systems.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2008, v. 5, n. 4, p. 137
- By:
- Publication type:
- Article
Supporting Fine-Grained Concurrent Tasks and Personal Workspaces for a Hybrid Concurrency Control Mechanism in a Networked Virtual Environment.
- Published in:
- PRESENCE: Teleoperators & Virtual Environments, 2012, v. 21, n. 4, p. 452, doi. 10.1162/PRES_a_00127
- By:
- Publication type:
- Article
Disorder Analytic Model-Based CMT Algorithms in Vehicular Sensor Networks.
- Published in:
- International Journal of Distributed Sensor Networks, 2013, p. 1, doi. 10.1155/2013/460164
- By:
- Publication type:
- Article