咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers
Developing embedded multi-threaded applications with CATAPUL...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Roper, Matthew D. Olsson, Ronald A. Department of Computer Science University of California Davis Davis CA 95616-8562 United States
This paper describes CATAPULTS, a domain-specific language for creating and testing application-specific user level thread schedulers. Using a domain-specific language to write thread schedulers provides three advanta... 详细信息
来源: 评论
Verifiable annotations for embedded Java environments
Verifiable annotations for embedded Java environments
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Chen, Guangyu Kandemir, Mahmut Department of Computer Science and Engineering Pennsylvania State University University Park PA 16802 United States
Many implementations of Java Virtual Machine (JVM) use optimizing dynamic compilation for improving performance of Java applications. However, optimizing compilation is expensive in terms of both time and memory space... 详细信息
来源: 评论
Energy management for commodity short-bit-width microcontrollers
Energy management for commodity short-bit-width microcontrol...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Ghattas, Rony Dean, Alexander G. Center for Embedded Systems Research Department of Electrical and Computer Engineering North Carolina State University Raleigh NC 27695 United States
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This paper examines the practicality of usin... 详细信息
来源: 评论
Virtual Multiprocessor: An analyzable, high-performance microarchitecture for real-time computing
Virtual Multiprocessor: An analyzable, high-performance micr...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: El-Haj-Mahmoud, Ali Al-Zawawi, Ahmed S. Anantaraman, Aravindh Rotenberg, Eric Department of Electrical and Computer Engineering Center for Embedded Systems Research North Carolina State University Raleigh NC 27695
The design of a real-time architecture is governed by a trade-off between analyzability necessary for real-time formalism and performance demanded by high-end embedded systems. We reconcile this trade-off with a novel... 详细信息
来源: 评论
Automating custom-precision function evaluation for embedded processors
Automating custom-precision function evaluation for embedded...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Cheung, Ray C. C. Lee, Dong-U. Mencer, Oskar Department of Computing Imperial College London London United Kingdom EE Department University of California Los Angeles United States
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-II Pro FPGAs only supports emulated floa... 详细信息
来源: 评论
Segment protection for embedded systems using run-time checks
Segment protection for embedded systems using run-time check...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Simpson, Matthew Middha, Bhuvan Barua, Rajeev Department of Electrical and Computer Engineering University of Maryland College Park MD 20742 United States
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to memory access violations, stemming fr... 详细信息
来源: 评论
Equivalence Checking of Arithmetic Expressions using Fast Evaluation
Equivalence Checking of Arithmetic Expressions using Fast Ev...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Ghodrat, Mohammad Ali Givargis, Tony Nicolau, Alex Department of Computer Science Center for Embedded Computer Systems University of California Irvine United States
Arithmetic expressions are the fundamental building blocks of hardware and software systems. An important problem in computational theory is to decide if two arithmetic expressions are equivalent. However, the general... 详细信息
来源: 评论
Hardware support for code integrity in embedded processors
Hardware support for code integrity in embedded processors
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Milenković, Milena Milenković, Aleksandar Jovanov, Emil WBI Performance II IBM Austin TX 78758 United States Electrical and Computer Engineering Department University of Alabama in Huntsville Huntsville AL 35899 United States
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increase, the applications running on these ... 详细信息
来源: 评论
Anomalous path detection with hardware support
Anomalous path detection with hardware support
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Zhang, Tao Zhuang, Xiaotong Pande, Santosh Lee, Wenke College of Computing Georgia Institute of Technology Atlanta GA 30332-0280 United States
embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have been proposed to protect computer syste... 详细信息
来源: 评论
An esterel processor with full preemption support and its worst reaction time analysis
An esterel processor with full preemption support and its wo...
收藏 引用
cases 2005: international conference on compilers, architecture, and synthesis for embedded systems
作者: Li, Xin Lukoschus, Jan Boldt, Marian Harder, Michael Von Hanxleden, Reinhard Real-Time and Embedded Systems Group Dept. of Computer Science and Applied Mathematics Christian-Albrechts-Universität zu Kiel Olshausenstr. 40 D-24098 Kiel Germany
The concurrent synchronous language Esterel allows programmers to treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-synchronous high-level language... 详细信息
来源: 评论