標題: Titlebook: RIMS Symposium on Software Science and Engineering II; Proceedings of the S Eichi Goto,Keijiro Araki,Taiichi Yuasa Conference proceedings 1 [打印本頁] 作者: deflate 時間: 2025-3-21 17:59
書目名稱RIMS Symposium on Software Science and Engineering II影響因子(影響力)
書目名稱RIMS Symposium on Software Science and Engineering II影響因子(影響力)學科排名
書目名稱RIMS Symposium on Software Science and Engineering II網(wǎng)絡公開度
書目名稱RIMS Symposium on Software Science and Engineering II網(wǎng)絡公開度學科排名
書目名稱RIMS Symposium on Software Science and Engineering II被引頻次
書目名稱RIMS Symposium on Software Science and Engineering II被引頻次學科排名
書目名稱RIMS Symposium on Software Science and Engineering II年度引用
書目名稱RIMS Symposium on Software Science and Engineering II年度引用學科排名
書目名稱RIMS Symposium on Software Science and Engineering II讀者反饋
書目名稱RIMS Symposium on Software Science and Engineering II讀者反饋學科排名
作者: 積習已深 時間: 2025-3-21 22:02 作者: 繼承人 時間: 2025-3-22 04:24 作者: 寬敞 時間: 2025-3-22 06:35 作者: Irascible 時間: 2025-3-22 11:44
,Incorporating Na?ve Negation into Prolog,s and an execution algorithm for PPN as viewed from the standpoint of intuitionistic logic. Then, we present a knowledge assimilation system and show how PPN is suitable for such a system. These execution algorithms can be easily implemented similarly to existing Prolog systems.作者: mastoid-bone 時間: 2025-3-22 13:32 作者: 兇殘 時間: 2025-3-22 18:52
,A fast parallel merging algorithm for 2–3 trees,ssors within O(log n) time. The consideration for the time complexity includes comparisons, allocation of processors, and construction of an output 2–3 tree. The algorithm is performed without read conflicts.作者: indicate 時間: 2025-3-22 22:19 作者: adequate-intake 時間: 2025-3-23 01:38 作者: 干涉 時間: 2025-3-23 08:28
A portable logic simulation system for development of FLATS machine,re than 33,000 ECL and partly TTL MSI chips. The themes of this paper are practice and experience in developing such a large machine as FLATS in the research laboratories of the university and the institute. PLS supports two simulation languages, HDL (Hardware Description Language) and SCL (Simulati作者: Herd-Immunity 時間: 2025-3-23 10:56 作者: 不能妥協(xié) 時間: 2025-3-23 17:26
OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog,. POPS has the following features: 1) Programs are executed in OR-Parallel. 2) The same subcomputations are shared. 3) Left recursive rules can be handled without entering an infinite loop. At present, POPS is implemented in Concurrent Prolog supporting AND-Parallel execution and process synchroniza作者: animated 時間: 2025-3-23 19:30
,Incorporating Na?ve Negation into Prolog,negative information. We present query response forms for PPN and their semantics and propose an execution algorithm. Furthermore, we discuss semantics and an execution algorithm for PPN as viewed from the standpoint of intuitionistic logic. Then, we present a knowledge assimilation system and show 作者: Confound 時間: 2025-3-23 23:17
,Multiversion concurrency control scheme for a distributed database system — A trial to break concurtwo copies allocated in different sites in the system. Unlike the usual distributed database systems with redundant copies, these two copies are not concurrently updated, but only one is updated for a write request. For each data object, the copy with a newly updated value is called the new version 作者: 字謎游戲 時間: 2025-3-24 06:19
On program transformation with tupling technique,guage and formalize a problem to find a . for transformation of a recursive program written in the language. We discuss the transformation scheme with the tuple given as the solution to the problem and show that the execution efficiency will be improved by the new scheme. Under a certain constraint,作者: Nerve-Block 時間: 2025-3-24 08:11
Evaluation of working set algorithms for data-flow machines,low programs which include branches, loops, and procedure calls. The algorithms for computing the D-, E-, and L-levels are revised and the performance for static data-flow programs is reevaluated. Algorithms to manage branches, loops, and function calls are developed. The effectiveness of these algo作者: 言行自由 時間: 2025-3-24 13:11
Comparison of closure reduction and combinatory reduction schemes,f a λ-term into combinatory terms, i.e. bracket abstraction, can be viewed as attaching labels S, B, C, K, I to each node. Similarly, a node of a tree representing a λ-term can be labelled depending upon the presence of free variables in the subtrees. Resulting labelled trees which represent a λ-ter作者: 縮減了 時間: 2025-3-24 14:51 作者: Mingle 時間: 2025-3-24 20:19 作者: 跳脫衣舞的人 時間: 2025-3-25 01:09
Partial computation with a dataflow machine,ass of partial computation. This paper also clarifies a dataflow graph generation method for the DCSB model by describing the main differences in code generation between the DCSB model and the CT model..The proposed dataflow models are promising for applicative programing language machine architectures.作者: Confidential 時間: 2025-3-25 06:44
,A fast parallel merging algorithm for 2–3 trees,ssors within O(log n) time. The consideration for the time complexity includes comparisons, allocation of processors, and construction of an output 2–3 tree. The algorithm is performed without read conflicts.作者: 親密 時間: 2025-3-25 10:04
On equivalence transformations for term rewriting systems,ems. Using the Church-Rosser property, sufficient conditions for the equivalence of abstract reduction systems are proved. These conditions can be effectively applied to test the equivalence in a restricted domain of term rewriting systems. In addition, equivalence transformation rules for term rewriting systems are proposed.作者: 爭吵加 時間: 2025-3-25 15:18
Evaluation of working set algorithms for data-flow machines,low programs which include branches, loops, and procedure calls. The algorithms for computing the D-, E-, and L-levels are revised and the performance for static data-flow programs is reevaluated. Algorithms to manage branches, loops, and function calls are developed. The effectiveness of these algorithms is shown through computer simulation.作者: 轉(zhuǎn)換 時間: 2025-3-25 17:47 作者: 換話題 時間: 2025-3-25 22:46 作者: 帶傷害 時間: 2025-3-26 01:34
0302-9743 Overview: 978-3-540-16470-8978-3-540-39809-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Endometrium 時間: 2025-3-26 04:39 作者: 盡管 時間: 2025-3-26 10:47
https://doi.org/10.1007/3-540-16470-7Attribut; Computer; Fortran; Prolog; Simulation; algorithm; algorithms; computer algebra; database; design; lo作者: monologue 時間: 2025-3-26 15:09
Global storage allocation in attribute evaluation,Global storage allocation in attribute evaluation was examined and a decision algorithm was given to test whether, for a given attribute grammar ., it is possible to construct an attribute grammar evaluator for . which stores values of attribute instances in storages . under storage allocation function ..作者: 流動才波動 時間: 2025-3-26 17:06 作者: narcotic 時間: 2025-3-27 00:05
A portable logic simulation system for development of FLATS machine,tion; thereby the execution time is considerably shortened. The system covers a wide area of application and its conciseness facilitates expressing, organizing, and in general, dealing with large digital systems. In the development of FLATS, PLS is also used as a maintenance tool which generates tes作者: 宿醉 時間: 2025-3-27 04:27 作者: HACK 時間: 2025-3-27 05:16 作者: 媽媽不開心 時間: 2025-3-27 09:32
Algebraic specification method of programming languages,作者: Nostalgia 時間: 2025-3-27 16:41 作者: ticlopidine 時間: 2025-3-27 21:34
RIMS Symposium on Software Science and Engineering IIProceedings of the S作者: CLOUT 時間: 2025-3-27 22:43
al thickness and also for high electron-bunch charges. Using diamond crystals of various thickness up to 204 μm and electron energies of 9 and 10 MeV the photon intensity of the 1–0 transition of the (110) plane was found to be (1.12 ± 0.17) 10. photons/e/sr at 9 MeV and (1.56 ± 0.25) 10. photons/e/作者: 善于 時間: 2025-3-28 05:50
978-1-349-44205-8Palgrave Macmillan, a division of Macmillan Publishers Limited 2013作者: 清楚 時間: 2025-3-28 09:29
Thermoelektrische und thermomagnetische Effekte in Halbleitern,erden. Eine Diskussion des vorliegenden experimentellen Materials und der theoretischen Durchführung der Gedankeng?nge ist hierbei nicht beabsichtigt. Dazu sei auf die am Ende angeführte Literatur hingewiesen.作者: 擁護 時間: 2025-3-28 13:25 作者: 典型 時間: 2025-3-28 17:20 作者: 暗諷 時間: 2025-3-28 19:24 作者: 使無效 時間: 2025-3-29 01:53
Ayoub Jadouli,Chaker El Amrani device was fabricated its structure was forever fixed. Reconfigurable hardware came as a second generation: new configurations could be downloaded changing the function of the device and also bypassing faulty areas, if any. The third generation is that of self-configurable, evolvable hardware (EHW)作者: ostracize 時間: 2025-3-29 06:13
Swati Shilaskar,Devika Warghane,Chirag Bhandariks generally involve observing the victim’s input device. This paper studies leakage of user secrets (passwords and PINs) based on observations of . devices (screens or projectors) that provide “helpful” feedback to users in the form of masking characters, each corresponding to a keystroke. To this 作者: construct 時間: 2025-3-29 08:50
s capable of assisting turn traditional factories into intelligent factories at low cost. The disruptive innovation of cloud and artificial intelligence equipment in smart factory management leads to increased economic growth and the development of a production pipeline [.]. This article investigate作者: Anemia 時間: 2025-3-29 12:30
Surender Kumar,Shunsuke Managihanisms.Leads to a more exhaustive understanding of ocular d.Remarkable advances have contributed to revolutionizing the study of vertebrate vision. The first step to identifying objects and establishing spatial relationships is the visual transduction cascade, a process that underpins a wide range 作者: Subjugate 時間: 2025-3-29 19:09
Uschi Backes-Gellner,Werner Freund,Rosemarie Kay,Peter Kranzusch can describe without threatening the integrity of the narrative. A domestic manual like ., on the other hand, is much less limited in its scope for detail. From a focus on narrative, plot and story in the first three chapters, . now turns to a wholly different way of telling time. As I explain in t作者: 變化無常 時間: 2025-3-29 20:49 作者: 辮子帶來幫助 時間: 2025-3-30 00:15
Approach to Imaging of Mediastinal Conditions in the Adult,ss can be localized to the mediastinum, it should be localized within the mediastinum. Many of us use an approach first championed by Ben Felson. Using a lateral radiograph or sagittal CT or MR, a line is drawn from the anterior tracheal wall to the posterior inferior vena cava. This line separates 作者: Corroborate 時間: 2025-3-30 07:11
A Personal Account of the History of Devcom: Beginning in 1964,emic discussion and research since the 1960s, termed the “development decade.” This paper traces the history of devcom from my perspective and participation since 1964. Highlighted are the setting-the-stage efforts of organizations such as Press Institute of the Philippines, Press Foundation of Asia作者: –FER 時間: 2025-3-30 10:28
Psychiatrie, Psychosomatik, Psychotherapie – Bedeutung, Identit?t, Situation und Perspektiven eines gro?en medizinischen Fachgebietes Faches Psychiatrie, psychosomatische Medizin und Psychotherapie darstellen. In diesem medizinischen Gebiet sind derzeit über 17.000 Fach?rzte für Psychiatrie und Psychotherapie (ca. 10.000), Fach?rzte für Psychosomatische Medizin und Psychotherapie (ca. 4000) und ca. 3000 Fach?rzte für Nervenheilku作者: 預防注射 時間: 2025-3-30 16:21 作者: initiate 時間: 2025-3-30 16:56 作者: 躲債 時間: 2025-3-30 21:58
Charter for Managing Changeake months, or sometimes even years. Finally, when the wisp of white smoke at last emerges from the holy of holies, there is a rush to put all these plans into practice — and then people wonder why something that has been so professionally produced, and which looked so logical on paper, does not work out in practice.作者: Bucket 時間: 2025-3-31 04:43
Written Out of History: The Agbekoya Rebellion at Temporal Crossroads,t in dialectical antagonism: the time of history, the time of memory and the time of myth. The intersection between these different temporal registers vividly emerges through a recurrent figure of speech: peripeteia, which is adopted as important stylistic device in the memoir.作者: enchant 時間: 2025-3-31 05:05 作者: GRAVE 時間: 2025-3-31 10:44
ents of specific applications..Four communications protocols implemented on the Cambridge Ring have been described in some details; in addition, the major reliability problems to be tackled in the construction of communications software for distributed systems have been discussed..Finally, we have p作者: insurgent 時間: 2025-3-31 16:50 作者: mitten 時間: 2025-3-31 19:46
2190-3018 ty, and many related areas. The first volume contains papers in 3D image processing, transforms and technologies. The second volume is about computing and information technologies, computer images and graphics 978-981-99-1147-9978-981-99-1145-5Series ISSN 2190-3018 Series E-ISSN 2190-3026 作者: 排名真古怪 時間: 2025-4-1 01:15
dex (NDVI) since 1981 provide a global yardstick, revealing that a quarter of the land surface has been degrading over the last quarter of a century; every continent and biome is affected with Africa south of the equator, southeast (SE) Asia and south (S) China hardest hit. The loss of primary produ作者: GROG 時間: 2025-4-1 02:50 作者: Comprise 時間: 2025-4-1 07:49
2662-6675 of the West, pretended to aid the transition economy of post-communist Russia through stabilization while the Russian government promised reforms.978-1-349-54141-6978-0-230-51233-7Series ISSN 2662-6675 Series E-ISSN 2662-6683
