標(biāo)題: Titlebook: Real Time Computing; Wolfgang A. Halang,Alexander D. Stoyenko Conference proceedings 1994 Springer-Verlag Berlin Heidelberg 1994 Echtzeits [打印本頁] 作者: 退縮 時間: 2025-3-21 19:22
書目名稱Real Time Computing影響因子(影響力)
書目名稱Real Time Computing影響因子(影響力)學(xué)科排名
書目名稱Real Time Computing網(wǎng)絡(luò)公開度
書目名稱Real Time Computing網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Real Time Computing被引頻次
書目名稱Real Time Computing被引頻次學(xué)科排名
書目名稱Real Time Computing年度引用
書目名稱Real Time Computing年度引用學(xué)科排名
書目名稱Real Time Computing讀者反饋
書目名稱Real Time Computing讀者反饋學(xué)科排名
作者: Muscularis 時間: 2025-3-21 20:39
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributtion system. Relevant information produced by the simulator includes timing of events, and the partitioning of the application behaviours into initial, periodic, transient and completion phases (both in the worst and the best behaviour paradigms).作者: Adjourn 時間: 2025-3-22 00:37 作者: 頂點 時間: 2025-3-22 07:28
Conference proceedings 1994ation of computer integrated manufacturing systems (CIM), of which real-time systems are an essential and decisive part. Owing to its key significance in computerised defence systems, real-time computing has also a special importance for the Alliance. The early research and development activities in作者: sebaceous-gland 時間: 2025-3-22 08:57 作者: 強壯 時間: 2025-3-22 16:49
Predictability and Techniques for Schedulability Analysisubstantial damage, including loss of human life. For many real-time systems it is thus of paramount importance that they adhere . to their critical timing constraints. A real-time system must be tested, analysed and checked to adhere to its critical timing constraints . the system is put in place.作者: Fretful 時間: 2025-3-22 19:50
A Distributed, Fault-Tolerant Real-Time Language synchronization, communication, time control, and dependability. The only way to integrate some of that functionality was to allow for assembler language insertions and operating system calls. Programs of that type are extremely non-portable.作者: Chivalrous 時間: 2025-3-22 23:33 作者: Macronutrients 時間: 2025-3-23 01:58
NATO ASI Subseries F:http://image.papertrans.cn/r/image/822199.jpg作者: circuit 時間: 2025-3-23 08:41 作者: 迫擊炮 時間: 2025-3-23 10:59
978-3-642-88051-3Springer-Verlag Berlin Heidelberg 1994作者: 健壯 時間: 2025-3-23 16:55
Real Time Computing978-3-642-88049-0Series ISSN 0258-1248 作者: custody 時間: 2025-3-23 21:24 作者: 防止 時間: 2025-3-24 00:43 作者: 收到 時間: 2025-3-24 02:23
0258-1248 this important and challengjng subject for the first time in the framework of NATO‘s ASI programme. The significance of real-time systems in everyones‘ life is rapidly growing. The vast spectrum of these systems can be characterised by just a few examples of increasing complexity: controllers in was作者: nutrition 時間: 2025-3-24 07:23
Algorithmic Methods for Real-Time Schedulingong which scheduling algorithms work. The purpose of this contribution is to give an overview on the main algorithmic approaches applied in real-time scheduling. Different methods for solving selected problem classes are discussed.作者: obstinate 時間: 2025-3-24 11:53
Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating Systh concepts of the Dependable Distributed Operation System (DEDOS), which is presently under development at the Department of Computing Science of the EUT. It is shown that synchronization is one of the most important issues in concurrent and distributed real-time systems.作者: 約會 時間: 2025-3-24 16:56
Formal Specification and Timing Analysis of High-Integrity Real-Time Systemssociated timing analysis procedure. We then illustrate a restriction of the general model and a specialized analysis procedure. Concepts are mainly illustrated via examples and informal descriptions. The reader is directed to the published literature for formal details.作者: MELD 時間: 2025-3-24 22:22 作者: 一小塊 時間: 2025-3-25 00:27
Is Time a Real Time? An Overview of Time Ontology in Informaticss developed in the framework of these disciplines, many useful concepts have been derived also for computer science. Architectural aspects of computer systems, Information Systems applications, and Real-time systems, are considered as temporally problematic domains.作者: Contort 時間: 2025-3-25 06:08 作者: 白楊魚 時間: 2025-3-25 10:41
Algorithmic Methods for Real-Time Schedulinghods has been developed. Though these methods are very often adjusted to the specifics of the various scheduling problems, there are few principles along which scheduling algorithms work. The purpose of this contribution is to give an overview on the main algorithmic approaches applied in real-time 作者: arbiter 時間: 2025-3-25 15:02 作者: 哪有黃油 時間: 2025-3-25 15:55
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needsl-time operating systems do not meet these strong requirements. This paper gives an insight into sources of delays for application processes caused by the operating system. It follows from this analysis that most of the services of real-time operating systems insert unexpected delays to the applicat作者: 破布 時間: 2025-3-25 22:10 作者: 負擔(dān) 時間: 2025-3-26 02:56
Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating SystSpecial attention is paid to static (deterministic) methods and the role of distributed algorithms. Many of the concepts discussed are illustrated with concepts of the Dependable Distributed Operation System (DEDOS), which is presently under development at the Department of Computing Science of the 作者: 無關(guān)緊要 時間: 2025-3-26 06:19 作者: 赦免 時間: 2025-3-26 09:58 作者: PTCA635 時間: 2025-3-26 15:44
Safety Licensing and Formal Correctness of High Integrity Embedded Systemsich are implemented using microprocessors and real-time software. For reasons of public policy, including preservation of human life and protection of the environment of the Earth, certain classes of control systems in industries such as aviation and nuclear power are subject to independent analysis作者: colloquial 時間: 2025-3-26 20:27 作者: Diverticulitis 時間: 2025-3-26 23:44
Predictability and Techniques for Schedulability Analysisubstantial damage, including loss of human life. For many real-time systems it is thus of paramount importance that they adhere . to their critical timing constraints. A real-time system must be tested, analysed and checked to adhere to its critical timing constraints . the system is put in place.作者: 同謀 時間: 2025-3-27 04:03 作者: Offbeat 時間: 2025-3-27 08:46 作者: Picks-Disease 時間: 2025-3-27 12:40 作者: 希望 時間: 2025-3-27 13:55
A Consensus-Based Framework for Responsive Computer System Designe in both parallel and distributed computing environments. The responsiveness measure is discussed and a new design framework for responsive systems is introduced. The new framework is based on the fundamental concept of consensus and on application specific responsiveness. It is shown that consensu作者: audiologist 時間: 2025-3-27 19:26 作者: Abominate 時間: 2025-3-27 22:20 作者: 不能仁慈 時間: 2025-3-28 05:52
Design of Real-Time Fault-Tolerant Computing Stationscontinue through the 1990’s. For example, DCS’s have been increasingly adopted in applications such as space navigation, air-traffic control, hospital automation, national defense, etc. [11, 16, 21, 43, 47]. To attain the desired level of reliability, such DCS’s must be designed to possess effective作者: 微粒 時間: 2025-3-28 06:28 作者: Euthyroid 時間: 2025-3-28 12:11
Fundamentals of Real-Time Scheduling (Extended Abstract)der of execution. Specifically, the execution of a job cannot begin until the execution of all its predecessors (according to the precedence relation) is completed. The system on which the jobs are to be executed is characterized by the amounts of resources available.作者: Neuropeptides 時間: 2025-3-28 15:16
Engineering Predictable Real-Time Systemsly understandability. The argument is put forward that these two goals can be jointly attained; further, that understandability is the most important common denominator for achieving a variety of other important real-time computing abilities; for example, reliability, testability, verifiability, maintainability, and so on.作者: syring 時間: 2025-3-28 22:47
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needsion processes and worst case values are hardly to determine. Regarding the fact that real-time operating systems are used successfully certain deviations from the model of strict predictability seem to be tolerable for most applications. The paper presents some ideas to describe such tolerable deviations more precisely.作者: Juvenile 時間: 2025-3-29 02:30
Safety Engineering and Assurance for Real-Time Systemswe are concerned with failures, both of the computer system and the wider system in which it is embedded. Our discussion will focus on the issue of identifying failure modes and showing that safety requirements are met, despite the fact that failures can occur.作者: 逃避現(xiàn)實 時間: 2025-3-29 03:15
Conference proceedings 1994tant and challengjng subject for the first time in the framework of NATO‘s ASI programme. The significance of real-time systems in everyones‘ life is rapidly growing. The vast spectrum of these systems can be characterised by just a few examples of increasing complexity: controllers in washing machi作者: exceptional 時間: 2025-3-29 09:56
Safety Licensing and Formal Correctness of High Integrity Embedded Systemss of the computer programming languages such as Ada, a framework has been developed for the development of the operational software for practical safety-critical equipment. A worked example, of an electronic speed control mechanism for road vehicles, is used to illustrate some of the steps.作者: debunk 時間: 2025-3-29 14:09 作者: Axon895 時間: 2025-3-29 15:36
Georg Winckler (Professor of Economics)ced clock tree, such as timing violations, density and power comsuption. In this article, an innovative balance method is opened by adopting the redundance clock mux. The basic idea of it is to maximize the reuse of the clock tree for other modes and keep the sub-clock tree within the sub-blocks unc作者: 音樂等 時間: 2025-3-29 19:48
Formal Definition of UML’s Package Concepts by defining passive neonaticide and active neonaticide and the difference between pregnancy denial and pregnancy concealment. The next part of the chapter presents the profile of mothers who committed neonaticide, the motivation for the crime, the most prevalent neonaticidal methods, and the place作者: anagen 時間: 2025-3-30 00:59
G. Schulze-PillotGoal of halving, by 2015, the proportion of people without sThis volume is the result of years of commitment with world-wide sanitation challenges from various research networks linking the editors and authors of this volume to many other sanitation scholars and professionals. Major contributions to作者: 通情達理 時間: 2025-3-30 04:38 作者: 陳舊 時間: 2025-3-30 10:50 作者: Offbeat 時間: 2025-3-30 14:34 作者: 悲痛 時間: 2025-3-30 17:18 作者: 懸掛 時間: 2025-3-30 22:00 作者: Friction 時間: 2025-3-31 02:33
25 Years of Experience with Cathodic Protection of Steel in Concrete in the Netherlands,te 1980s until present: pioneering, development and maturity. The application has grown considerably over these years, up to a total number of 150 structures with CP by the end of 2010. Technical and non-technical developments are highlighted and further growth is foreseen.作者: confederacy 時間: 2025-3-31 07:24
,Weiterentwicklungsm?glichkeiten des Simulationstools , für die Steuerung von Lifecycle-Garantien,n für Lifecycle-Garantien weitgehend aus (vgl. garantieunabh?ngig für die hier lediglich ein Teilproblem darstellende Instandhaltungsplanung . [Instandhaltungsplanung] 14 f.). So ist eine analytisch geschlossene L?sung allenfalls in sehr einfachen und damit wenig realit?tsnahen F?llen überhaupt m?gl作者: Intervention 時間: 2025-3-31 10:02 作者: 減去 時間: 2025-3-31 14:02
Inkjet-Based 3D Printing: From Quantum Dots to Steel Tools, powder or ink form. The two inkjet-based AM technologies are binder jetting and material jetting, and as each of their names suggest, the former uses inkjet to deposit binder into the actual build material and the latter uses inkjet to deposit the actual build material. With each of these technolog作者: 泄露 時間: 2025-3-31 18:08 作者: 手勢 時間: 2025-4-1 00:52
Elastic Boundary-Value Problems the stress or the stress function as the primary unknown functions of the problem. The general solution of two-dimensional elasticity is obtained in the form of infinite series using the polar coordinate system.作者: Diskectomy 時間: 2025-4-1 04:12
Walking and Cultivating a Critical Community of Practice,ic synthesis of words and images came together using Arendt’s theory of the . through “l(fā)abor, work, and action” (.) as praxis for understanding how walking or moving independently may encourage solidarity with so many.作者: Offensive 時間: 2025-4-1 07:46
Auf der Bühne – Verkaufen im TED-Talk-Format Upper Tertiary at some locations of the Upper Rhine Graben. The recent high heat flow is not detectable in coalification. The young thermal anomaly is perhaps caused by ascending pore fluid and/or by heat conduction from a heat source in the lower crust.作者: 梯田 時間: 2025-4-1 11:18
Nima Dokoohaki,Cihan Kaleli,Huseyin Polat,Mihhail Matskinn dieses Buches in naiver Weise für die Analyse der makro?konomischen Situation einzelner L?nder heranzuziehen. Insbesondere mu? natürlich die Untersuchung der Wirkung von Wirtschaftspolitik aus den vorigen Kapiteln in dieser Hinsicht neu bewertet werden, denn nur eine Weltregierung, die es weder gi作者: 纖細 時間: 2025-4-1 14:36 作者: sacrum 時間: 2025-4-1 21:07 作者: Judicious 時間: 2025-4-2 00:25
Igor Kriz,Sophie KrizExplains the motivations behind concepts as they arise, often comparing them to their counterparts in other areas of mathematics.Includes foundational concepts from commutative algebra and details the作者: flex336 時間: 2025-4-2 06:52 作者: 繼而發(fā)生 時間: 2025-4-2 08:49
0081-3869 och eigenvalues as input data. Lastly, the book presents an algorithm for the unique determination of the potential..This updated and significantly expanded third edition features an extension of this framework978-3-031-49037-8978-3-031-49035-4Series ISSN 0081-3869 Series E-ISSN 1615-0430
