書目名稱Object-Based Parallel and Distributed Computation影響因子(影響力)學(xué)科排名
書目名稱Object-Based Parallel and Distributed Computation網(wǎng)絡(luò)公開(kāi)度
書目名稱Object-Based Parallel and Distributed Computation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Object-Based Parallel and Distributed Computation被引頻次
書目名稱Object-Based Parallel and Distributed Computation被引頻次學(xué)科排名
書目名稱Object-Based Parallel and Distributed Computation年度引用
書目名稱Object-Based Parallel and Distributed Computation年度引用學(xué)科排名
書目名稱Object-Based Parallel and Distributed Computation讀者反饋
書目名稱Object-Based Parallel and Distributed Computation讀者反饋學(xué)科排名
作者: 充滿人 時(shí)間: 2025-3-21 21:08
Polymorphic matrices in paladin,tant to undertake the porting of their application programs onto such machines. The DCS commercially available today are indeed widely believed to be difficult to use, which should not be a surprise since they are traditionally programmed with software tools dating back to the days of punch cards an作者: Rodent 時(shí)間: 2025-3-22 04:01
Programming and debugging for massive parallelism: The case for a parallel object-oriented languageguage facilities, such as the static definition and dynamic creation of massively parallel objects, asynchronous message passing of past, now, and future types and their multicast versions, and declarative synchronization schemes. . requires special support for verifying the behavior of asynchronous作者: 悲痛 時(shí)間: 2025-3-22 06:15
Schematic: A concurrent object-oriented extension to Scheme,n used in typical parallel programs (future and higher-level macros such as plet and pbegin), which are actually defined atop a very small number of fundamental primitives. In this way, Schematic achieves both the convenience for typical concurrent programming and simplicity and flexibility of the l作者: deceive 時(shí)間: 2025-3-22 11:39
(Thread and Object)-Oriented Distributed Programming,aded data structures and programs. This is a new way of imagining reusable components for distributed programming, based on two kinds of same grained entities that are objects for data and threads for concurrent activities.作者: plasma-cells 時(shí)間: 2025-3-22 12:52
Distributed and object oriented symbolic programming in April,ion and manipulation of complex symbolic data. Key features of the language that we will illustrate are:.The first two features enable one to build an environment of public servers, available to any April process simply by using its name, which can return as the response to a enquiry the identificat作者: 大洪水 時(shí)間: 2025-3-22 18:33
Reactive programming in Eiffel//,e in the language and is based on a specific communication semantics. We present some reactive abstractions that can be programmed with this mechanism and illustrate their use. The technique we developed makes it possible to transform a sequential system of objects into a reactive one. A tape-record作者: intangibility 時(shí)間: 2025-3-23 00:17
Proofs, concurrent objects and computations in a FILL framework,ming as logic, object-oriented or concurrent ones in a same logical language. Linear logic seems to be well-suited to describe computations that are concurrent and based on state transitions. In this paper, we propose and analyze a framework based on Full Intuitionistic Linear Logic (FILL), logical 作者: Virtues 時(shí)間: 2025-3-23 03:30
Modular description and verification of concurrent objects,amming model based on concurrently executing communicating agents (concurrent objects) and an associated proof methodology that exploits the class hierarchy to allow for modular verification..We propose to separate protocol from functionality in class definitions, and advocate separate hierarchies o作者: 容易懂得 時(shí)間: 2025-3-23 06:32 作者: 躺下殘殺 時(shí)間: 2025-3-23 11:22 作者: 夸張 時(shí)間: 2025-3-23 17:18
Isatis: A customizable distributed object-based runtime system, to provide a distributed object-based system supporting execution of various (concurrent) object-oriented languages, and that can be easily enriched with mechanisms for object management so as to fit the applications‘ needs. Enrichment of the runtime system with a particular mechanism is illustrate作者: Occipital-Lobe 時(shí)間: 2025-3-23 18:12
Lessons from designing and implementing GARF,ions. The specificity of GARF resides in its incremental programming model, and its extensible library of generic components. In this paper, we first give an overview of GARF. Then we assess its features with respect to its programming model, its abstraction library, and the implementation of its pr作者: 熱心 時(shí)間: 2025-3-23 23:10 作者: 沙漠 時(shí)間: 2025-3-24 03:21 作者: fodlder 時(shí)間: 2025-3-24 07:05 作者: Bother 時(shí)間: 2025-3-24 12:25 作者: ARCHE 時(shí)間: 2025-3-24 16:28 作者: ethnology 時(shí)間: 2025-3-24 20:18 作者: Dri727 時(shí)間: 2025-3-25 01:09 作者: 兒童 時(shí)間: 2025-3-25 03:57 作者: 散步 時(shí)間: 2025-3-25 10:10 作者: Acclaim 時(shí)間: 2025-3-25 12:56
Kenjiro Taura,Akinori Yonezawahat it was the cities that carried out the deficit-based employment policies of the early 1930s also had to carry the burden of a democratic reconstitution of Germany in the postwar period. After the crushing defeat at Napoleon’s hands, likewise the reconstitution of Prussia fell to the cities. Toda作者: grovel 時(shí)間: 2025-3-25 17:57 作者: 使閉塞 時(shí)間: 2025-3-25 23:11 作者: 寡頭政治 時(shí)間: 2025-3-26 01:53
Denis Caromel,Yves Roudierstory of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Speiser, David Speiser‘s own wide-ranging interests have brought him into contact with a panorama of disciplines.? Editor Kim Williams has assembled a group of notes?where schol作者: 完整 時(shí)間: 2025-3-26 06:18
D. Galmiche,E. Boudinetnes are brought to light.David Speiser is Professor Emeritus at the Catholic University of Louvain, where he taught mathematics and physics from 1963 to 1990.? His work in?history of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Spe作者: Optic-Disk 時(shí)間: 2025-3-26 09:46
Jean Paul Bahsoun,Stephan Merz,Corinne Servièresnes are brought to light.David Speiser is Professor Emeritus at the Catholic University of Louvain, where he taught mathematics and physics from 1963 to 1990.? His work in?history of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Spe作者: 草本植物 時(shí)間: 2025-3-26 13:09
Christian Jacquemot,Peter Strarup Jensen,Stephane Carrezstory of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Speiser, David Speiser‘s own wide-ranging interests have brought him into contact with a panorama of disciplines.? Editor Kim Williams has assembled a group of notes?where schol作者: ATP861 時(shí)間: 2025-3-26 19:15
Rodger Lea,Yasuhiko Yokote,Jun-ichiro Itohnes are brought to light.David Speiser is Professor Emeritus at the Catholic University of Louvain, where he taught mathematics and physics from 1963 to 1990.? His work in?history of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Spe作者: 分貝 時(shí)間: 2025-3-27 00:12
Michel Banatre,Yasmina Belhamissi,Valérie Issarny,Isabelle Puaut,Jean-Paul Routeaustory of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Speiser, David Speiser‘s own wide-ranging interests have brought him into contact with a panorama of disciplines.? Editor Kim Williams has assembled a group of notes?where schol作者: Temporal-Lobe 時(shí)間: 2025-3-27 03:39 作者: enlist 時(shí)間: 2025-3-27 09:09
Kazunori Takashio,Hidehisa Shitomi,Mario Tokorones are brought to light.David Speiser is Professor Emeritus at the Catholic University of Louvain, where he taught mathematics and physics from 1963 to 1990.? His work in?history of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Spe作者: 財(cái)主 時(shí)間: 2025-3-27 13:14 作者: Mirage 時(shí)間: 2025-3-27 15:32
Luc Bellissard,Slim Ben Atallah,Alain Kerbrat,Michel Riveillstory of science included various publications, some of which are related to art history.? Nephew of mathematician Andreas Speiser, David Speiser‘s own wide-ranging interests have brought him into contact with a panorama of disciplines.? Editor Kim Williams has assembled a group of notes?where schol作者: 僵硬 時(shí)間: 2025-3-27 19:50 作者: encomiast 時(shí)間: 2025-3-27 23:25 作者: 發(fā)電機(jī) 時(shí)間: 2025-3-28 02:43 作者: Diatribe 時(shí)間: 2025-3-28 08:09
978-3-540-61487-6Springer-Verlag Berlin Heidelberg 1996作者: GUILT 時(shí)間: 2025-3-28 11:21 作者: 不朽中國(guó) 時(shí)間: 2025-3-28 17:45 作者: Clinch 時(shí)間: 2025-3-28 21:36
Reactive programming in Eiffel//,e in the language and is based on a specific communication semantics. We present some reactive abstractions that can be programmed with this mechanism and illustrate their use. The technique we developed makes it possible to transform a sequential system of objects into a reactive one. A tape-recorder example illustrates the programming technique.作者: 健談的人 時(shí)間: 2025-3-29 01:47 作者: 失望昨天 時(shí)間: 2025-3-29 06:12 作者: MAG 時(shí)間: 2025-3-29 10:52
Proofs, concurrent objects and computations in a FILL framework,oncurrent and based on state transitions. In this paper, we propose and analyze a framework based on Full Intuitionistic Linear Logic (FILL), logical fragment with potentialities for non-determinisms management, as foundation of concurrent object-oriented programming, following the two paradigms . and ..作者: GIDDY 時(shí)間: 2025-3-29 14:31 作者: 賞心悅目 時(shí)間: 2025-3-29 19:25 作者: 人造 時(shí)間: 2025-3-29 22:17
Conference proceedings 1996f timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.作者: 搜尋 時(shí)間: 2025-3-30 00:52 作者: 他一致 時(shí)間: 2025-3-30 06:46
Distributed and object oriented symbolic programming in April,ion of a non-public process. The last two allow one to tailor the syntax of the language for a particular application. We shall illustrate syntactic tailoring by showing how a simple object oriented extension of April can be implemented.作者: 細(xì)頸瓶 時(shí)間: 2025-3-30 09:35
Isatis: A customizable distributed object-based runtime system,d through the integration of a facility that is aimed at enhancing the applications‘ performance. This goal is achieved by means of a load balancing strategy that implements initial-placement of method executions and migration of data objects according to both the processors‘ load and the objects‘ features.作者: 桶去微染 時(shí)間: 2025-3-30 12:46 作者: Recessive 時(shí)間: 2025-3-30 17:58
ActNet: The actor model applied to mobile robotic environments,nctionality changes need to be managed transparently from the user applications..This paper describes ActNet, an actor based system designed for a robotic environment and its dynamic resource management. The ActPL programming language model associated to this system is also presented.作者: Banister 時(shí)間: 2025-3-30 20:50 作者: Inclement 時(shí)間: 2025-3-31 01:19 作者: 永久 時(shí)間: 2025-3-31 06:46
Programming and debugging for massive parallelism: The case for a parallel object-oriented languageobal view of the execution. The history is also utilized at the replay phase to provide a virtual event-level clock to a multicomputer and to keep the happened-before relation at test execution time. This not only enables cyclic debugging but also simplifies debugging by showing originally asynchronous operations synchronously.作者: SPECT 時(shí)間: 2025-3-31 09:21
Adaptive operating system design using reflection,ugh the use of . and ., which allows the system to be adapted by application programmers via the reflective infrastructure. In this paper we discuss the object model that Apertos supports and how it can be tailored to support different application requirements.作者: 錯(cuò)事 時(shí)間: 2025-3-31 17:09
Schematic: A concurrent object-oriented extension to Scheme,ry, and permit intra-object concurrency. Schematic will be useful for intensive parallel applications on parallel machines or networks of workstations, concurrent graphical user interface programming, distributed programming over network, and even concurrent shell programming.作者: Cardiac-Output 時(shí)間: 2025-3-31 18:47
Modular description and verification of concurrent objects, Logic of Actions. Modular verification is achieved by restricting inheritance in a way that ensures that subclasses refine superclasses. Interesting properties can thus be verified at an abstract level, ignoring unnecessary implementation detail.作者: Neutral-Spine 時(shí)間: 2025-3-31 23:17 作者: 奴才 時(shí)間: 2025-4-1 05:29 作者: Hay-Fever 時(shí)間: 2025-4-1 07:39
