搜索页_+HWS

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(484)

在“SpringerLink电子期刊”中，命中：484条，耗时：小于0.01 秒

在所有数据库中总计命中：484条

1. A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems

作者： Christian Bartsch ; Carlos Villarraga ; Dominik Stoffel…

关键词：HW/SW fault analysis ; Fault propagation ; Safety analysis ; Testability

刊名：Journal of Electronic Testing

出版年：2017

2. On Evolutionary Approximation of Sigmoid Function for HW/SW Embedded Systems

关键词：Sigmoid ; Linear genetic programming ; HW/SW co ; design

刊名：Lecture Notes in Computer Science

出版年：2017

3. A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers

关键词：Interlocking systems ; Model ; based testing ; Equivalence class partition testing ; HW/SW integration testing

刊名：Lecture Notes in Computer Science

出版年：2016

4. Low power memory allocation and mapping for area-constrained systems-on-chips

作者： Manuel Strobel ; Marcus Eggenberger ; Martin Radetzki

刊名：EURASIP Journal on Embedded Systems

出版年：2017

5. Fast prototyping of a SoC-based smart-camera: a real-time fall detection case study

作者： Benaoumeur Senouci ; Imen Charfi…

关键词：Real ; time fall detection ; SoC implementation ; Fast smart camera prototyping ; Zynq ; HW/SW implementation ; Boosting hardware implementation

刊名：Journal of Real-Time Image Processing

出版年：2016

6. HWS-Traumata

作者： Dr. U. Yilmaz ; Dr. P. Hellen

刊名：Der Radiologe

出版年：2016

7. Applying SMT-based verification to hardware/software partitioning in embedded systems

作者： Alessandro B. Trindade ; Lucas C. Cordeiro

关键词：Hardware/software co ; design ; Embedded systems ; Partitioning ; Binary integer programming ; Genetic algorithm ; Formal verification

刊名：Design Automation for Embedded Systems

出版年：2016

8. Mathematical model for calculation of the heat-hydraulic modes of heating points of heat-supplying systems

作者： Z. I. Shalaginova

关键词：heat supplying system ; heat networks ; multilevel simulation ; heat points ; heat ; hydraulic mode ; mathematical modeling ; calculation method ; software

刊名：Thermal Engineering

出版年：2016

9. Studies on thermophysical properties of ThW₂O₈ and UWO₆

作者： Meera Keskar ; K. Krishnan ; R. Phatak…

关键词：DSC ; HTXRD ; Thermal expansion ; Thermogravimetry ; Tungstates

刊名：Journal of Thermal Analysis and Calorimetry

出版年：2016

10. Effects of various organic amendments on organic carbon pools and water stable aggregates under a scented rice–potato–onion cropping system

作者： Rajeev Padbhushan ; Rajiv Rakshit ; Anupam Das…

关键词：Soil microbial biomass carbon ; Water ; extractable organic carbon ; Carbohydrate fractions ; Aggregate stability

刊名：Paddy and Water Environment

出版年：2016

按检索点细分(484)

题名(160)

关键词(108)

文摘(355)

按出版年细分(484)

2017年(3)

2016年(14)

2015年(19)

2014年(22)

2013年(25)

2012年(13)

2011年(4)

2010年(17)

2009年(18)

2008年(16)

2007年(44)

2006年(36)

2005年(31)

2004年(34)

2003年(21)

2002年(37)

2001年(38)

2000年(34)

2000年及以前(58)