Heterogeneous programming with concurrent objects

Proceedings of the 1997 ACM symposium on Applied computing - SAC '97 ◽

10.1145/331697.332332 ◽

1997 ◽

Author(s):

V. K. Murthy ◽

E. V. Krishnamurthy

Keyword(s):

Concurrent Objects ◽

Heterogeneous Programming

Download Full-text

Formal modeling of synchronization methods for concurrent objects in Ada 95

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319325 ◽

1999 ◽

Author(s):

Ravi K. Gedela ◽

Sol M. Shatz ◽

Haiping Xu

Keyword(s):

Formal Modeling ◽

Concurrent Objects ◽

Download Full-text

A control-flow analysis for a calculus of concurrent objects

IEEE Transactions on Software Engineering ◽

10.1109/32.859531 ◽

2000 ◽

Vol 26 (7) ◽

pp. 617-634 ◽

Author(s):

P. di Blasio ◽

K. Fisher ◽

C. Talcott

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Concurrent Objects ◽

Control Flow Analysis

Download Full-text

Reasoning about concurrent objects

Proceedings 1995 Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1995.496957 ◽

2002 ◽

Author(s):

H.W. Schmidt ◽

J. Chen

Keyword(s):

Concurrent Objects

Download Full-text

Heterogeneous Programming and Optimization of Gyrokinetic Toroidal Code Using Directives

Accelerator Programming Using Directives - Lecture Notes in Computer Science ◽

10.1007/978-3-030-12274-4_1 ◽

2019 ◽

pp. 3-21

Author(s):

Wenlu Zhang ◽

Wayne Joubert ◽

Peng Wang ◽

Bei Wang ◽

William Tang ◽

...

Keyword(s):

Heterogeneous Programming

Download Full-text

Modal-μ-Maude: Specification and Properties of Concurrent Objects

The Kluwer International Series in Engineering and Computer Science - Object Orientation with Parallelism and Persistence ◽

10.1007/978-1-4613-1437-0_3 ◽

1996 ◽

pp. 43-62 ◽

Author(s):

Ulrike Lechner ◽

Christian Lengauer

Keyword(s):

Concurrent Objects

Download Full-text

Axiomatic Characterization of Trace Reachability for Concurrent Objects

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_9 ◽

2019 ◽

pp. 157-174

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Axiomatic Characterization ◽

Concurrent Objects

Download Full-text

Transactional Monitors for Concurrent Objects

ECOOP 2004 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24851-4_24 ◽

2004 ◽

pp. 518-541 ◽

Author(s):

Adam Welc ◽

Suresh Jagannathan ◽

Antony L. Hosking

Keyword(s):

Concurrent Objects

Download Full-text

Developing adaptive multi-device applications with the Heterogeneous Programming Library

The Journal of Supercomputing ◽

10.1007/s11227-014-1352-1 ◽

2015 ◽

Vol 71 (6) ◽

pp. 2204-2220 ◽

Author(s):

Moisés Viñas ◽

Zeki Bozkus ◽

Basilio B. Fraguela ◽

Diego Andrade ◽

Ramón Doallo

Keyword(s):

Programming Library ◽

Device Applications ◽

Heterogeneous Programming

Download Full-text

Embedded heterogeneous programming with OpenCL

Embedded Systems ◽

10.1016/b978-0-12-800342-8.00005-5 ◽

2016 ◽

pp. 187-231

Author(s):

Jason D. Bakos

Keyword(s):

Heterogeneous Programming

Download Full-text

Lock-Based Concurrent Objects

Concurrent Programming: Algorithms, Principles, and Foundations ◽

10.1007/978-3-642-32027-9_3 ◽

2012 ◽

pp. 61-109

Author(s):

Michel Raynal

Keyword(s):

Concurrent Objects

Download Full-text