標(biāo)題: Titlebook: Languages, Design Methods, and Tools for Electronic System Design; Selected Contributio Tom J. Kazmierski,Sebastian Steinhorst,Daniel Gro? [打印本頁] 作者: EFFCT 時間: 2025-3-21 18:30
書目名稱Languages, Design Methods, and Tools for Electronic System Design影響因子(影響力)
書目名稱Languages, Design Methods, and Tools for Electronic System Design影響因子(影響力)學(xué)科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design網(wǎng)絡(luò)公開度
書目名稱Languages, Design Methods, and Tools for Electronic System Design網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design被引頻次
書目名稱Languages, Design Methods, and Tools for Electronic System Design被引頻次學(xué)科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design年度引用
書目名稱Languages, Design Methods, and Tools for Electronic System Design年度引用學(xué)科排名
書目名稱Languages, Design Methods, and Tools for Electronic System Design讀者反饋
書目名稱Languages, Design Methods, and Tools for Electronic System Design讀者反饋學(xué)科排名
作者: EPT 時間: 2025-3-21 21:18 作者: 言外之意 時間: 2025-3-22 04:00
978-3-030-31587-0Springer Nature Switzerland AG 2020作者: glucagon 時間: 2025-3-22 05:06 作者: 瑪瑙 時間: 2025-3-22 11:33
https://doi.org/10.1007/978-3-030-31585-6Design Specification Languages; Design Verification; Automatic Synthesis; Mechanized Debugging; Rapid Pr作者: Introduction 時間: 2025-3-22 13:44
1876-1100 n, modeling and verification of mixed physical domain and mi.This book brings together a selection of the best papers from the?twenty-first?edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. ?FDL is a well-estab作者: 生銹 時間: 2025-3-22 20:50 作者: 高貴領(lǐng)導(dǎo) 時間: 2025-3-22 23:57 作者: transplantation 時間: 2025-3-23 05:03
AADD-Based Symbolic Simulation of SystemC AMS,te, dedicated compiler. This paper shows an approach how to use the existing simulator to generate a formal model of a system without using yet another compiler, intermediate language or tool. The approach is based on generation of AADD and BDD for symbolic simulation and it is integrated in SystemC AMS modeling language and simulator.作者: microscopic 時間: 2025-3-23 05:39 作者: 是貪求 時間: 2025-3-23 10:08 作者: Repatriate 時間: 2025-3-23 16:57
SystemC Coding Guideline for Faster Out-of-Order Parallel Discrete Event Simulation,ments, so that the level of parallelism in the design increases and higher simulation speed becomes possible. Our experimental results show that a maximum speedup of over 6.0x is achieved on an 8-core processor, which is 1.7 times faster than parallel simulation without the coding guideline.作者: Ankylo- 時間: 2025-3-23 21:05 作者: 巡回 時間: 2025-3-23 22:53
Book 2020main and mixed signal systems that include significant analog parts in electrical and non-electrical domains;.Includes formal and semi-formal system level design methods for complex embeddedsystems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)..作者: 內(nèi)疚 時間: 2025-3-24 05:05 作者: Encapsulate 時間: 2025-3-24 10:03
Alexander Schulz-Rosengarten,Reinhard von Hanxleden,Frédéric Mallet,Robert de Simone,Julien Deantoniemperature that occur across the boundary layer. In heat transfer, there are two boundary layers that develop simultaneously; a momentum boundary layer and a thermal boundary layer. The retarding effects of viscosity occur within the momentum boundary layer. In fluid mechanics, the forces exerted by作者: Antagonist 時間: 2025-3-24 14:33 作者: dry-eye 時間: 2025-3-24 18:14 作者: 抑制 時間: 2025-3-24 21:54
Robert Wille,Bing Li,Rolf Drechsler,Ulf Schlichtmannhrough flow visualization different flow patterns and different flow regimes have been identified. The change of flow regime from one to another has been one of the potential causes affecting pressure drop and heat transfer characteristics in two phase flow. Pressure and thermal oscillations are the作者: 脫離 時間: 2025-3-25 02:35
Yue Lu,Shengyu Duan,Tom J. Kazmierskids in the thermodynamically critical state. Emphasis is placed on those flow phenomena that occur at low temperatures. Flow analyses are, of course, a prerequisite to forced-convection heat transfer analyses, and thus these chapters add continuity to the text. The book is primarily written for the design engi978-1-4899-2000-3978-1-4899-1998-4作者: mendacity 時間: 2025-3-25 04:32
Zhongqi Cheng,Tim Schmidt,Rainer D?merthermodynamically critical state. Emphasis is placed on those flow phenomena that occur at low temperatures. Flow analyses are, of course, a prerequisite to forced-convection heat transfer analyses, and thus these chapters add continuity to the text. The book is primarily written for the design engi作者: Dedication 時間: 2025-3-25 11:07 作者: LEERY 時間: 2025-3-25 14:33
Carna Zivkovic,Christoph Grimmthermodynamically critical state. Emphasis is placed on those flow phenomena that occur at low temperatures. Flow analyses are, of course, a prerequisite to forced-convection heat transfer analyses, and thus these chapters add continuity to the text. The book is primarily written for the design engi作者: arrogant 時間: 2025-3-25 19:52 作者: Precursor 時間: 2025-3-25 20:54 作者: 去世 時間: 2025-3-26 01:53 作者: Decimate 時間: 2025-3-26 05:46 作者: legislate 時間: 2025-3-26 09:19
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms,ations. The approach is based on two concepts: (1) exposing the internal time of each component and (2) exploiting the newly exposed information to implement temporal decoupling. The combination of these two concepts allows to optimize the coordination algorithms by reducing the number of synchroniz作者: Gratuitous 時間: 2025-3-26 12:50 作者: 啞巴 時間: 2025-3-26 19:39 作者: STENT 時間: 2025-3-26 23:18 作者: ALERT 時間: 2025-3-27 04:31 作者: Ancestor 時間: 2025-3-27 07:43 作者: 跳動 時間: 2025-3-27 12:20 作者: 石墨 時間: 2025-3-27 14:04 作者: 遭遇 時間: 2025-3-27 21:47
SystemC Coding Guideline for Faster Out-of-Order Parallel Discrete Event Simulation, executed at segment level in parallel. Although the parallel simulation is generally faster than its sequential counterpart, any data conflict among segments reduces the simulation speed significantly. In this paper, we propose for RISC users a coding guideline that increases the granularity of seg作者: electrolyte 時間: 2025-3-27 22:10
Extensible and Configurable RISC-V Based Virtual Prototype,r is the core component. Hence, as an open and free instruction set architecture RISC-V is gaining huge popularity for IoT. A large ecosystem is available around RISC-V, including various RTL implementations at one end and high-speed instruction set simulators (ISSs) at the other end. These ISSs fac作者: jeopardize 時間: 2025-3-28 02:55 作者: 舊式步槍 時間: 2025-3-28 07:38
Blech, Imperative Synchronous Programming!,. Our focus is on the practical aspects of these questions regarding expressiveness in programs as well as causality analysis and code generation. The approach is illustrated by means of examples written in our new language .. In particular, we revisit the . example from the literature to discuss ca作者: arterioles 時間: 2025-3-28 11:28 作者: Intellectual 時間: 2025-3-28 16:03
Alexander Schulz-Rosengarten,Reinhard von Hanxleden,Frédéric Mallet,Robert de Simone,Julien Deantoni of Newton’s “Law” of Cooling requires a closer look at the fluid in the immediate vicinity of a solid object at a different temperature. In this chapter, a 1-node analysis of the flow across a thin flat plate is developed that reveals the underlying physics of convection. The concept of a boundary 作者: 蕨類 時間: 2025-3-28 19:19 作者: Anthropoid 時間: 2025-3-29 02:25
Ege Korkan,Sebastian Kaebisch,Matthias Kovatsch,Sebastian Steinhorst (and handles). The approach is applied to the coffee/mug problem, this time with half a mug, and the heat transfer into the rim and out to ambient is detailed. Extended surfaces are widely used as either heat transfer fins (devices designed to increase the overall rate of heat transfer between a so作者: Employee 時間: 2025-3-29 06:53
Robert Wille,Bing Li,Rolf Drechsler,Ulf Schlichtmannvery small size surface area. Among various cooling methods, two phase cooling method outperform. Flow boiling can dissipate significantly higher heat fluxes while requiring smaller rates of coolant flow than its single-phase counterpart moreover heat exchanger surfaces are subjected to more uniform
