Filters








116,130 Hits in 4.9 sec

Typing Non-uniform Concurrent Objects [chapter]

António Ravara, Vasco T. Vasconcelos
2000 Lecture Notes in Computer Science  
We formalise non-uniform concurrent objects in TyCO, a name-passing object calculus, and ensure program safety via a type system.  ...  Therefore, types are partial specifications of the behaviour of objects, able to cope with non-uniform service availability.  ...  The Danish institute BRICS, the ENSEEIHT at Toulouse, and the Franco-Portugais project "Sémantique des objets concurrents" funded visits of the first author.  ... 
doi:10.1007/3-540-44618-4_34 fatcat:u7d2clsy2za77ic27ohxdxjpfi

Semantics of Objects As Processes (SOAP) [chapter]

Uwe Nestmann, António Ravara
1999 Lecture Notes in Computer Science  
It seems quite natural to have a liberal approach to potential errors in the context of non-uniform concurrent objects.  ...  In the beginning of the 90's, Nierstrasz argued that typing concurrent objects poses particular problems due to the non-uniform methods availability, since by synchronization constraints, the availability  ... 
doi:10.1007/3-540-46589-8_18 fatcat:njv6znlwo5f65fiw6ellpuovfm

Page 71 of FDCC Quarterly Vol. 3, Issue 1 [page]

1952 FDCC Quarterly  
Non-concurrencies of this type are met with sufficient frequency to warrant establishment of Industry-wide uniform rules of apportionment.  ...  As yet, no uniform rules of apportionment have been established to resolve non-concurrencies between primary insurance and reporting forms, such as those now commonly accepted for non-concurrent specific  ... 

Page 7399 of Mathematical Reviews Vol. , Issue 2001J [page]

2001 Mathematical Reviews  
Polytypic program derivations necessitate a general, non-inductive definition of ‘container (data) type’. Here we propose such a definition: a container type is a relator that has membership.  ...  We study uniform confluence in concurrent computation within the applica- 68P Theory of data 2001j:68024 tive core of the z-calculus which is widely used in different models of concurrent programming (  ... 

An Algebra of Behavioural Types

António Ravara, Pedro Resende, Vasco T. Vasconcelos
2012 Information and Computation  
We propose a process algebra, the Algebra of Behavioural Types, as a language for typing concurrent objects.  ...  A type is a higher-order labelled transition system that characterises all possible life cycles of a concurrent object.  ...  Nierstrasz argued that typing concurrent objects posed particular problems, due to the 'non-uniform service availability of concurrent objects'.  ... 
doi:10.1016/j.ic.2011.12.005 fatcat:u4ske5sttrf35kmzmqellvuyye

Dimensions of object-based language design

Peter Wegner
1987 SIGPLAN notices  
Does it make sense to have non-abstract strongly typed languages?  ...  Typed formalisms may discourage experimentation to such an extent that non-abstract objects are no longer useful.  ... 
doi:10.1145/38807.38823 fatcat:4iydpwjf4resfdqpva6wp7ah74

Dimensions of object-based language design

Peter Wegner
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
Does it make sense to have non-abstract strongly typed languages?  ...  Typed formalisms may discourage experimentation to such an extent that non-abstract objects are no longer useful.  ... 
doi:10.1145/38765.38823 dblp:conf/oopsla/Wegner87 fatcat:4jengjyl45eg7cwoxsazbcfrmu

Concurrent Object-Oriented Programming: The MP-Eiffel Approach

Miguel Oliveira e Silva
2004 Journal of Object Technology  
The type system is used to safely control the access to shared objects, with the introduction of two type modifiers: shared and remote.  ...  Concurrent access to objects use a readers-writer semantics, in which side-effect free accesses may occur simultaneously (the only acceptable form of intra-object concurrency), but at most only one writer  ...  For example, the uniform inter-object communication mechanism (feature call or message passing using Eiffel or SmallTalk terminology) can be reused in a concurrent system for either of the two types of  ... 
doi:10.5381/jot.2004.3.4.a6 fatcat:upk5hbpkqbblpcx52qy5a7ibba

The Non-Uniform School Education System In India: a Critical Analysis

Shreekrishna ., Ravindra D. Gadkar
2018 Journal of Advances and Scholarly Researches in Allied Education  
These two factors are providing non-uniform education in India. It leads to major inequalities among the students.  ...  These are the major disadvantages to get a uniform education.  ...  At this point, non-uniform in the school education system is examined. The paper objective is that uniform and quality education to every citizen of the country.  ... 
doi:10.29070/15/57921 fatcat:xvt3b67sovantopzkqw4o7j3ka

Query as Region Partition in Managing Moving Objects for Concurrent Continuous Query

Ming Qi, Guangzhong Sun, Yun Xu
2011 International Journal of Research in Computer Science  
as monitoring the objects of a certain region.  ...  Applications in location-based services rely on the efficient management of large scale moving objects, and one of the most important operations is real-time continuous query over moving objects, such  ...  The moving objects management contains mainly four types of operations: A where-am-I operation is to find the given location in the index, which is usually used in the object location update.  ... 
doi:10.7815/ijorcs.21.2011.008 fatcat:2rsgqziqkjf43hd75khyozopxq

Regular types for active objects

Oscar Nierstrasz
1993 SIGPLAN notices  
In particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types.  ...  We also propose a new notion of subtyping for active objects, based on Brinksma's notion of extension , that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability  ...  Existing notions of object types coming from a functional setting do not address the issues of non-uniform service availability or conformance to a service protocol.  ... 
doi:10.1145/167962.167976 fatcat:qkkwjwpcffg5tmmvokor2qhpmy

Regular types for active objects

Oscar Nierstrasz
1993 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '93  
In particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types.  ...  We also propose a new notion of subtyping for active objects, based on Brinksma's notion of extension , that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability  ...  Existing notions of object types coming from a functional setting do not address the issues of non-uniform service availability or conformance to a service protocol.  ... 
doi:10.1145/165854.167976 dblp:conf/oopsla/Nierstrasz93 fatcat:esxoc7tk5reltmsowhi3ns4s2u

Temporal Logic Based Static Analysis for Non-uniform Behaviours [chapter]

Matthias Colin, Xavier Thirioux, Marc Pantel
2003 Lecture Notes in Computer Science  
The main purpose of our work is the typing of concurrent, distributed and mobile programs based on the actor programming model, that is non-uniform behaviour concurrent objects communicating by asynchronous  ...  We focus on non uniform input interfaces for processes, and then define a temporal logic tailored to their description and analyses.  ...  Type systems for concurrent objects and actors, with uniform or non-uniform behaviours, have been the subject of active research in the last years ( [RV00] , [Nie95] , [Kob97] , [Pun96] , [NNS99]  ... 
doi:10.1007/978-3-540-39958-2_7 fatcat:cpff3qvrojeahkmjibyjvoymc4

Wireless sensor network application programming and simulation system

Zivanov Zarko, Rakic Predrag, Hajdukovic Miroslav
2008 Computer Science and Information Systems  
Main contribution of our project is uniform object oriented programming model with predefined basic concurrency abstractions.  ...  Main contribution, in this paper, is uniform object oriented programming model with predefined basic concurrency abstractions.  ...  We are developing uniform programming model suitable for both types of platforms: preemptive and non-preemptive. Our programming model is inspired by COLIBROS operating system [20] , [21] .  ... 
doi:10.2298/csis0801110z fatcat:nbh4abv46vc4zgvbyspxfdldju

Adaptive Algorithms Using Bounded Memory Are Inherently Non-uniform [chapter]

Burkhard Englert
2006 Lecture Notes in Computer Science  
On the positive side we provide algorithms that implement a long-lived uniform adaptive splitter if unbounded registers are available and that implement a non-uniform adaptive splitter with finitely many  ...  In these settings adaptive and uniform algorithms are desirable where the step complexity of all operations is a function of the number of concurrently participating processes (adaptive) and the algorithm  ...  Implementation possible ∞-many bounded reg., uniform impl. No Fin. many bounded reg, N known, non-uniform impl. Yes ∞-many unbounded reg., uniform impl.  ... 
doi:10.1007/11946441_39 fatcat:3rfxl55sqvcfnizkgjfln4djbu
« Previous Showing results 1 — 15 out of 116,130 results