派博傳思國際中心

標(biāo)題: Titlebook: Object-Based Concurrent Computing; ECOOP ‘91 Workshop, M. Tokoro,O. Nierstrasz,P. Wegner Conference proceedings 1992 Springer-Verlag Berli [打印本頁]

作者: 古生物學(xué) 時(shí)間: 2025-3-21 17:26
書目名稱Object-Based Concurrent Computing影響因子(影響力)

書目名稱Object-Based Concurrent Computing影響因子(影響力)學(xué)科排名

書目名稱Object-Based Concurrent Computing網(wǎng)絡(luò)公開度

書目名稱Object-Based Concurrent Computing網(wǎng)絡(luò)公開度學(xué)科排名

書目名稱Object-Based Concurrent Computing被引頻次

書目名稱Object-Based Concurrent Computing被引頻次學(xué)科排名

書目名稱Object-Based Concurrent Computing年度引用

書目名稱Object-Based Concurrent Computing年度引用學(xué)科排名

書目名稱Object-Based Concurrent Computing讀者反饋

書目名稱Object-Based Concurrent Computing讀者反饋學(xué)科排名

作者: FLIC 時(shí)間: 2025-3-21 20:24
kwürdiger Zustand gewesen, wenn die weiblichen Verwandten und Bekannten der RTVer in einem fremden Verein k?rperliche Ausspannung und Ertüchtigung h?tten suchen müssen. Dieser Gedanke war es, der recht eigentlich Veranlassung zur Gründung unserer Damenriege gegeben hat.?

作者: FAR 時(shí)間: 2025-3-22 00:44

作者: 蘆筍 時(shí)間: 2025-3-22 07:24
Satoshi Matsuoka,Takuo Watanabe,Yuuji Ichisugi,Akinori Yonezawa

作者: Fierce 時(shí)間: 2025-3-22 10:40

作者: incarcerate 時(shí)間: 2025-3-22 16:41
Object-Based Concurrent Computing978-3-540-47260-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

作者: Endearing 時(shí)間: 2025-3-22 20:20
A sheaf semantics for FOOPS expressions (extended abstract),We present a sheaf semantics for concurrent method expression evaluation in FOOPS. Evaluations of functions, methods, and attributes are treated in a uniform way. General .-strategies for functions, methods, attributes, and method combiners are assumed.

作者: oracle 時(shí)間: 2025-3-23 00:52
Abstract description of distributed object systems,ic concepts . to represent entities and . as representations of communications between base objects. Objects are regarded as processes that can be observed. Based on these concepts we show how BOS can be uniformly described using an abstract language, the T.O.L-kernel.

作者: nonsensical 時(shí)間: 2025-3-23 03:46

作者: 辮子帶來幫助 時(shí)間: 2025-3-23 08:19

作者: Atrium 時(shí)間: 2025-3-23 11:48

作者: Perennial長(zhǎng)期的 時(shí)間: 2025-3-23 14:11

作者: 灰姑娘 時(shí)間: 2025-3-23 20:26
A unifying framework for process calculus semantics of concurrent object-oriented languages,d features, such as encapsulation, object identity, classes, inheritance and concurrency are captured. Then, the proposed framework is used for defining the semantics of significantly different versions of a toy language which supports the above features. The ease with which the different versions o

作者: 保守黨 時(shí)間: 2025-3-24 00:47

作者: 莊嚴(yán) 時(shí)間: 2025-3-24 06:12

作者: 山間窄路 時(shí)間: 2025-3-24 06:33
Trace semantics for actor systems,the reception of messages by objects, and a binary symmetric and irreflexive relation on events—independence—representing permissible concurrency. Causality, the dual notion of concurrency, is expressed by the dependence relation—the complement of independence. A particular execution of a system is

作者: 蔓藤圖飾 時(shí)間: 2025-3-24 13:13

作者: pus840 時(shí)間: 2025-3-24 15:11
Scheduling predicates,cution of operations based on relative arrival times, values of parameters, and built-in synchronisation counters..Since many synchronisation problems are, in fact, scheduling problems, these facilitate much simpler and clearer solutions to such problems. We also show that this mechanism subsumes an

作者: HEDGE 時(shí)間: 2025-3-24 19:38
A concurrency control mechanism for C++ objects,rent object-oriented languages supporting concurrency are studied. We observe that they generally fail to integrate concurrency without interference with other language behaviors. Then, we present a model of concurrency control for C++ objects, based on a concept called .. The support is split betwe

作者: Commodious 時(shí)間: 2025-3-25 00:27

作者: Fibroid 時(shí)間: 2025-3-25 05:44

作者: 培養(yǎng) 時(shí)間: 2025-3-25 09:44

作者: 單挑 時(shí)間: 2025-3-25 12:35

作者: Hormones 時(shí)間: 2025-3-25 16:06
Conference proceedings 1992asis was on conceptual,theoretical and formal aspects, as well aspractical aspectsand sound experience, since such a viewpoint wasdeemedindispensible to investigate and establish a basis forfuturedevelopment.This volume contains 12 papers selected from 25 presentedatthe workshop, together with a pap

作者: AGATE 時(shí)間: 2025-3-25 22:15
Towards an object calculus, relevant work in the area of process calculi. To this end, we briefly review some of this work, we pose some informal requirements for an object calculus, and we present the syntax, operational semantics and use through examples of a proposed object calculus, called OC.

作者: BLUSH 時(shí)間: 2025-3-26 02:02

作者: 揮舞 時(shí)間: 2025-3-26 04:48

作者: 無關(guān)緊要 時(shí)間: 2025-3-26 11:06
Formal techniques for parallel object-oriented languages,parallel object-oriented programs. Finally we survey the techniques that we are currently developing to describe the behaviour of objects independently of their implementation, leading to linguistic support for behavioural subtyping.

作者: Commodious 時(shí)間: 2025-3-26 14:02
A concurrency control mechanism for C++ objects,en an extension to the language and a code server. The language extension is discussed in regard to inheritance and component reusability. An implementation on a multiprocessor architecture is outlined.

作者: BIAS 時(shí)間: 2025-3-26 20:36

作者: 人類 時(shí)間: 2025-3-26 21:40

作者: formula 時(shí)間: 2025-3-27 01:25
Semantic layers of object-based concurrent computing,t descriptions rely on more concrete descriptions, all layers are not necessarily self-contained. By this scheme, information necessary for composition can be hidden away in abstract layers. Based on the layered semantics, each proof and reasoning should be performed in an appropriate level of abstraction.

作者: 注射器 時(shí)間: 2025-3-27 08:23