咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 266 篇 工学
    • 259 篇 计算机科学与技术...
    • 173 篇 软件工程
    • 67 篇 电气工程
    • 48 篇 电子科学与技术(可...
    • 33 篇 信息与通信工程
    • 23 篇 动力工程及工程热...
    • 20 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 3 篇 力学(可授工学、理...
    • 3 篇 光学工程
    • 3 篇 生物工程
    • 2 篇 仪器科学与技术
    • 2 篇 生物医学工程(可授...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 石油与天然气工程
  • 74 篇 理学
    • 59 篇 数学
    • 12 篇 系统科学
    • 7 篇 物理学
    • 5 篇 统计学(可授理学、...
    • 3 篇 化学
    • 3 篇 生物学
  • 43 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 29 篇 工商管理
    • 9 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 5 篇 社会学

主题

  • 115 篇 embedded systems
  • 29 篇 computer archite...
  • 27 篇 hardware
  • 18 篇 embedded system
  • 16 篇 program processo...
  • 10 篇 memory managemen...
  • 9 篇 system-on-chip
  • 8 篇 application soft...
  • 8 篇 throughput
  • 8 篇 random access me...
  • 8 篇 high level synth...
  • 8 篇 field programmab...
  • 7 篇 energy consumpti...
  • 7 篇 computational mo...
  • 7 篇 computer aided s...
  • 7 篇 energy efficienc...
  • 6 篇 runtime
  • 6 篇 reliability
  • 6 篇 real time system...
  • 6 篇 space exploratio...

机构

  • 3 篇 department of co...
  • 3 篇 tech univ denmar...
  • 3 篇 center for embed...
  • 3 篇 embedded systems...
  • 3 篇 department of el...
  • 3 篇 tech univ darmst...
  • 2 篇 friedrich alexan...
  • 2 篇 univ michigan 22...
  • 2 篇 tu dresden
  • 2 篇 center for embed...
  • 2 篇 univ new south w...
  • 2 篇 university of tw...
  • 2 篇 instituto tecnol...
  • 2 篇 school of comput...
  • 2 篇 advanced compute...
  • 2 篇 budapest univ te...
  • 2 篇 univ new south w...
  • 2 篇 univ lille crist...
  • 2 篇 lamarr inst. for...
  • 2 篇 center for embed...

作者

  • 8 篇 dutt nikil
  • 7 篇 shrivastava avir...
  • 7 篇 barua rajeev
  • 6 篇 palem krishna v.
  • 5 篇 dean alexander g...
  • 5 篇 jörg henkel
  • 5 篇 henkel joerg
  • 4 篇 raghunathan anan...
  • 4 篇 ienne paolo
  • 4 篇 madsen jan
  • 4 篇 pozzi laura
  • 4 篇 vahid frank
  • 4 篇 pop paul
  • 4 篇 andreas koch
  • 3 篇 ha soonhoi
  • 3 篇 homayoun houman
  • 3 篇 koch andreas
  • 3 篇 parameswaran sri
  • 3 篇 hu xiaobo sharon
  • 3 篇 marwedel peter

语言

  • 380 篇 英文
  • 1 篇 中文
检索条件"任意字段=CASES 2006: International Conference on Compilers, Architecture and Synthesis for Embedded Systems"
381 条 记 录,以下是231-240 订阅
排序:
Thermal-Aware Scheduling for Integrated CPUs-GPU Platforms
收藏 引用
ACM TRANSACTIONS ON embedded COMPUTING systems 2019年 第5期18卷 1-25页
作者: Lee, Youngmoon Shin, Kang G. Chwa, Hoon Sung Univ Michigan 2260 Hayward St Ann Arbor MI 48109 USA DGIST 333 Techno Jungang Daero Dalseong Gun 42988 Daegu South Korea
As modern embedded systems like cars need high-power integrated CPUs-GPU SoCs for various real-time applications such as lane or pedestrian detection, they face greater thermal problems than before, which may, in turn... 详细信息
来源: 评论
Message from the program co-chairs
2013 International Conference on Compilers, Architecture and...
收藏 引用
2013 international conference on compilers, architecture and synthesis for embedded systems, cases 2013 2013年
作者: Rabbah, Rodric Raghunathan, Anand CASES'13 Program United States
来源: 评论
WCET-driven Branch Prediction aware Code Positioning
WCET-driven Branch Prediction aware Code Positioning
收藏 引用
14th Confernece on compilers, architectures and synthesis for embedded systems (cases)
作者: Plazar, Sascha Kleinsorge, Jan Marwedel, Peter Falk, Heiko Tech Univ Dortmund Comp Sci 12 D-44221 Dortmund Germany Ulm Univ Inst Embedded Syst Real Time Syst D-89081 Ulm Germany
In the past decades, embedded system designers moved from simple, predictable system designs towards complex systems equipped with caches, branch prediction units and speculative execution. This step was necessary in ... 详细信息
来源: 评论
Numerical Representation of Directed Acyclic Graphs for Efficient Dataflow embedded Resource Allocation
Numerical Representation of Directed Acyclic Graphs for Effi...
收藏 引用
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)
作者: Arrestier, Florian Desnos, Karol Juarez, Eduardo Menard, Daniel Univ Rennes INSA Rennes CNRS IETRUMR 6164 Rennes France Univ Politecn Madrid CITSEM Madrid Spain
Stream processing applications running on Heterogeneous Multi-Processor systems on Chips (HMPSoCs) require efficient resource allocation and management, both at compile-time and at runtime. To cope with modern adaptiv... 详细信息
来源: 评论
Cyber physical systems: systems engineering of industrial embedded systems — Barriers, enablers and opportunities
Cyber physical systems: Systems engineering of industrial em...
收藏 引用
Proceedings of the international conference on compilers, architectures and synthesis for embedded systems (cases)
作者: Clas. A Jacobson Richard Schooler Michel Laurence United Technologies Systems & Controls Engineering Software Engineering Tilera Corp Octasis Inc.
Cyber physical systems: systems engineering of industrial embedded systems-barriers, enablers and opportunities; high-performance, scalable, general-purpose processors to accelerate high-throughput networking and secu...
来源: 评论
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... 详细信息
来源: 评论
cases 2018 Message from Program Chairs
2018 International Conference on Compilers, Architecture and...
收藏 引用
2018 international conference on compilers, architecture and synthesis for embedded systems, cases 2018 2018年
来源: 评论
Welcome Message from the cases 2022 Program Chairs
Welcome Message from the CASES 2022 Program Chairs
收藏 引用
Proceedings of the international conference on compilers, architectures and synthesis for embedded systems (cases)
Presents the conference welcome message.
来源: 评论
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent embedded Software
Will My Program Break on This Faulty Processor?: Formal Anal...
收藏 引用
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)
作者: Bajczi, Levente Voros, Andras Molnar, Vince Budapest Univ Technol & Econ Fault Tolerant Syst Res Grp Dept Measurement & Informat Syst POB 91 H-1521 Budapest Hungary MTA BME Lendulet Cyber Phys Syst Res Grp Budapest Hungary
Formal verification is approaching a point where it will be reliably applicable to embedded software. Even though formal verification can efficiently analyze multi-threaded applications, multi-core processors are ofte... 详细信息
来源: 评论
cases 2022 Program Committee
CASES 2022 Program Committee
收藏 引用
Proceedings of the international conference on compilers, architectures and synthesis for embedded systems (cases)
Lists the conference organizers, sponsors, patrons, and/or committee members.
来源: 评论