咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是351-360 订阅
排序:
Generic architecture Description for Retargetable Compilation and synthesis of Application-Specific Pipelined IPs
Generic Architecture Description for Retargetable Compilatio...
收藏 引用
IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: Bita Gorjiara Mehrdad Reshadi Daniel Gajski Center for Embedded Computer Systems University of California Irvine USA
Constraints of embedded systems and the shrinking time-to-market have elevated the importance of designer productivity and design predictability more than ever. To improve productivity, in ASIP approaches the system i... 详细信息
来源: 评论
Numerical Representation of Directed Acyclic Graphs for Efficient Dataflow embedded Resource Allocation
收藏 引用
ACM TRANSACTIONS ON embedded COMPUTING systems 2019年 第5期18卷 101-101页
作者: 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... 详细信息
来源: 评论
A New High Resolution Frequency and Phase synthesis Method based on `Flying-Adder' architecture
A New High Resolution Frequency and Phase Synthesis Method b...
收藏 引用
IEEE international conference on Semiconductor Electronics (ICSE)
作者: Hossein Gharaee Elham Tathesari Tarbiat Modares University Shariati University Iran
High speed electronic systems demand frequency synthesizer of high resolution, wide bandwidth and fast switching speed. The "Flying-Adder" architecture is a frequency and phase synthesis technique that is ba... 详细信息
来源: 评论
architecture Exploration and Tools for Pipelined Coarse-Grained Reconfigurable Arrays
Architecture Exploration and Tools for Pipelined Coarse-Grai...
收藏 引用
international conference on Field Programmable Logic and Applications
作者: Florian Stock Andreas Koch Department for Integrated Technical University of Braunschweig Brunswick Germany Embedded Systems and Applications Group (ESA) Technical University of Darmstadt Darmstadt Germany
The paper presents a heavily parametrized tool suite that allows the modeling and exploration of heterogeneous, coarse-grained, heavily pipelined reconfigurable architectures. Our tools perform a simultaneous mapping ... 详细信息
来源: 评论
Resource virtualization in real-time CORBA middleware
Resource virtualization in real-time CORBA middleware
收藏 引用
international conference on Hardware/Software Codesign and System synthesis (CODES)
作者: Christopher D. Gill Department of Computer Science and Engineering Washington University Saint Louis MO USA
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more abstract and consistent view of those resources is presented to the applications that us... 详细信息
来源: 评论
Equivalence checking: a rule-based approach
Equivalence checking: a rule-based approach
收藏 引用
ACM and IEEE international conference on Formal Methods and Models for Co-Design (MEMOCODE)
作者: M. Fujita S. Shankar S. Shunsuke University of Tokyo Japan CUNY City University of New York USA
A well-known problem in the design of embedded systems is checking for equivalence of two systems, and the traditional approach constructs and proves equivalence of finite state models of the two systems. Although wid... 详细信息
来源: 评论
An on-chip diagnosis methodology for embedded cores with replaceable modules
An on-chip diagnosis methodology for embedded cores with rep...
收藏 引用
international conference on VLSI Design
作者: R.C. Tekumalla ATI Research Inc. Marlborough MA USA
We propose a design for test and diagnosis architecture that simplifies the process of identifying failures within a failing sub-module, without explicitly identifying the faults responsible for that failure. The extr... 详细信息
来源: 评论
Energy Conscious Simultaneous Voltage Scaling and On-chip Communication Bus synthesis
Energy Conscious Simultaneous Voltage Scaling and On-chip Co...
收藏 引用
IFIP international conference on Very Large Scale Integration (VLSI-SoC)
作者: Sujan Pandey Tudor Murgan Manfred Glesner Institute of Microelectronics Systems Darmstadt University of Technology Darmstadt Germany
Due to the ever increasing trend of system complexity and technology scaling, synthesizing on-chip communication architecture appears to be a challenging task for the system designers. The traditional approaches are m... 详细信息
来源: 评论
Statistical Verification of Hyperproperties for Cyber-Physical systems
收藏 引用
ACM TRANSACTIONS ON embedded COMPUTING systems 2019年 第5期18卷 92-92页
作者: 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... 详细信息
来源: 评论
Predictable dynamic embedded data processing
Predictable dynamic embedded data processing
收藏 引用
international conference on embedded Computer systems: architectures, Modeling and Simulation (IC-SAMOS)
作者: Marc Geilen Sander Stuijk Twan Basten Eindhoven University of Technology Department of Electrical Engineering Eindhoven The Netherlands Embedded Systems Institute Eindhoven The Netherlands
Cyber-physical systems interact with their physical environment. In this interaction, non-functional aspects, most notably timing, are essential to correct operation. In modern systems, dynamism is introduced in many ... 详细信息
来源: 评论