Výsledky vyhledávání - Concurrent object-oriented programming

Channels as Objects in Concurrent Object-Oriented Programming Autor Campos, Joana, Vasconcelos, Vasco T.

“… adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types…”
Získat plný text

BCOOPL: Basic concurrent object-oriented programming language Autor de Bruin, Hans

“…A small, object‐oriented language is introduced: BCOOPL (Basic Concurrent Object…”
Získat plný text

Concurrent object-oriented programming Autor Meyer, B.

Získat plný text

Channels as Objects in Concurrent Object-Oriented Programming Autor Campos, Joana, Vasconcelos, Vasco T

“… adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types…”
Získat plný text

Dynamic detection of atomic-set-serializability violations Autor Hammer, C., Dolby, J., Vaziri, M., Tip, F.

“… are declared. We also proposed atomic-set serializability as a correctness criterion for concurrent programs, stating that units of work must be serializable for each atomic set…”
Získat plný text

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems Autor Kang, Byeongjee, Bae, Kyungmin

“… explosion problem and implicit constraints imposed on object-oriented systems. This paper proposes a heuristic search approach for narrowing-based reachability analysis to guide the search for counterexamples with a small number of objects…”
Získat plný text

On the Benefits of Using Object-Oriented Programming for the Objective Evaluation of Vehicle Dynamic Performance in Concurrent Simulations Autor Perrelli, Michele, Cosco, Francesco, Carbone, Giuseppe, Lenzo, Basilio, Mundo, Domenico

“…Assessing passenger cars’ dynamic performance is a critical aspect for car industries, due to its impact on the overall vehicle safety evaluation and the…”
Získat plný text

An efficient and flexible C++ library for concurrent programming Autor Poggi, Agostino, Rimassa, Giovanni

“…A major problem for the integration of concurrency in object‐oriented languages is the so…”
Získat plný text

Evaluating high level parallel programming support for irregular applications in ICC++ Autor Chien, Andrew A., Dolby, Julian, Gangul, Bishwaroop, Karamcheti, Vijay, Zhang, Xingbin

“…‐level concurrent object‐oriented programming model) and an aggressive implementation (whole program compilation plus microsecond threading and communication primitives in the runtime…”
Získat plný text

Concurrent object-oriented programming for distributed real-time systems Autor Katsumi Maruyama

“…Concurrent object-oriented programming is becoming an important programming paradigm in real-time system implementations, because it can effectively integrate object-oriented programming, concurrent…”
Získat plný text

Visual Programming of Concurrent Object-Oriented Systems Autor PHILIPPI, STEPHAN

“… Despite their potential, only few of the existing object-oriented Petri-Net proposals support the seamless development of systems ranging from high-level analysis to visual programming…”
Získat plný text

Concurrent object-oriented programming using term graph rewriting techniques Autor Papadopoulos, George A.

“…The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel…”
Získat plný text

Clear separation and combination of synchronization constraint for concurrent object oriented programming Autor Yasutake, Y., Masuyama, Y., Oda, K., Yoshida, T.

“…This paper presents a language framework for a concurrent description and an implementation of a synchronization mechanism in distributed object-oriented computation…”
Získat plný text

Concurrent object-oriented programming for distributed real-time systems : Parallel object-oriented programming Autor MARUYAMA, K

Získat plný text

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language Autor Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

“…—potentially affecting behavioural and safety properties of existing programs. This is exemplified by Scoop , a message-passing approach to concurrent object-oriented…”
Získat plný text

Concert-efficient runtime support for concurrent object-oriented programming languages on stock hardware Autor Karamcheti, V., Chien, A.

“…Inefficient implementations of global namespaces, message passing, and thread scheduling on stock multicomputers have prevented concurrent object-oriented programming (COOP…”
Získat plný text

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages Autor Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

“… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier" than using traditional thread libraries…”
Získat plný text

The ClassiC programming language and design of synchronous concurrent object oriented languages Autor Newman, R.M

“…Many real-time systems make use of concurrent programming systems and are often designed using object oriented design methods…”
Získat plný text

Beyond contracts for concurrency Autor Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd

“…SCOOP is a concurrent programming language with a new semantics for contracts that applies equally well in concurrent and sequential contexts…”
Získat plný text

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming Autor Todoran, E.N., Gherman, N.

“…In this paper we present a semantic interpreter which implements a dynamic denotational semantics for a small experimental concurrent object-oriented language that we call JoPool…”
Získat plný text