標(biāo)題: Titlebook: Distributed, Parallel and Biologically Inspired Systems; 7th IFIP TC 10 Worki Mike Hinchey,Bernd Kleinjohann,Marilyn Wolf Conference procee [打印本頁(yè)] 作者: choleric 時(shí)間: 2025-3-21 18:56
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems影響因子(影響力)
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems被引頻次
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems被引頻次學(xué)科排名
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems年度引用
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems年度引用學(xué)科排名
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems讀者反饋
書(shū)目名稱Distributed, Parallel and Biologically Inspired Systems讀者反饋學(xué)科排名
作者: 作嘔 時(shí)間: 2025-3-22 00:00
https://doi.org/10.1057/9781137365729-based simulation framework, which enables early functional simulation and provides a refinement flow towards an implementation, covering an increasing level of platform details. We propose shared resource extensions towards multi-core platform models and discuss which aspects of the system behaviour can be captured.作者: N斯巴達(dá)人 時(shí)間: 2025-3-22 02:18
Generating VHDL Source Code from UML Models of Embedded Systems UML specifications. This approach is supported by the GenERTiCA tool, which has been extended to support VHDL code generation. To validate this work, a use case focused in maintenance systems attended by embedded systems is presented.作者: Custodian 時(shí)間: 2025-3-22 08:01 作者: Scintillations 時(shí)間: 2025-3-22 11:07
Germination and vegetative development,ration becomes possible. MDD is now commonly used within the software community..Next, for the hardware community, this work will empower the use of MDD in hardware design and simulation. It offers a completely operational framework based on OMG standards: UML and MARTE.作者: 不斷的變動(dòng) 時(shí)間: 2025-3-22 13:05
https://doi.org/10.1007/978-3-030-25139-0services also gives rise to a potential safety problem. Thus, online model checking is integrated to the operating system so as to improve the dependability, reliability, and fault tolerance of these adaptable OS services.作者: 不斷的變動(dòng) 時(shí)間: 2025-3-22 20:21
Tom G. Mackay,Akhlesh Lakhtakiaion scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU.作者: Breach 時(shí)間: 2025-3-22 23:53
An Entirely Model-Based Framework for Hardware Design and Simulationration becomes possible. MDD is now commonly used within the software community..Next, for the hardware community, this work will empower the use of MDD in hardware design and simulation. It offers a completely operational framework based on OMG standards: UML and MARTE.作者: 感情脆弱 時(shí)間: 2025-3-23 02:31 作者: mendacity 時(shí)間: 2025-3-23 06:51 作者: 下邊深陷 時(shí)間: 2025-3-23 10:26
Conference proceedings 2010 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to depen作者: Congestion 時(shí)間: 2025-3-23 17:52
Rialto 2.0: A Language for Heterogeneous ComputationsEncapsulation of models of computation into policies: we thus distinguish between the syntactic elements of the language (parallelism, interrupts) and its semantics; 3) efficient implementation algorithms. Policies are expressed in the language itself, which allows for more expressive power and a sounder semantics.作者: 清醒 時(shí)間: 2025-3-23 21:03 作者: 幻影 時(shí)間: 2025-3-24 02:00 作者: alleviate 時(shí)間: 2025-3-24 04:46
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time oduced by Redell et al. The paper shows how it is possible to calculate a lower bound for the best-case response time using an expressive event model. This new lower bound of the response time will relax the event densities in a distributed system and will therefore lead to more relaxed worst-case response times.作者: FUME 時(shí)間: 2025-3-24 08:54 作者: 空氣傳播 時(shí)間: 2025-3-24 10:50
Task Migration for Fault-Tolerant FlexRay Networksreduce the required memory resources of the backup nodes, we distribute redundant tasks over different nodes and propose the migration of tasks to the backup node at runtime. We investigate different solutions to migrate the redundant tasks to the backup node by time-triggered and event-triggered transmissions.作者: 愉快嗎 時(shí)間: 2025-3-24 15:52
Court Room Battles Along Parallel Lines,Encapsulation of models of computation into policies: we thus distinguish between the syntactic elements of the language (parallelism, interrupts) and its semantics; 3) efficient implementation algorithms. Policies are expressed in the language itself, which allows for more expressive power and a sounder semantics.作者: nascent 時(shí)間: 2025-3-24 19:40
Models and Experiments in Musicologyicance to the system as a whole, its consequent number of passive replicas, and where to place those replicas in the network. The activation of passive replicas is coordinated through a fast convergence protocol that reduces the complexity of the needed interactions among nodes until a new collective global service solution is determined.作者: 擔(dān)憂 時(shí)間: 2025-3-25 02:43 作者: endoscopy 時(shí)間: 2025-3-25 05:26 作者: cauda-equina 時(shí)間: 2025-3-25 07:45 作者: 群居動(dòng)物 時(shí)間: 2025-3-25 14:58
1868-4238 as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20–23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, cove作者: Anthrp 時(shí)間: 2025-3-25 17:58 作者: 笨拙的我 時(shí)間: 2025-3-25 22:46
Distributed, Parallel and Biologically Inspired Systems978-3-642-15234-4Series ISSN 1868-4238 Series E-ISSN 1868-422X 作者: 付出 時(shí)間: 2025-3-26 03:49
https://doi.org/10.1007/978-3-642-15234-4Organic Computing; biologically inspired; design; modeling; self-organizing system; simulation; validation作者: 輕率的你 時(shí)間: 2025-3-26 05:12
978-3-642-42292-8IFIP International Federation for Information Processing 2010作者: Boycott 時(shí)間: 2025-3-26 11:07
Mike Hinchey,Bernd Kleinjohann,Marilyn WolfState-of-the-art research.Fast-track conference proceedings.Unique visibility作者: 名義上 時(shí)間: 2025-3-26 12:48
IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/e/image/281993.jpg作者: BILE 時(shí)間: 2025-3-26 20:35 作者: 討好女人 時(shí)間: 2025-3-26 20:59 作者: KEGEL 時(shí)間: 2025-3-27 02:16 作者: Minikin 時(shí)間: 2025-3-27 06:52
Court Room Battles Along Parallel Lines,and concurrency (MoCCs). In this paper we present Rialto, a formal language intended at expressing computations in several MoCCs. The distinguishing features of Rialto and its implementation are 1) A formal semantics: the language is formalized using SOS (structured operational semantics) rules; 2) 作者: Radiculopathy 時(shí)間: 2025-3-27 10:50
A. H. Lange,B. B. Fischer,F. M. Ashtonch the system behavior is modeled in two steps that gradually introduce detail and formality. This manuscript addresses the first step, where text-based descriptions, in the form of structured rules, are used to specify how the system is or should be regulated. Those rules can be used to create beha作者: Brochure 時(shí)間: 2025-3-27 14:24 作者: 編輯才信任 時(shí)間: 2025-3-27 18:06
,Wall’s diffeomorphisms and ,-cobordism,al UML), for which it defines a general-purpose execution model. This execution model therefore captures an executable semantics for fUML, providing an unambiguous basis for various kinds of model-based exploitations (model transformation, code generation, analysis, simulation, debugging etc.). This作者: Lasting 時(shí)間: 2025-3-28 01:39
https://doi.org/10.1007/978-3-0348-8141-8dule by redundant slots with modifications in the communication and slot assignment. We introduce additional backup nodes to replace faulty nodes. To reduce the required memory resources of the backup nodes, we distribute redundant tasks over different nodes and propose the migration of tasks to the作者: Sigmoidoscopy 時(shí)間: 2025-3-28 05:56 作者: ANT 時(shí)間: 2025-3-28 09:54
https://doi.org/10.1007/978-3-030-93197-1s and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the 作者: flammable 時(shí)間: 2025-3-28 12:03 作者: 小卷發(fā) 時(shí)間: 2025-3-28 15:27
https://doi.org/10.1007/978-3-030-25139-0y and reliability are achieved by integrating online model checking technique. Each OS service has different implementations which are further partitioned into small blocks. This operating system design allows the OS service to be adapted at runtime according to the given resource requirements and r作者: 令人心醉 時(shí)間: 2025-3-28 20:18 作者: 燦爛 時(shí)間: 2025-3-29 02:14
The Tragicomedy of Classical Thermodynamicsction level is being continuously raised, and, in addition, new design techniques have also been used to shorten design time. In this context, Model-Driven Engineering approaches that use UML models are interesting options to design embedded systems, aiming at code generation of software and hardwar作者: reflection 時(shí)間: 2025-3-29 04:33 作者: OUTRE 時(shí)間: 2025-3-29 08:30
Tom G. Mackay,Akhlesh Lakhtakiaombine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately mig作者: NEX 時(shí)間: 2025-3-29 15:22 作者: 萬(wàn)神殿 時(shí)間: 2025-3-29 16:37 作者: 抵押貸款 時(shí)間: 2025-3-29 20:07
https://doi.org/10.1057/9781137365729velopment of efficient, predictable, and correct applications for such platforms. To efficiently map software applications to these architectures, the impact of platform decisions with respect to the hardware . the software infrastructure (OS, scheduling policies, priorities, mapping) has to be expl作者: 克制 時(shí)間: 2025-3-30 00:57 作者: NOVA 時(shí)間: 2025-3-30 06:13 作者: Inclement 時(shí)間: 2025-3-30 11:32
Extending the Standard Execution Model of UML for Real-Time Systemsefinition implied) to capture the precise execution semantics of real-time systems. In this paper, we show that this approach is not directly feasible, because of the way concurrency and asynchronous communications are actually handled in the fUML execution model. However, we show that introducing s作者: negotiable 時(shí)間: 2025-3-30 12:42 作者: Nibble 時(shí)間: 2025-3-30 16:34
Efficient Mutation-Analysis Coverage for Constrained Random Verificationristics for steering the test generation is derived. The automated flow is implemented by the SystemC Verification Library and by Certitude. for mutation analysis. Results from the experiment with an IEEE floating point arithmetic design show the efficiency of our approach.作者: 大洪水 時(shí)間: 2025-3-31 00:23
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processorsre extremely slow for simulating real world software applications. At the same time, the instruction set simulators are fast for simulating real world software applications, but they fail to provide information so readily available from the HDL models. The framework presented in this paper, RACE, ad作者: 多嘴多舌 時(shí)間: 2025-3-31 03:42 作者: 急性 時(shí)間: 2025-3-31 07:08 作者: synovium 時(shí)間: 2025-3-31 09:39
https://doi.org/10.1057/9781137116567y con-sumption and adapt consumption to the available energy, or in energy supply net-works that are optimized to include renewable energy production. In all these cases we observe a transition from local closed networks with a single systems integrator controlling all design aspects (such as an aut作者: 不知疲倦 時(shí)間: 2025-3-31 15:45 作者: 致命 時(shí)間: 2025-3-31 20:47
,Wall’s diffeomorphisms and ,-cobordism,efinition implied) to capture the precise execution semantics of real-time systems. In this paper, we show that this approach is not directly feasible, because of the way concurrency and asynchronous communications are actually handled in the fUML execution model. However, we show that introducing s作者: etiquette 時(shí)間: 2025-4-1 01:29
https://doi.org/10.1007/978-3-030-93197-1el checker, before moving our implementation to C. As the thread models are nearly identical, such a transition does not incur high development cost. Our case studies confirm the potential of our approach.作者: 增長(zhǎng) 時(shí)間: 2025-4-1 04:36 作者: olfction 時(shí)間: 2025-4-1 08:53
The Tragicomedy of Classical Thermodynamicsre extremely slow for simulating real world software applications. At the same time, the instruction set simulators are fast for simulating real world software applications, but they fail to provide information so readily available from the HDL models. The framework presented in this paper, RACE, ad
