细颈瓶
发表于 2025-3-30 09:35:48
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.
桶去微染
发表于 2025-3-30 12:46:55
http://reply.papertrans.cn/71/7002/700163/700163_52.png
Recessive
发表于 2025-3-30 17:58:54
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
发表于 2025-3-30 20:50:06
http://reply.papertrans.cn/71/7002/700163/700163_54.png
Inclement
发表于 2025-3-31 01:19:35
http://reply.papertrans.cn/71/7002/700163/700163_55.png
永久
发表于 2025-3-31 06:46:56
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
发表于 2025-3-31 09:21:16
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.
错事
发表于 2025-3-31 17:09: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
发表于 2025-3-31 18:47:21
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
发表于 2025-3-31 23:17:29
http://reply.papertrans.cn/71/7002/700163/700163_60.png