Works matching DE "CONCURRENT Aggregates (Computer program language)"

Results: 19

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:

Gentleman, W.

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:

Karlinsky, April;
Hodges, Nicola J.

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:

Naumowicz, Adam

Publication type:

Article

Visualisation of concurrent processes.

Published in:

Control & Cybernetics, 2013, v. 42, n. 3, p. 699

By:

Mikulski, Łukasz;
Piątkowski, Marcin

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:

Sperberg-McQueen, CM;
Huitfeldt, C

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:

Sun, Chang‐ai;
Zhao, Yan;
Pan, Lin;
He, Xiao;
Towey, Dave

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:

Tzong-Jye Liu

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:

Fiedor, J.;
Hrubá, V.;
Křena, B.;
Letko, Z.;
Ur, S.;
Vojnar, T.

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:

Sethi, Divjyot;
Talupur, Muralidhar;
Malik, Sharad

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:

Vechev, Martin;
Yahav, Eran;
Yorsh, Greta

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:

Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter

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:

Changqiao Xu;
Xiangzhou Xia;
Jianfeng Guan;
Hongke Zhang;
Gabriel-Miro Muntean

Publication type:

Article

Distributed Caml Light.

Published in:

International Review on Computers & Software, 2008, v. 3, n. 5, p. 564

By:

Merah, E.;
Chaoui, A.

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:

Bădică, Costin;
Menezes, Ronaldo

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:

Murli, A.;
D'Amore, L.;
Laccetti, G.;
Gregoretti, F.;
Oliva, G.

Publication type:

Article

A New Optimistic Concurrency Control in Valid XML.

Published in:

Journal of Information Science & Engineering, 2009, v. 25, n. 1, p. 11

By:

CHANGWOO BYUN;
ILKOOK YUN;
SEOG PARK

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:

Bourahla, Mustapha

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:

Jun Lee;
Mingyu Lim;
Hyung Seok Kim;
Jee-In Kim

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:

Koppol, Pramod V.;
Carver, H.;
Kuo-Chung Tai

Publication type:

Article