標(biāo)題: Titlebook: Language Hierarchies and Interfaces; International Summer Friedrich L. Bauer,E. W. Dijkstra,Klaus Samelson Conference proceedings 1976 Spri [打印本頁] 作者: peak-flow-meter 時(shí)間: 2025-3-21 17:41
書目名稱Language Hierarchies and Interfaces影響因子(影響力)
書目名稱Language Hierarchies and Interfaces影響因子(影響力)學(xué)科排名
書目名稱Language Hierarchies and Interfaces網(wǎng)絡(luò)公開度
書目名稱Language Hierarchies and Interfaces網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Language Hierarchies and Interfaces被引頻次
書目名稱Language Hierarchies and Interfaces被引頻次學(xué)科排名
書目名稱Language Hierarchies and Interfaces年度引用
書目名稱Language Hierarchies and Interfaces年度引用學(xué)科排名
書目名稱Language Hierarchies and Interfaces讀者反饋
書目名稱Language Hierarchies and Interfaces讀者反饋學(xué)科排名
作者: Isometric 時(shí)間: 2025-3-21 20:41
A time-wise hierarchy imposed upon the use of a two-level store, dedicated hardware can be expected to contribute effectivel to memory management and the prevention of thrashing. Finally, the properties of the system should be such that a mismatch between configuration and workload gives a clear indication as to what reconfigurations seem indicated.作者: obstruct 時(shí)間: 2025-3-22 03:30 作者: 微粒 時(shí)間: 2025-3-22 05:17
Structured programming in the basic layers of an operating system,作者: Derogate 時(shí)間: 2025-3-22 09:39 作者: PANEL 時(shí)間: 2025-3-22 13:52
Parallel programming: An axiomatic approach,operation, communication and "colluding". In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. Warning: the program structuring methods described here are not suitable for the construction of operating systems.作者: 大喘氣 時(shí)間: 2025-3-22 20:45
The programming language concurrent pascal,e Pascal with concurrent programming tools called processes and monitors. Part 1 of the paper explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Part 2 uses the same example to introduce the language notation. The main contribution作者: 大廳 時(shí)間: 2025-3-23 00:05
Guarded commands, non-determinacy and a calculus for the derivation of programs,nts for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be shown.作者: SPECT 時(shí)間: 2025-3-23 03:40 作者: 男學(xué)院 時(shí)間: 2025-3-23 07:05 作者: 額外的事 時(shí)間: 2025-3-23 12:47 作者: 貧窮地活 時(shí)間: 2025-3-23 14:22 作者: acclimate 時(shí)間: 2025-3-23 19:09
0302-9743 Overview: 978-3-540-07994-1978-3-540-37972-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Graves’-disease 時(shí)間: 2025-3-24 02:00
On-the-fly darbage collection: an exercise in cooeration,A technique is presented which allows nearly all of the garbage detection and collection activity to be performed by an additional processor, operating concurrently with the processor carrying out the computation proper. Exclusion and synchronization contraints between the processors have been kept weak.作者: 驕傲 時(shí)間: 2025-3-24 02:57
An exercise in proving parallel programs correct,A parallel program, Dijkstra‘s on-the-fly garbage collector, is proved correct using a proof method developed by Owicki. The fine degree of interleaving in this program makes it especially difficult to understand, and complicates the proof greatly. Difficulties with proving such parallel programs correct are discussed.作者: 假 時(shí)間: 2025-3-24 10:33 作者: 不斷的變動 時(shí)間: 2025-3-24 10:44
The structure of an operating system,This paper describes the use of the class and inner concepts of SIMULA 67 to express the multi-level structure of an operating system. A comparison is drawn between compile-time checking and run-time protection.作者: 都相信我的話 時(shí)間: 2025-3-24 17:31 作者: 珊瑚 時(shí)間: 2025-3-24 20:37 作者: 帶來的感覺 時(shí)間: 2025-3-25 00:32 作者: 思考 時(shí)間: 2025-3-25 05:06
,H?resie, Geheimhaltung und Politik,In diesem Kapitel vergleichen wir verschiedene Beispiele für die politische Kontrolle wissenschaftlicher Aktivit?ten in der UdSSR und den Vereinigten Staaten. Dabei geht es unter anderem um den Fall Kapitsa, die Lisenko-Aff?re, die Zensur des “Scientific American” und den Oppenheimer-Proze?.作者: BACLE 時(shí)間: 2025-3-25 11:05 作者: Motilin 時(shí)間: 2025-3-25 15:15 作者: 多節(jié) 時(shí)間: 2025-3-25 17:19 作者: 經(jīng)典 時(shí)間: 2025-3-25 22:22 作者: Spinal-Tap 時(shí)間: 2025-3-26 00:33 作者: Orthodontics 時(shí)間: 2025-3-26 07:51 作者: 評論性 時(shí)間: 2025-3-26 09:37
Romantik, Physik und Goethe,Die romantische Revolte gegen das mechanistische Weltbild stützt sich auf das organische Naturverst?ndnis des Aristoteles; sie liefert daher ein Exempel für den Unterschied zwischen den beiden Kulturen. Das Beispiel Goethes soll den Prototyp eines mi?glückten Versuchs zur Vereinigung der beiden Kulturen darstellen.作者: Mets552 時(shí)間: 2025-3-26 13:13
Ivan Habernal,Václav Matou?ekUp-to-date results.Fast-track conference proceedings.State-of-the-art research作者: inclusive 時(shí)間: 2025-3-26 20:39 作者: 巧辦法 時(shí)間: 2025-3-27 00:27 作者: Mindfulness 時(shí)間: 2025-3-27 01:39 作者: disciplined 時(shí)間: 2025-3-27 09:10
O. P. Hornstein,M. Hundeiker,J. Sch?nfelden increasing interest in the operation of NCXs in reverse mode acting as a means of eliciting Ca. entry into these cells. Reverse mode exchange requires a significant change in the normal resting transmembrane ion gradients and membrane potential, which has been suggested to occur principally via t作者: 刪除 時(shí)間: 2025-3-27 10:05 作者: cocoon 時(shí)間: 2025-3-27 13:47
June McDanielun argomento rilevante, attuale e nuovo.Background complemenIl trasferimento tecnologico è divenuto centrale nella gestione dell’innovazione e della proprietà intellettuale in enti e imprese. Si tratta di una attività relativamente nuova e dai forti contenuti interdisciplinari, che viene fatta ogget作者: Hyperlipidemia 時(shí)間: 2025-3-27 20:36
Kanako Iuchi,Elizabeth Maly,Laurie Johnsont. Three kinds of sensors are combined to estimate the water content in soil: a resistivity sensor composed of two brass electrodes, a commercial air humidity sensor interfaced with the soil by a filter membrane of PTFE with polyester scrim, and an RGB sensor used for visible reflectance spectroscop作者: 豪華 時(shí)間: 2025-3-27 22:03 作者: ENNUI 時(shí)間: 2025-3-28 03:18
Guy F. Midgley,Wilfried Thuiller,Steven I. Higginss, each written by the world renowned experts.Still valid an.Salen Metal Complexes as Catalysts for the Synthesis of Polycarbonates from Cyclic Ethers and Carbon Dioxide, by Donald J. Darensbourg.- Material Properties of Poly(Propylene Carbonates), by Gerrit. A. Luinstra and Endres Borchardt.- ?Poly作者: N防腐劑 時(shí)間: 2025-3-28 08:36
Linda M. Orr,Dave J. Orr, it presents the role of rheology in melt processing operations. The account of rheology emphasises the underlying principles and presents results, but not detailed deriva- tions of equations. The processing operations are described qualita- tively, and wherever possible the role of rheology is dis作者: 背帶 時(shí)間: 2025-3-28 11:23
Wild Boars in Fukushima After the Nuclear Power Plant Accident: Distribution of Radiocesium,After the nuclear accident in 2011, the radiocesium contamination levels in wild boars from most places in Fukushima Prefecture exceeded 100 Bq/kg. The most contaminated wild boars were observed in Soso district where the radiocesium concentration in the soil was the highest in the entire Fukushima 作者: 售穴 時(shí)間: 2025-3-28 15:44 作者: 干涉 時(shí)間: 2025-3-28 20:02
Indian Summer Monsoon System: A Holistic Approach for Advancing Monsoon Understanding in a Warming ises literally each year. Much progress has been made in the process and predictive understanding of the monsoon, but the ISM still remains a grand challenge for modelling, predictions and projections. The main thrust here is that the ISM has been studied piecewise for its onset, active/break events作者: 可轉(zhuǎn)變 時(shí)間: 2025-3-28 23:37
Alcohol Use and Adolescent Developmenttransition- or problem-proneness, and a developmental relationship between onset of drinking and other sociopsychological attributes was found. It is concluded that becoming a drinker is an integral aspect of the process of adolescent development.作者: 委派 時(shí)間: 2025-3-29 05:20
Substation PSA Model,t trees described in .. First, the modelling principles and then the details of the model are presented. The properties of the model are based, to some extent, on the actual Finnish 400 kV transmission grid, which shows that the method is applicable to grids of real size. The example presented to il作者: 歡呼 時(shí)間: 2025-3-29 09:05
1876-1100 f new emerging technologies for professionals and researcher.This book (Volume 1) includes peer reviewed articles from the 5th International Conference on Data Science, Machine Learning and Applications, 2023, held at the G Narayanamma Institute of Technology and Sciences, Hyderabad on 15-16th Decem作者: 音樂會 時(shí)間: 2025-3-29 13:09 作者: 支架 時(shí)間: 2025-3-29 18:46 作者: Lipoprotein(A) 時(shí)間: 2025-3-29 22:43
Paul F. Byrd,Morris D. Friedmannated internally. In the course of a current market review and determination of demand, the sales potential of such a vehicle class is explained. For this purpose, current fleet data, mileage, and expert opinions are obtained. Finally, the paper shows the current status quo of purpose-built vehicles作者: Interdict 時(shí)間: 2025-3-30 00:51
Helen Novikova,Mariia Trimonovaasts, and fungi are often regarded by laymen as enemies which cause diseases of man, animals, and plants. Some men will know, of course, that yeasts make life easier and happier by producing alcohol, that some fungi can be eaten and that others produce antibiotics. They will know also that sewage di作者: Exuberance 時(shí)間: 2025-3-30 05:13 作者: kindred 時(shí)間: 2025-3-30 11:39 作者: 雜役 時(shí)間: 2025-3-30 15:23
Biographien hervorragender Naturwissenschaftler, Techniker und Medizinerhttp://image.papertrans.cn/e/image/308570.jpg作者: FID 時(shí)間: 2025-3-30 18:07 作者: 發(fā)怨言 時(shí)間: 2025-3-31 00:38
