標(biāo)題: Titlebook: Operating Systems Engineering; Proceedings of the 1 Mamoru Maekawa,Laszio A. Belady Conference proceedings 1982 Springer-Verlag Berlin Heid [打印本頁(yè)] 作者: hedonist 時(shí)間: 2025-3-21 17:43
書(shū)目名稱(chēng)Operating Systems Engineering影響因子(影響力)
書(shū)目名稱(chēng)Operating Systems Engineering影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Operating Systems Engineering網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Operating Systems Engineering網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Operating Systems Engineering被引頻次
書(shū)目名稱(chēng)Operating Systems Engineering被引頻次學(xué)科排名
書(shū)目名稱(chēng)Operating Systems Engineering年度引用
書(shū)目名稱(chēng)Operating Systems Engineering年度引用學(xué)科排名
書(shū)目名稱(chēng)Operating Systems Engineering讀者反饋
書(shū)目名稱(chēng)Operating Systems Engineering讀者反饋學(xué)科排名
作者: 背帶 時(shí)間: 2025-3-21 23:50
978-3-540-11604-2Springer-Verlag Berlin Heidelberg 1982作者: 柱廊 時(shí)間: 2025-3-22 03:47 作者: 爭(zhēng)論 時(shí)間: 2025-3-22 05:59
0302-9743 Overview: 978-3-540-11604-2978-3-540-39424-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 記成螞蟻 時(shí)間: 2025-3-22 10:58 作者: judicial 時(shí)間: 2025-3-22 13:52 作者: 不容置疑 時(shí)間: 2025-3-22 18:58
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/701973.jpg作者: 走路左晃右晃 時(shí)間: 2025-3-22 23:55 作者: meretricious 時(shí)間: 2025-3-23 03:39
Specification of schedulers with algebraic specification techniques,n of each scheduler instance can be directly obtained only by replacing the formal parameter with a concrete scheduling strategy. The assignment of an actual parameter to a formal parameter is given by a mechanism called extended parameter morphisms. This specification technique is applicable to many other objects.作者: faucet 時(shí)間: 2025-3-23 09:29 作者: 險(xiǎn)代理人 時(shí)間: 2025-3-23 12:32 作者: 排斥 時(shí)間: 2025-3-23 16:24 作者: 會(huì)犯錯(cuò)誤 時(shí)間: 2025-3-23 20:57
Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus, terminals and file devices, are directly connected to the ring bus, instead of directly to a processor. This network includes two or more large computers of different types, a guide subsystem to manage common resources and to control their usage, peripheral and terminal control subsystems, and a gateway processor.作者: Trypsin 時(shí)間: 2025-3-24 00:34
On the progress of communication between two machines,For a reasonable class of communicating machines, the problem is shown to be decidable; and the decidability algorithm is polynomial. We also discuss some sufficient conditions for the problem to have a a positive answer; these sufficient conditions can be checked for the given M and N in polynomial time.作者: 懲罰 時(shí)間: 2025-3-24 03:35
Product validation for standardized network protocol,ed validation task may be needed. This paper describes two method for validation of HDLC-BA protocol. The first method uses the validation task and the second method does not use the validation task. Detail of test sequence and the completeness of the validation are described in this paper.作者: 富足女人 時(shí)間: 2025-3-24 09:12
Program behavior and its models,es or segments have been referenced for the last time in the current phase. We are currently investigating some of the applications of the locality contour concept to control the parameter of the memory management, and the validation of this model in the actual reference strings.作者: 使高興 時(shí)間: 2025-3-24 12:16 作者: intricacy 時(shí)間: 2025-3-24 15:37
A parallel programming language and description of scheduler,rithm in which processing states are considered. As the state change incurs overheads, the scheduler makes trade-off between wating time of tasks and total loss. Finally, we describe the outline of the scheduler in this language for comprehension of both the language and the scheduler.作者: fatuity 時(shí)間: 2025-3-24 19:40 作者: SPECT 時(shí)間: 2025-3-25 01:40
On pseudo workload for performance measurement of interactive systems,rkload using the functions such as deferred processing and the waiting function is shown. Appropriateness of the pseudo workload is discussed. Finally, several examples of performance measurement under the pseudo workload operation are given.作者: 遣返回國(guó) 時(shí)間: 2025-3-25 06:33 作者: 心胸開(kāi)闊 時(shí)間: 2025-3-25 07:56 作者: AV-node 時(shí)間: 2025-3-25 13:01
A distributed operating system for a binary tree multiprocessor,ups of OS modules, the packet handler takes a key role interprocessor communications. Distribution and broadcasting of data are supported by a master packet handler and slave packet handlers. The job program is decomposed and distributed to the processors and is executed as job processes. As an exam作者: CURL 時(shí)間: 2025-3-25 16:21 作者: 殘暴 時(shí)間: 2025-3-25 23:31
Masatoshi Miyazaki,Shigeru Matsuzawa,Seiziro Obata,Shoichi Noguchiopportunity cost, that is, they pay a cost by forgoing potentially superior opportunities outside the security of the network. In this era of globalization, people from traditionally collectivistic societies fa978-4-431-56324-2978-4-431-53936-0Series ISSN 2192-6646 Series E-ISSN 2192-6654 作者: transient-pain 時(shí)間: 2025-3-26 02:46
Toru Takeshitaopportunity cost, that is, they pay a cost by forgoing potentially superior opportunities outside the security of the network. In this era of globalization, people from traditionally collectivistic societies fa978-4-431-56324-2978-4-431-53936-0Series ISSN 2192-6646 Series E-ISSN 2192-6654 作者: 慎重 時(shí)間: 2025-3-26 07:02
Katsuo Ikeda,Michihiro Ishizaka,Tomoo Nakamura,Yoshihiko Ebihara,Takao Fujima,Kazuhiko Nakayamaopportunity cost, that is, they pay a cost by forgoing potentially superior opportunities outside the security of the network. In this era of globalization, people from traditionally collectivistic societies fa978-4-431-56324-2978-4-431-53936-0Series ISSN 2192-6646 Series E-ISSN 2192-6654 作者: TIA742 時(shí)間: 2025-3-26 11:10
Tadao Saito,Toshihiko Kato,Hiroshi Inoseaptable nature of these environment which are often large scale and across domains. To date the problem of trust for service oriented environments has been largely unexplored. This book represents the rst compr978-1-4899-8457-9978-1-4419-0310-5作者: Rankle 時(shí)間: 2025-3-26 14:38 作者: 表示問(wèn) 時(shí)間: 2025-3-26 18:28
M. G. Gouda,E. G. Manning,Y. T. Yuaptable nature of these environment which are often large scale and across domains. To date the problem of trust for service oriented environments has been largely unexplored. This book represents the rst compr978-1-4899-8457-9978-1-4419-0310-5作者: 圓桶 時(shí)間: 2025-3-26 22:55 作者: 油氈 時(shí)間: 2025-3-27 01:46 作者: debunk 時(shí)間: 2025-3-27 05:31 作者: annexation 時(shí)間: 2025-3-27 13:27 作者: 旅行路線 時(shí)間: 2025-3-27 15:56
L. A. Beladyf being maltreated is minimized. However, joining the network requires individuals to pay opportunity cost, that is, they pay a cost by forgoing potentially superior opportunities outside the security of the network. In this era of globalization, people from traditionally collectivistic societies fa作者: 否認(rèn) 時(shí)間: 2025-3-27 20:03
Mamoru Maekawaf being maltreated is minimized. However, joining the network requires individuals to pay opportunity cost, that is, they pay a cost by forgoing potentially superior opportunities outside the security of the network. In this era of globalization, people from traditionally collectivistic societies fa作者: 頭腦冷靜 時(shí)間: 2025-3-28 00:53 作者: Amorous 時(shí)間: 2025-3-28 03:07 作者: integrated 時(shí)間: 2025-3-28 07:05 作者: Expressly 時(shí)間: 2025-3-28 11:03 作者: DNR215 時(shí)間: 2025-3-28 14:57 作者: 一大群 時(shí)間: 2025-3-28 21:49
Program behavior and its models,ls. Then a new model of program behavior is proposed. The previous models are based only on the information in the reference string generated by the program during its execution. Our approach is to utilize the information in the source programs as well as the one in the program‘s reference string. I作者: 我正派 時(shí)間: 2025-3-29 02:42 作者: Arrhythmia 時(shí)間: 2025-3-29 06:57
Dynamic tuning of operating systems, in order to handle jobs with different characteristics and they interact with each other in various ways. Repeated tuning procedure that takes the correlation among these factors into consideration is reported to achieve the improved cost performance of existing computer systems. Many examples incl作者: KIN 時(shí)間: 2025-3-29 09:23 作者: 噱頭 時(shí)間: 2025-3-29 13:49 作者: Aviary 時(shí)間: 2025-3-29 16:58 作者: 合同 時(shí)間: 2025-3-29 20:35 作者: 熱烈的歡迎 時(shí)間: 2025-3-30 00:09 作者: 幼稚 時(shí)間: 2025-3-30 07:01 作者: Stable-Angina 時(shí)間: 2025-3-30 12:05
Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring buring bus. The design goals of this system are efficient resource sharing and improved RAS. All common resources, such as processors, peripheral devices, terminals and file devices, are directly connected to the ring bus, instead of directly to a processor. This network includes two or more large com作者: Arthritis 時(shí)間: 2025-3-30 13:38 作者: Perineum 時(shí)間: 2025-3-30 17:45
Protection and synchronisation in a message-switched system,uage allows a programmer to specify the inter-process communication between a suite of distributed processes in the form of a Task Graph (centralized representation) and to have the constraints of the Task Graph enforced at run-time by co?perating Token Lists, one at each task (distributed control).作者: Lament 時(shí)間: 2025-3-30 21:24
On the progress of communication between two machines, a positive integer K such that M and N with K-capacity channels never reach a nonprogress state?" The problem is shown to be undecidable in general. For a reasonable class of communicating machines, the problem is shown to be decidable; and the decidability algorithm is polynomial. We also discuss 作者: Detain 時(shí)間: 2025-3-31 04:42
Form transformer -a formalism for office form manipulation-, as straightforward and uniform office data representation forms, and four . operators are defined for manipulating nested tables. Then, reversibility and commutability of the form transformer operators are examined.作者: 柔聲地說(shuō) 時(shí)間: 2025-3-31 05:01
Hisao Kamedae Jews, and anti-Semitism was central to National Socialist ideology. Trump’s 2016 campaign was not merely built on an anti-establishment message, it also played on white-nationalist xenophobia. Even before launching his bid for the Presidency, he jumped on the bandwagon of ., the conspiracy theory 作者: 閑逛 時(shí)間: 2025-3-31 11:44
Chiaki Ishikawa,Ken Sakamura,Mamoru Maekawa connected through networks of strong personal ties where the behavior of all agents is constantly monitored and controlled. As a result, individuals in collectivist networks are assured that others will abide by social norms, and gain a sense of security erroneously thought of as “trust.” However, 作者: ASSET 時(shí)間: 2025-3-31 15:11 作者: 姑姑在炫耀 時(shí)間: 2025-3-31 20:08
L. A. Belady connected through networks of strong personal ties where the behavior of all agents is constantly monitored and controlled. As a result, individuals in collectivist networks are assured that others will abide by social norms, and gain a sense of security erroneously thought of as “trust.” However, 作者: 信任 時(shí)間: 2025-3-31 22:37 作者: CEDE 時(shí)間: 2025-4-1 04:05 作者: SLUMP 時(shí)間: 2025-4-1 07:01
Itsujiro Arita connected through networks of strong personal ties where the behavior of all agents is constantly monitored and controlled. As a result, individuals in collectivist networks are assured that others will abide by social norms, and gain a sense of security erroneously thought of as “trust.” However, 作者: 薄荷醇 時(shí)間: 2025-4-1 11:58 作者: Derogate 時(shí)間: 2025-4-1 15:08
Yoshizo Takahashi connected through networks of strong personal ties where the behavior of all agents is constantly monitored and controlled. As a result, individuals in collectivist networks are assured that others will abide by social norms, and gain a sense of security erroneously thought of as “trust.” However, 作者: 旅行路線 時(shí)間: 2025-4-1 20:01 作者: 表皮 時(shí)間: 2025-4-2 00:50
Tadao Saito,Toshihiko Kato,Hiroshi Inoseion and evaluation of reputation-based trust models for servWeb services and service oriented environments are key enablers for the migration of entertainment, business, sociability, science and health-care from the physical world to the virtual world. The result of this on-going migration is a new 作者: Pert敏捷 時(shí)間: 2025-4-2 05:22
Jon Livesey,Eric Manningion and evaluation of reputation-based trust models for servWeb services and service oriented environments are key enablers for the migration of entertainment, business, sociability, science and health-care from the physical world to the virtual world. The result of this on-going migration is a new
