Filters








116,988 Hits in 4.5 sec

Efficient and reasonable object-oriented concurrency

Scott West, Sebastian Nanz, Bertrand Meyer
2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015  
This work provides an efficient execution model and implementation for SCOOP, a concurrency approach that provides not only data-race freedom but also pre/postcondition reasoning guarantees between threads  ...  Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming.  ...  This work focuses on SCOOP [3] , an object-oriented approach to concurrency that aims to make concurrent programming simpler by providing higher-level primitives that are more amenable to standard pre  ... 
doi:10.1145/2786805.2786822 dblp:conf/sigsoft/WestNM15 fatcat:r7mayd2r2za7fnwsrgomdg6pii

Efficient and Reasonable Object-Oriented Concurrency [article]

Scott West and Sebastian Nanz and Bertrand Meyer
2015 arXiv   pre-print
This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data race freedom but also pre/postcondition reasoning guarantees between threads.  ...  Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming.  ...  This work focuses on SCOOP [20] , an object-oriented approach to concurrency that aims to make concurrent programming simpler by providing higher-level primitives that are more amenable to standard programming  ... 
arXiv:1405.7153v2 fatcat:44agbdtgobbandmviz3poqqz7m

Towards reusable and modular aspect-oriented concurrency control

Sérgio Soares, Paulo Borba
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
This work defined guidelines to restructure object-oriented software in order to modularize concurrency control using aspect-oriented programming.  ...  Such increase demands the definition of methods for obtaining safe and efficient implementations of concurrent programs, since the complexity of implementation and tests in concurrent environments is bigger  ...  Such intuitive controls may have a negative impact on efficiency and may not guarantee system safety in concurrent environments.  ... 
doi:10.1145/1244002.1244281 dblp:conf/sac/SoaresB07 fatcat:qsphrx32tbdpbo6qslu7v6tcee

Object-oriented programming and parallelism: Introduction

A.A. Radenski
1996 Information Sciences  
Initially, object-orientation and parallelism originated and developed as separate and relatively independent areas.  ...  Many real-world objects perform concurrently with other objects, often forming distributed systems.  ...  This special issue would not be possible without the understanding and the 9 support of the editor-in-chief, Paul Wang.  ... 
doi:10.1016/0020-0255(96)00058-8 fatcat:aihobdwrnjailbfilvkrvxc6zq

Object-Oriented Programming for Wide-Area Computing [chapter]

Jayadev Misra
2000 IFIP Advances in Information and Communication Technology  
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming too!.  ...  Many of the programming concepts developed for databases, object-oriented programming and designs of reactive systems can be unified into a compact model of concurrent programs that can serve as the foundation  ...  images), and object-based concurrent programming has the potential to simplify designs of such applications.  ... 
doi:10.1007/978-0-387-35520-7_10 fatcat:xnxxmcsiw5dsfiffnn6jhx6f6m

Concurrent Object-Oriented Programming: The MP-Eiffel Approach

Miguel Oliveira e Silva
2004 Journal of Object Technology  
MP-Eiffel was designed attempting to include all the essential properties of both concurrent and object-oriented programming with simplicity and safety.  ...  This article evaluates several possible approaches for integrating concurrency into object-oriented programming languages, presenting afterwards, a new language named MP-Eiffel.  ...  In this article a new concurrent object-oriented programming language -MP-Eiffel -was introduced, taking special care to present the reasoning behind the choices made throughout all its mechanisms and  ... 
doi:10.5381/jot.2004.3.4.a6 fatcat:upk5hbpkqbblpcx52qy5a7ibba

Page 86 of American Society of Civil Engineers. Collected Journals Vol. 118, Issue CP1 [page]

1992 American Society of Civil Engineers. Collected Journals  
Thus, in an object-oriented approach, transactions consist of a set of operations on design objects that reason about their domain and have more semantics than just read or write.  ...  At the level of data types, object-oriented data-base management systems (OODBMS) present an opportunity to provide greater concurrency than more traditional approaches allow (Weihl 1988).  ... 

Design principles for highly reusable concurrent object-oriented systems

Emilio García-Roselló, José Ayude, José B. García-Schofield, Manuel Pérez-Cota
2002 Journal of Object Technology  
Designing a concurrent object oriented language isn't an easy task.  ...  After many years of research, the merging of concurrency and object oriented paradigms hasn't been achieved in a totally satisfactory way.  ...  The reason of this principle is to avoid interference between concurrent and functional features and thus improve reusability.  ... 
doi:10.5381/jot.2002.1.1.a3 fatcat:ukrrrs2qebdepcndthv4uvx2ku

Age-Oriented Concurrent Garbage Collection [chapter]

Harel Paz, Erez Petrank, Stephen M. Blackburn
2005 Lecture Notes in Computer Science  
On-the-fly collectors run concurrently with the program threads and induce very short program pauses.  ...  Finally, an implementation is provided demonstrating how the age-oriented collector outperforms both the non-generational and the generational collectors' efficiency.  ...  We thank Elliot (Hillel) Kolodner for helpful discussions, and Michael Philippsen for the numerous helpful remarks on improving the readability of this manuscript.  ... 
doi:10.1007/978-3-540-31985-6_9 fatcat:gvmsjjm7vfhgpgrymvqu7kzmm4

Object-oriented concurrent reflective languages can be implemented efficiently

Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa
1992 conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92  
We present efficient implementation schemes for object-oriented concurrent reflective languages using our language ABCL/R2 as an example.  ...  The schemes include: efficient lazy creation of metaobjects/meta-groups, partial compilation of scripts (methods), dynamic progression, self-reification, and light-weight objects, all appropriately integrated  ...  demonstrated in our past work in OOCR (Object-Oriented Concurrent Reflective) languages, such as ABCL/R and ACT/R[lS, 201.  ... 
doi:10.1145/141936.141948 dblp:conf/oopsla/MasuharaMWY92 fatcat:fcipfmr2fjelhldj7fxwptavti

Inefficient conjunction search made efficient by concurrent spoken delivery of target identity

Florencia Reali, Michael J. Spivey, Melinda J. Tyler, Joseph Terranova
2006 Perception & Psychophysics  
This uniquely salient object representation can then win the biased competition quickly and efficiently.  ...  For reasons similar to those in Experiments 1 and 2, the participants exhibited a mean RT approximately 1,250 msec longer in the A/V-concurrent condition than in the auditory-first control condition.  ...  It is worth noting that average speaking rates in English range from 3 to 6 syllables/sec, depending on the speaker and the circumstances (Arnfield, Roach, Setter, Greasley, & Horton, 1995) .  ... 
doi:10.3758/bf03193358 pmid:17153191 fatcat:kh2n64o4prgcdhpevnczfckjku

Software diversity as a way to well-structured concurrent software

A. B. Romanovsky
1995 ACM SIGOPS Operating Systems Review  
Subject: A.Romanovsky) Competitive and cooperative concurrency We assume that a system consists of components (programs, processes, tasks, threads, objects, etc.) which can be executed concurrently and  ...  We will follow the generalized classification of concurrent systems that is arrived at in [1] . Three categories of these are outlined here; they are independent, competing and cooperating systems.  ...  My thanks go to my Newcastle colleagues B.Randell, J.Xu, Z.Wu, R.Stroud and C.Calsavara.  ... 
doi:10.1145/206826.206848 fatcat:c3zrzvkytbhadlhkkq63gvea3q

Efficient data race and deadlock prevention in concurrent object-oriented programs

Piotr Nienaltowski
2004 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04  
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties  ...  Furthermore, an efficient methodology for deadlock prevention, avoidance, detection, and resolution will be developed. A working implementation of SCOOP will be provided.  ...  SCOOP (Simple Concurrent Object-Oriented Programming) was introduced by Bertrand Meyer as an extension of the Eiffel language.  ... 
doi:10.1145/1028664.1028695 dblp:conf/oopsla/Nienaltowski04 fatcat:f5zmh3isibg75deaw33nncrcom

Dimensions of object-based language design

Peter Wegner
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
One of the issues in object-oriented query languages is to make them efficient, so that the user does not pay in terms of efficiency for the flexibility provided by object-oriented programming. (3) Since  ...  Object-oriented languages must additionally support object classes and class inheritance: object-oriented language: An object-based language is object-oriented if its objects belong to classes and class  ... 
doi:10.1145/38765.38823 dblp:conf/oopsla/Wegner87 fatcat:4jengjyl45eg7cwoxsazbcfrmu

Dimensions of object-based language design

Peter Wegner
1987 SIGPLAN notices  
One of the issues in object-oriented query languages is to make them efficient, so that the user does not pay in terms of efficiency for the flexibility provided by object-oriented programming. (3) Since  ...  Object-oriented languages must additionally support object classes and class inheritance: object-oriented language: An object-based language is object-oriented if its objects belong to classes and class  ... 
doi:10.1145/38807.38823 fatcat:4iydpwjf4resfdqpva6wp7ah74
« Previous Showing results 1 — 15 out of 116,988 results