咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是211-220 订阅
排序:
Deriving Equations from Sensor Data Using Dimensional Function synthesis
Deriving Equations from Sensor Data Using Dimensional Functi...
收藏 引用
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, Youchao Willis, Sam Tsoutsouras, Vasileios Stanley-Marbell, Phillip Univ Cambridge 9 JJ Thomson Ave Cambridge CB3 0FA England
We present a new method for deriving functions that model the relationship between multiple signals in a physical system. The method, which we call dimensional function synthesis, applies to data streams where the dim... 详细信息
来源: 评论
cases 2023 Program Committee
CASES 2023 Program Committee
收藏 引用
Proceedings of the international conference on compilers, architectures and synthesis for embedded systems (cases)
来源: 评论
Revisiting Level-0 Caches in embedded Processors
Revisiting Level-0 Caches in Embedded Processors
收藏 引用
ACM international conference on compilers, architectures and synthesis for embedded systems (cases)
作者: Duong, Nam Kim, Taesu Zhao, Dali Veidenbaum, Alexander V. Univ Calif Irvine Dept Comp Sci Irvine CA 92717 USA
Level-0 (L0) caches have been proposed in the past as an inexpensive way to improve performance and reduce energy consumption in resource-constrained embedded processors. This paper proposes new L0 data cache organiza... 详细信息
来源: 评论
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent embedded Software
收藏 引用
ACM TRANSACTIONS ON embedded COMPUTING systems 2019年 第5期18卷 1-21页
作者: 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... 详细信息
来源: 评论
Message from the cases 2023 Program Chairs
Message from the CASES 2023 Program Chairs
收藏 引用
Proceedings of the international conference on compilers, architectures and synthesis for embedded systems (cases)
来源: 评论
End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed systems
End-to-End Timing Analysis of Sporadic Cause-Effect Chains i...
收藏 引用
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)
作者: Duerr, Marco Von Der Brueggen, Georg Chen, Kuan-Hsun Chen, Jian-Jia TU Dortmund Univ Dortmund Germany
A cause-effect chain is used to define the logical order of data dependent tasks, which is independent from the execution order of the jobs of the (periodic/sporadic) tasks. Analyzing the worst-case End-to-End timing ... 详细信息
来源: 评论
From ESL 2010 to ESL 2015  10
From ESL 2010 to ESL 2015
收藏 引用
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
作者: Jeremiassen, Tor Martin, Grant Kogel, Tim Donlin, Adam Takach, Andres Chatha, Karam Texas Instruments United States Tensilica United States Synopsys United States Xilinx United States Mentor Graphics United States Arizona State University United States
In 2010, a wave of consolidation swept over the Electronic System Level (ESL) design industry. It brought ESL providers together with mainstream EDA houses and created opportunities for new ESL ventures. This paper co... 详细信息
来源: 评论
Power Agnostic Technique for Efficient Temperature Estimation of Multicore embedded systems
Power Agnostic Technique for Efficient Temperature Estimatio...
收藏 引用
ACM international conference on compilers, architectures and synthesis for embedded systems (cases)
作者: Rai, Devendra Yang, Hoeseok Bacivarov, Iuliana Thiele, Lothar ETH Comp Engn & Networks Lab CH-8092 Zurich Switzerland
Temperature plays an increasingly important role in the overall performance and reliability of a computing system. Multi- and many-core systems provide an opportunity to manage the overall temperature profile by cleve... 详细信息
来源: 评论
D-PUF: An Intrinsically Reconfigurable DRAM PUF for Device Authentication in embedded systems
D-PUF: An Intrinsically Reconfigurable DRAM PUF for Device A...
收藏 引用
international conference on Compliers, architectures, and synthesis of embedded systems (cases)
作者: Sutar, Soubhagya Raha, Arnab Raghunathan, Vijay Purdue Univ Sch Elect & Comp Engn W Lafayette IN 47907 USA
Physically Unclonable Functions (PUFs) have proved to be an effective and low-cost measure against counterfeiting by providing device authentication and secure key storage services. Memory based PUF implementations ar... 详细信息
来源: 评论
WCET-driven Cache-aware Code Positioning
WCET-driven Cache-aware Code Positioning
收藏 引用
14th Confernece on compilers, architectures and synthesis for embedded systems (cases)
作者: Falk, Heiko Kotthaus, Helena Univ Ulm Inst Embedded Systems Real Time Syst D-89069 Ulm Germany Tech Univ Dortmund Comp Sci 12 D-44221 Dortmund Germany
Code positioning is a well-known compiler optimization aiming at the improvement of the instruction cache behavior. A contiguous mapping of code fragments in memory avoids overlapping of cache sets and thus decreases ... 详细信息
来源: 评论