Suchergebnisse - concurrent object-oriented programming*

Channels as Objects in Concurrent Object-Oriented Programming von 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 …”
Volltext

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

“… A small, object‐oriented language is introduced: BCOOPL (Basic Concurrent Object …”
Volltext

Channels as Objects in Concurrent Object-Oriented Programming von 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 …”
Volltext

Dynamic detection of atomic-set-serializability violations von 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 …”
Volltext

Concurrent object-oriented programming von Meyer, B.

Volltext

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

“… A major problem for the integration of concurrency in object‐oriented languages is the so …”
Volltext

Evaluating high level parallel programming support for irregular applications in ICC++ von 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 …”
Volltext

Concurrent object-oriented programming for distributed real-time systems von 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 …”
Volltext

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

“… Inefficient implementations of global namespaces, message passing, and thread scheduling on stock multicomputers have prevented concurrent object-oriented programming (COOP …”
Volltext

Concurrent object-oriented programming using term graph rewriting techniques von 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 …”
Volltext

Visual Programming of Concurrent Object-Oriented Systems von 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 …”
Volltext

On the Benefits of Using Object-Oriented Programming for the Objective Evaluation of Vehicle Dynamic Performance in Concurrent Simulations von 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 …”
Volltext

Clear separation and combination of synchronization constraint for concurrent object oriented programming von 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 …”
Volltext

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

Volltext

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language von 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 …”
Volltext

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages von 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 …”
Volltext

Beyond contracts for concurrency von 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 …”
Volltext

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

“… Many real-time systems make use of concurrent programming systems and are often designed using object oriented design methods …”
Volltext

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming von 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 …”
Volltext

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems von 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 …”
Volltext