標(biāo)題: Titlebook: Embedded Software; Third International Rajeev Alur,Insup Lee Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003 Middleware [打印本頁] 作者: Defect 時間: 2025-3-21 16:52
書目名稱Embedded Software影響因子(影響力)
書目名稱Embedded Software影響因子(影響力)學(xué)科排名
書目名稱Embedded Software網(wǎng)絡(luò)公開度
書目名稱Embedded Software網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Embedded Software被引頻次
書目名稱Embedded Software被引頻次學(xué)科排名
書目名稱Embedded Software年度引用
書目名稱Embedded Software年度引用學(xué)科排名
書目名稱Embedded Software讀者反饋
書目名稱Embedded Software讀者反饋學(xué)科排名
作者: Fretful 時間: 2025-3-21 21:01 作者: angiography 時間: 2025-3-22 00:26 作者: Contend 時間: 2025-3-22 05:35
Rate Monotonic vs. EDF: Judgment Dayfashion, because the use of EDF allows a better exploitation of the available resources and significantly improves system’s performance. This paper compares RM against EDF under several aspects, using existing theoretical results or simple counterexamples to show that many common beliefs are either false or only restricted to specific situations.作者: tolerance 時間: 2025-3-22 10:29 作者: Gudgeon 時間: 2025-3-22 13:37
Energy-Efficient Multi-processor Implementation of Embedded Softwareble when only the worst/best case execution time are known and further energy reduction is possible with the probabilistic distribution of execution time. The proposed algorithms have been implemented and their energy-efficiency have been verified by simulations over real-life DSP applications and the TGFF random benchmark suite.作者: Gudgeon 時間: 2025-3-22 20:11 作者: Budget 時間: 2025-3-22 21:34 作者: 蝕刻 時間: 2025-3-23 03:32
Clocks as First Class Abstract Typesks as ., the paper presents a simpler clock calculus reminiscent to ML type systems with first order abstract types . Laufer & Odersky. Not only this system provides clock inference, it shares efficient implementations of ML type systems and appears to be expressive enough for many real applications.作者: 提煉 時間: 2025-3-23 08:14 作者: Interregnum 時間: 2025-3-23 22:19 作者: Dorsal-Kyphosis 時間: 2025-3-24 05:19 作者: 座右銘 時間: 2025-3-24 10:04
Merchants, Traders, Entrepreneurseir realization. In several areas – e.g. portable devices such as PDAs, mobile phones and laptops as well as mission critical systems such as space applications – the ability to design resource efficient solutions is crucial.作者: 山間窄路 時間: 2025-3-24 14:26
,II. Reagenzien für Mikroskopie,tem concepts are considered to be too heavy-weight for this environment, we developed a system that pushes resource control all the way to the compiler. The HOKES/POKES architecture is described in detail and its implementation evaluated.作者: Conquest 時間: 2025-3-24 16:16
Trends in Atmospheric Deposition of Mercury,ks as ., the paper presents a simpler clock calculus reminiscent to ML type systems with first order abstract types . Laufer & Odersky. Not only this system provides clock inference, it shares efficient implementations of ML type systems and appears to be expressive enough for many real applications.作者: Anguish 時間: 2025-3-24 20:34
,Theorien zu Unternehmensübernahmen,ncapsulation of abstractions into objects that communicate through clearly defined interfaces. Dynamic loading eases the maintenance and improvement of complex applications with evolving requirements and functionality. Besides, Java provides built-in support for multi-threading.作者: Introvert 時間: 2025-3-24 23:45 作者: agenda 時間: 2025-3-25 04:02
Constraint-Based Design-Space Exploration and Model Synthesis design flows. The modeling component of DESERT supports the modeling of design spaces and the automated search for designs that meet structural requirements. DESERT has been introduced in automotive applications and proved to be useful in increasing design productivity.作者: CLOT 時間: 2025-3-25 07:56 作者: 連詞 時間: 2025-3-25 15:29 作者: 記成螞蟻 時間: 2025-3-25 17:11
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs more predictable programs and is therefore well-suited for the development of real-time systems. New software development tools are necessary to support developers in writing efficient code for this new paradigm. In this paper an editor is described that highlights all code that is not conform with this programming paradigm.作者: 一個攪動不安 時間: 2025-3-25 21:19 作者: Harass 時間: 2025-3-26 03:13 作者: Coeval 時間: 2025-3-26 07:50 作者: 格子架 時間: 2025-3-26 10:54
https://doi.org/10.1007/978-3-662-38287-5h design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.作者: Apoptosis 時間: 2025-3-26 15:47 作者: TRUST 時間: 2025-3-26 20:27
https://doi.org/10.1007/978-1-4614-7951-2s has been made in the schedulability analysis of periodic task sets. Unfortunaltey, many misconceptions still exist about the properties of these two scheduling methods, which usually tend to favor RM more than EDF. Typical wrong statements often heard in technical conferences and even in research 作者: CRASS 時間: 2025-3-26 21:43
Epilogo. Seggiolino di sinistra,ce and hierarchical bottom-up translation. In the process, we formalise typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L. The tool has been used to translate part of an industrial automotive controller provided by Audi.作者: floodgate 時間: 2025-3-27 01:06
O. Russell Bullock Jr.,Lyatt Jaeglée under timing constraints. Any variable that is alive for more than one iteration must be saved by for instance storing it into a register. The second problem is derived from the first one, and consists of balancing variables’ lifetime for a target total number of registers and under timing constra作者: Assemble 時間: 2025-3-27 08:34 作者: radiograph 時間: 2025-3-27 13:23 作者: 一夫一妻制 時間: 2025-3-27 16:18
Donald M. Axelrad,Charles Jagoe,Alan Beckerset of strategies for reducing energy consumption in a multi-bank memory architecture using energy-conscious dynamic memory allocation/deallocation. Applications that make dynamic memory allocations are used very frequently in mobile computing/networking area. Our strategies focus on such applicatio作者: 鬼魂 時間: 2025-3-27 18:06 作者: 連系 時間: 2025-3-28 00:29
Sara Hoover,Ryan Hill,Tom Watsonrate and correct WCET analysis for modern processor is a quite complex problem. Path analysis is required to identify a minimal set of possible execution paths. Further, the modeling of a processor’s internal states for features like caches or pipelines requires to consider possible interferences of作者: enlist 時間: 2025-3-28 03:46 作者: projectile 時間: 2025-3-28 10:18
Graeme K. Deans,Fritz Kr?ger,Stefan Zeisel with their environment and whose behaviors depend on these interactions. Embedded software is a typical example of open system. Module checking [KV96] is a verification technique for checking whether an open system satisfies a temporal property no matter what its environment does. Module checking m作者: 作繭自縛 時間: 2025-3-28 10:43 作者: 人類學(xué)家 時間: 2025-3-28 16:45 作者: 驚奇 時間: 2025-3-28 21:35 作者: Meditate 時間: 2025-3-28 23:19
,Theorien zu Unternehmensübernahmen,easing the reuse of existing model components in the design process. This paper describes a tool suite, which has been developed for component-based model synthesis. The DESERT tool suite can be interfaced to existing modeling and analysis environments and can be inserted in various, domain specific作者: 異教徒 時間: 2025-3-29 03:18 作者: 使無效 時間: 2025-3-29 07:20 作者: chuckle 時間: 2025-3-29 14:40 作者: 女歌星 時間: 2025-3-29 19:02 作者: instate 時間: 2025-3-29 22:58 作者: 愛好 時間: 2025-3-30 02:35 作者: Coordinate 時間: 2025-3-30 06:05 作者: BROTH 時間: 2025-3-30 11:16 作者: 一再煩擾 時間: 2025-3-30 12:35
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deploymenth design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.作者: Paleontology 時間: 2025-3-30 17:24 作者: 表被動 時間: 2025-3-30 22:24
A Probabilistic Framework for Schedulability Analysis with one being chosen as a basic framework. Response-time analysis is extended to incorporate a probabilistic characterisation of task arrivals and execution times. Copulas are used to represent dependencies.作者: 有害 時間: 2025-3-31 01:03 作者: Thrombolysis 時間: 2025-3-31 07:34
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systemsic. This adds increasing degrees of resource contention, unpredictability, and dynamism to software that has traditionally been designed with resources being provisioned statically and for the worst case. This paper describes the research that we’ve been doing in the development of middleware for Qo作者: exercise 時間: 2025-3-31 10:22 作者: 令人發(fā)膩 時間: 2025-3-31 14:57
HOKES/POKES: Light-Weight Resource Sharingfor safe resource sharing. The solution consists of a host part, known as HOKES, and a network processor part, known as POKES. As common operating system concepts are considered to be too heavy-weight for this environment, we developed a system that pushes resource control all the way to the compile作者: 性學(xué)院 時間: 2025-3-31 21:21
Rate Monotonic vs. EDF: Judgment Days has been made in the schedulability analysis of periodic task sets. Unfortunaltey, many misconceptions still exist about the properties of these two scheduling methods, which usually tend to favor RM more than EDF. Typical wrong statements often heard in technical conferences and even in research 作者: Obvious 時間: 2025-4-1 01:36
Translating Discrete-Time Simulink to Lustrece and hierarchical bottom-up translation. In the process, we formalise typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L. The tool has been used to translate part of an industrial automotive controller provided by Audi.作者: 死貓他燒焦 時間: 2025-4-1 05:10 作者: Synapse 時間: 2025-4-1 07:55 作者: 祝賀 時間: 2025-4-1 12:53 作者: Diastole 時間: 2025-4-1 14:43
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applicationsset of strategies for reducing energy consumption in a multi-bank memory architecture using energy-conscious dynamic memory allocation/deallocation. Applications that make dynamic memory allocations are used very frequently in mobile computing/networking area. Our strategies focus on such applicatio作者: Formidable 時間: 2025-4-1 21:18
Space Reductions for Model Checking Quasi-Cyclic Systems systems remains the chief obstacle to its broad acceptance. One strategy for making further progress is to exploit characteristics of classes of systems to develop domain-specific reductions..In this paper, we identify a structural property of system state-spaces, which we call . structure, that ca作者: 鞭子 時間: 2025-4-2 02:00
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programsrate and correct WCET analysis for modern processor is a quite complex problem. Path analysis is required to identify a minimal set of possible execution paths. Further, the modeling of a processor’s internal states for features like caches or pipelines requires to consider possible interferences of作者: 馬賽克 時間: 2025-4-2 06:38 作者: 雇傭兵 時間: 2025-4-2 07:21
Reasoning about Abstract Open Systems with Generalized Module Checking with their environment and whose behaviors depend on these interactions. Embedded software is a typical example of open system. Module checking [KV96] is a verification technique for checking whether an open system satisfies a temporal property no matter what its environment does. Module checking m作者: adroit 時間: 2025-4-2 14:34
