咨询与建议

限定检索结果

文献类型

  • 822 篇 会议
  • 31 篇 期刊文献

馆藏范围

  • 853 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 409 篇 工学
    • 393 篇 计算机科学与技术...
    • 319 篇 软件工程
    • 82 篇 电子科学与技术(可...
    • 60 篇 电气工程
    • 43 篇 信息与通信工程
    • 39 篇 控制科学与工程
    • 9 篇 动力工程及工程热...
    • 7 篇 机械工程
    • 7 篇 光学工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 安全科学与工程
    • 3 篇 仪器科学与技术
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
    • 2 篇 力学(可授工学、理...
    • 2 篇 环境科学与工程(可...
    • 2 篇 生物医学工程(可授...
  • 99 篇 理学
    • 58 篇 数学
    • 37 篇 系统科学
    • 17 篇 物理学
    • 8 篇 统计学(可授理学、...
    • 2 篇 化学
  • 55 篇 管理学
    • 45 篇 管理科学与工程(可...
    • 15 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 医学
  • 1 篇 艺术学

主题

  • 167 篇 hardware
  • 94 篇 computer archite...
  • 76 篇 embedded system
  • 58 篇 application soft...
  • 56 篇 permission
  • 50 篇 embedded systems
  • 47 篇 system-on-a-chip
  • 45 篇 software
  • 44 篇 algorithm design...
  • 42 篇 computational mo...
  • 41 篇 energy consumpti...
  • 41 篇 field programmab...
  • 35 篇 costs
  • 34 篇 system-on-chip
  • 32 篇 space exploratio...
  • 30 篇 high level synth...
  • 29 篇 system-level des...
  • 27 篇 timing
  • 26 篇 delay
  • 25 篇 embedded softwar...

机构

  • 8 篇 center for embed...
  • 6 篇 school of comput...
  • 6 篇 arizona state un...
  • 6 篇 center for embed...
  • 6 篇 department of co...
  • 5 篇 school of inform...
  • 5 篇 philips research...
  • 5 篇 univ calif river...
  • 5 篇 institute for in...
  • 5 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 university of er...
  • 4 篇 tu braunschweig
  • 4 篇 university of do...
  • 4 篇 tensilica
  • 4 篇 univ elect sci &...
  • 4 篇 nec laboratories...
  • 4 篇 philips research...
  • 3 篇 integrated signa...
  • 3 篇 east china norma...

作者

  • 10 篇 ogras umit y.
  • 9 篇 sri parameswaran
  • 9 篇 nikil dutt
  • 7 篇 rolf ernst
  • 7 篇 parameswaran sri
  • 7 篇 leupers rainer
  • 6 篇 jiang wei
  • 6 篇 dutt nikil
  • 6 篇 robert p. dick
  • 6 篇 mitra tulika
  • 6 篇 rainer leupers
  • 6 篇 andreas gerstlau...
  • 5 篇 pasricha sudeep
  • 5 篇 gerd ascheid
  • 5 篇 greg stitt
  • 5 篇 jinyu zhan
  • 5 篇 umit y. ogras
  • 5 篇 tei-wei kuo
  • 5 篇 wei jiang
  • 5 篇 yuan-hao chang

语言

  • 850 篇 英文
  • 3 篇 其他
  • 1 篇 中文
检索条件"任意字段=2024 International Conference on Hardware/Software Codesign and System Synthesis"
853 条 记 录,以下是181-190 订阅
排序:
Work-in-Progress: Runtime Requirements Monitoring for State-based hardware
Work-in-Progress: Runtime Requirements Monitoring for State-...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Seo, Minjun Lysecky, Roman Univ Arizona Dept Elect & Comp Engn Tucson AZ 85721 USA
This paper presents a requirements-driven methodology enabling efficient runtime monitoring of hardware in embedded systems. We present a novel method for extracting hardware verification requirements from state-based... 详细信息
来源: 评论
2015 international conference on hardware/software codesign and system synthesis, CODES+ISSS 2015
2015 International Conference on Hardware/Software Codesign ...
收藏 引用
international conference on hardware/software codesign and system synthesis, CODES+ISSS 2015
The proceedings contain 24 papers. The topics discussed include: how to improve the space utilization of Dedup-based PCM storage devices?;a tiny-capacitor-backed non-volatile buffer to reduce storage writes in smartph...
来源: 评论
Statistical Verification of Hyperproperties for Cyber-Physical systems
Statistical Verification of Hyperproperties for Cyber-Physic...
收藏 引用
Embedded systems Week / Int Conf on Compilers, Architecture, and synthesis for Embedded systems (CASES) / international conference on hardware/software codesign and system synthesis (CODES+ISSS) / Int Conf on Embedded software (EMSOFT)
作者: Wang, Yu Zarei, Mojtaba Bonakdarpour, Borzoo Pajic, Miroslav Duke Univ 100 Sci DrHudson Hall Rm 220 Durham NC 27708 USA Iowa State Univ 207 Atanasoff Hall Ames IA 50011 USA
Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabilistic fairness and sensitivity to mod... 详细信息
来源: 评论
Work-in-Progress: hardware Implementation of a Multi-Mode-Aware Mixed-Criticality Scheduler
Work-in-Progress: Hardware Implementation of a Multi-Mode-Aw...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Hounsinou, Sena Vasu, Aishwarya Ramaprasad, Harini Southern Illinois Univ Carbondale IL 62901 USA Univ N Carolina Charlotte NC USA
To minimize size, weight, power, and cost, the industry aims at consolidating different criticality applications on the same hardware platform. In such a mixed-criticality environment, it is challenging to contain the... 详细信息
来源: 评论
SWARAM: Portable Energy and Cost Efficient Embedded system for Genomic Processing
SWARAM: Portable Energy and Cost Efficient Embedded System f...
收藏 引用
Embedded systems Week / Int Conf on Compilers, Architecture, and synthesis for Embedded systems (CASES) / international conference on hardware/software codesign and system synthesis (CODES+ISSS) / Int Conf on Embedded software (EMSOFT)
作者: Mohanty, Ram Prasad Gamaarachchi, Hasindu Lambert, Andrew Parameswaran, Sri Univ New South Wales Canberra ACT 2612 Australia Univ New South Wales Sydney NSW 2052 Australia
Treatment of patients using high-quality precision medicine requires a thorough understanding of the genetic composition of a patient. Ideally, the identification of unique variations in an individual's genome is ... 详细信息
来源: 评论
Special Session: Future Automotive systems Design: Research Challenges and Opportunities
Special Session: Future Automotive Systems Design: Research ...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Saidi, Selma Steinhorst, Sebastian Hamann, Arne Ziegenbein, Dirk Wolf, Marko Hamburg Univ Technol Hamburg Germany Tech Univ Munich Munich Germany Robert Bosch GmbH Renningen Germany ESCRYPT GmbH Munich Germany
Automotive systems are currently undergoing a radical shift in the way they are designed, implemented and deployed. Such changes impose an increased complexity and a high number of requirements in order to be more aut... 详细信息
来源: 评论
Work-in-Progress: AMVP - A High Performance Virtual Platform using Parallel systemC for Multicore ARM Architectures
Work-in-Progress: AMVP - A High Performance Virtual Platform...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Weinstock, Jan Henrik Bucs, Robert Lajos Walbroel, Florian Leupers, Rainer Ascheid, Gerd Rhein Westfal TH Aachen Aachen Germany
This paper presents AMVP - a systemC based simulator for ARM multicore platforms designed as a tool for early SW development during platform bring-up. It uses a parallel systemC simulation approach to counter the perf... 详细信息
来源: 评论
Work-in-Progress: Co-Design of Security-Critical Real-Time systems to Prevent Fault Injection Attacks
Work-in-Progress: Co-Design of Security-Critical Real-Time S...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Jiang, Wei Xiu, Liugen Zhan, Jinyu Jiang, Ke Univ Elect Sci & Technol China Sch Informat & Software Engn Chengdu Peoples R China Veoneer Res & Engn Dept Stockholm Sweden
We present a system-level co-design approach for security-critical real-time systems to resist fault injection attack. We focus on protecting the encryption/decryption of confidential messages over the internal commun... 详细信息
来源: 评论
Work-in-Progress: Hierarchical Ensemble Learning for Resource-Aware FPGA Computing
Work-in-Progress: Hierarchical Ensemble Learning for Resourc...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Wang, Hongfei Li, Jianwen He, Kun Cai, Wenjie Huazhong Univ Sci & Technol Sch Comp Sci & Technol Wuhan Peoples R China
Recent years witness the rapid development in hardware/software codesign that integrates machine learning (ML) models with hardware systems [1]–[4]. Despite the booming trend in building neuromorphic computing system... 详细信息
来源: 评论
Work-in-Progress: Equivalence of Transformations of Synchronous Data Flow Graphs
Work-in-Progress: Equivalence of Transformations of Synchron...
收藏 引用
ACM/IEEE international conference on hardware/software codesign and system synthesis (CODES+ISSS)
作者: Zhu, Xue-Yang Chinese Acad Sci State Key Lab Comp Sci Inst Software Beijing Peoples R China
Synchronous data flow graphs (SDFGs) are widely used to model digital signal processing (DSP) algorithms and streaming applications. Any valid SDFG can be converted to an equivalent homogenous SDFG (HSDFG). Retiming a... 详细信息
来源: 评论