標(biāo)題: Titlebook: Object Orientation with Parallelism and Persistence; Burkhard Freitag,Cliff B. Jones,Hans-J?rg Schek Book 1996 Kluwer Academic Publishers [打印本頁] 作者: 請回避 時(shí)間: 2025-3-21 19:12
書目名稱Object Orientation with Parallelism and Persistence影響因子(影響力)
書目名稱Object Orientation with Parallelism and Persistence影響因子(影響力)學(xué)科排名
書目名稱Object Orientation with Parallelism and Persistence網(wǎng)絡(luò)公開度
書目名稱Object Orientation with Parallelism and Persistence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Object Orientation with Parallelism and Persistence被引頻次
書目名稱Object Orientation with Parallelism and Persistence被引頻次學(xué)科排名
書目名稱Object Orientation with Parallelism and Persistence年度引用
書目名稱Object Orientation with Parallelism and Persistence年度引用學(xué)科排名
書目名稱Object Orientation with Parallelism and Persistence讀者反饋
書目名稱Object Orientation with Parallelism and Persistence讀者反饋學(xué)科排名
作者: REP 時(shí)間: 2025-3-21 23:14
Dimitrios Tombros,Andreas Geppert,Klaus R. Dittrich作者: LOPE 時(shí)間: 2025-3-22 03:28 作者: CIS 時(shí)間: 2025-3-22 07:43 作者: 放縱 時(shí)間: 2025-3-22 12:13
Bart Jacobsden Einsatz eines Rechner-Steuerungssystem vorteilhaft erscheinen l??t. Es wird hier ein Terrain betreten, welches bislang als Dom?ne der konventionellen NC-Steuerung galt. Ausgehend von diesem so abgesteckten Steuerungsbereich, in dem sich das CNC-System unmi?verst?ndlich als Alternative zur konven作者: 焦慮 時(shí)間: 2025-3-22 16:01
Correct Transformational Design of Concurrent Search Structures,rectness criterion. In this paper, we use the underlying process calculus semantics of the object-based approach in order to formalise a notion of correctness, as motivated from the database view on concurrent search structures, and show its application to a known example program transformation.作者: 糾纏,纏繞 時(shí)間: 2025-3-22 19:21 作者: mitral-valve 時(shí)間: 2025-3-23 00:14 作者: Keratectomy 時(shí)間: 2025-3-23 01:39 作者: interior 時(shí)間: 2025-3-23 09:33
Coordination as Negotiated Transactions, for sequentializing the tasks in an appropriate order (the “when” part), it requires some form of synchronization. We claim that these two aspects, negotiation and synchronization, can be elegantly supported in a rule-based framework by two mechanisms which, in the past, have been successfully inte作者: 評論者 時(shí)間: 2025-3-23 11:02 作者: 阻撓 時(shí)間: 2025-3-23 17:46 作者: 殖民地 時(shí)間: 2025-3-23 18:28 作者: Amendment 時(shí)間: 2025-3-23 22:46
https://doi.org/10.1007/978-1-4613-1437-0code; communication; constraint; database; databases; design; information; language; object; object orientati作者: GEM 時(shí)間: 2025-3-24 06:21
978-1-4612-8625-7Kluwer Academic Publishers 1996作者: mechanical 時(shí)間: 2025-3-24 09:29 作者: MILK 時(shí)間: 2025-3-24 11:13 作者: 哺乳動物 時(shí)間: 2025-3-24 16:01 作者: 我正派 時(shí)間: 2025-3-24 20:34
Bart Jacobsn Proze?steuerung in seiner Grundkonzeption, unter Nennung dessen spezifischer Vorzüge und Nachteile, werden einerseits die Grenzen, aber auch die eindrucksvolle Breite der Einsatzm?glichkeiten eines solchen Systems sichtbar, andererseits wird deutlich, da? einer solchen Steuerung ein ?quivalentes P作者: Complement 時(shí)間: 2025-3-25 02:23
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Sence inherent with concurrency. The semantics of a particular object-based design language have been written using operational semantics and by a mapping to the first-order polyadic π-calculus. This paper focuses on the operational semantics and indicates how proofs of some key properties about inte作者: 逗留 時(shí)間: 2025-3-25 06:34
Correct Transformational Design of Concurrent Search Structures, is achieved by admitting internal concurrency. Concurrent operations behave correctly when they conform with the observable I/O-behaviour of their sequential counterparts..The correct design of concurrent search structures has also been proposed and studied in an object-based language setting. Ther作者: Comedienne 時(shí)間: 2025-3-25 07:29 作者: prostatitis 時(shí)間: 2025-3-25 15:11 作者: 止痛藥 時(shí)間: 2025-3-25 18:05
Objects And Classes, Co-Algebraically,r as models (implementations) of co-algebraic specifications. These specifications are much like deferred (or virtual) classes with assertions in Eiffel. An object belonging to a class is an element of the state space of the class, as co-algebra. We show how terminal co-algebras of co-algebraic spec作者: 小臼 時(shí)間: 2025-3-25 20:15 作者: 藐視 時(shí)間: 2025-3-26 03:44 作者: 深淵 時(shí)間: 2025-3-26 06:58 作者: 是突襲 時(shí)間: 2025-3-26 09:04 作者: Living-Will 時(shí)間: 2025-3-26 12:49 作者: Polydipsia 時(shí)間: 2025-3-26 16:57
,There’s Nothing Like Shared Nothing,erver computing. Recently, however, the OD MS research community has been investigating parallel computing technology. The nature of their research prototypes and simulation models indicate that the favoured parallel ODMS architecture is ‘shared-nothing’, an architecture much discussed in the contex作者: 數(shù)量 時(shí)間: 2025-3-26 22:10 作者: 徹底檢查 時(shí)間: 2025-3-27 04:01 作者: Irrigate 時(shí)間: 2025-3-27 06:42 作者: Eructation 時(shí)間: 2025-3-27 10:11
Design and Implementation of Process-Oriented Environments with Brokers and Services,onmental stimuli and are used to model participating entities in CPEs: human participants, existing software tools, or parts of the environment infrastructure. Services model the functionality offered by brokers that provide a high-level application development abstraction on top of active object-oriented database management systems.作者: SIT 時(shí)間: 2025-3-27 16:49 作者: Affection 時(shí)間: 2025-3-27 21:20
Modal-,-Maude: Specification and Properties of Concurrent Objects, to find classes of properties preserved by Maude’s inheritance relation. Secondly, we demonstrate how to employ abstraction in the verification of object-oriented specifications of distributed systems.作者: 英寸 時(shí)間: 2025-3-27 23:04
,There’s Nothing Like Shared Nothing,othing as a hardware architecture, there certainly is not a consensus now. Even as a software architecture for database systems, shared-nothing is far from being the consensus..We conclude that ODMS researchers interested in parallel computing may well want to ‘shop around’ before committing themselves to a particular architectural approach.作者: PIZZA 時(shí)間: 2025-3-28 04:34
Book 1996aises hopes for increased productivity ofsoftware generation and maintenance methods. Parallelism can serve tostructure a problem but also promises faster program execution. .The two areas of computing science in which these paradigms play themost prominent role are programming languages and databas作者: Anticlimax 時(shí)間: 2025-3-28 07:36 作者: 不要不誠實(shí) 時(shí)間: 2025-3-28 13:08
Introduction,munity, they have jobs and careers. They fall in love, have sexual relationships, bear children, have friendships, and have the same needs to visit these friends, go to the cinema or go out for a meal. In order to do these things, however, they often have to show considerable strength of purpose in 作者: 拱墻 時(shí)間: 2025-3-28 17:43
From Protologic to Expanded ProtologicFULL, developed using Ergo, a generalised sequent calculus style theorem prover allowing interactive proofs. This allows exploitation of the underlying . transition system and reasoning about symbolic values.作者: 輕率看法 時(shí)間: 2025-3-28 18:55
Introduction — Boom, Bust and Recoveryitalists had become rock stars of the global finance-driven economy. Now their action was testing the very foundations of Europe’s financial system. A domino effect threatened. Half a decade later, Iceland was, however, already well on the road to recovery, with greater growth and less unemployment than most European states.作者: Musculoskeletal 時(shí)間: 2025-3-29 01:57 作者: BARB 時(shí)間: 2025-3-29 06:16 作者: 圍巾 時(shí)間: 2025-3-29 07:55 作者: cumulative 時(shí)間: 2025-3-29 13:53
A unified formalism for landmark based representation of maps and navigation plans,l agent giving directions on the basis of his own experience/knowledge. The major contribution of this map model and the associated navigation method lies in the framework which unifies these three different points of view. This unification enables the agent to make no distinction in terms of follow作者: visceral-fat 時(shí)間: 2025-3-29 15:58
the biological effect. Therefore although the . isomers are ineffective as anti-tumour drugs their reactions with macro-molecules are of great interest and comparative studies should always be made where possible.作者: countenance 時(shí)間: 2025-3-29 20:32 作者: AGONY 時(shí)間: 2025-3-30 02:03 作者: 無目標(biāo) 時(shí)間: 2025-3-30 07:51
