群岛
发表于 2025-3-28 16:53:50
Design and Evaluation of Part-Oriented Parallel Algorithmsroduce a “part,” which performs the computation of a relatively independent task. A part is able to be treated as a unit of asynchronous and nondeterministic computation. Five programs are given, in order of increasing independence. They are written in extended C language and simulated on a single p
asthma
发表于 2025-3-28 19:11:02
ObjectTags: An Interactive Tool to Understand C Programsy appearing in the text of a program. ObjectTags allows a user to concentrate on understanding the behavior of the program because the user need not change his or her viewpoint to search for declarations or definitions of identifiers. ObjectTags works under a multi-window environment. Whenever a use
HEPA-filter
发表于 2025-3-29 02:30:01
http://reply.papertrans.cn/29/2819/281891/281891_43.png
小画像
发表于 2025-3-29 05:17:48
Realtime Communication Processing System with Video Function in the Networking Environment cooperative information processing. In this paper, we explain the system structure and the functions of the VTALK (Visual Talk) system, and note some subjects for further research..VTALK supports realtime group work using multimedia information data such as images and character strings, and records
旧石器
发表于 2025-3-29 09:17:04
A User-Friendly Software Environment for Designing and Verifying Communication ProtocolsESDEL transformation, where EXPA is a protocol verification method based on extended reachability analysis and NESDEL is a protocol specification language. The aim of this system is to provide a user-friendly interface by providing the two transformations as well as by extending the existing reachab
colloquial
发表于 2025-3-29 12:00:24
MOA—A Model of a Computer Environment and Its Interface for Supporting Highly Intelligent Human Workwork is described. For this model, the amalgamation of a hypertext system and an inference system is adopted. This paper provides a realistic example of the use of the model in the medical field, and gives a description of system behavior in this model. A formal description of the model is also pres
syring
发表于 2025-3-29 18:37:25
http://reply.papertrans.cn/29/2819/281891/281891_47.png
immunity
发表于 2025-3-29 21:16:06
The Galaxy Distributed Operating Systemism to accomplish this is the three-level object-naming scheme which has many features for reliability, efficiency, and flexibility. Based on this naming scheme, a network-wide virtual address space called the uniform address space is constructed. It facilitates smooth load and information sharing.
成份
发表于 2025-3-30 03:22:26
https://doi.org/10.1057/9780230270282 increasing. In accordance with the progress of computer technologies, many application systems have been developed and used in government, industry, social life, education, and research. Reviewing the history of application life-cycles, we can see that each application system has been developed for
wangle
发表于 2025-3-30 07:50:47
https://doi.org/10.1057/9780230270282to improvement in the quality of specification of requirements, there remain problems. Since such techniques are usually based on formal requirements, it is hard for many software developers to read and write the specifications. In this paper, we propose a technique for the definition of requirement