咨询与建议

限定检索结果

文献类型

  • 3,106 篇 会议
  • 46 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 3,157 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,948 篇 工学
    • 1,690 篇 计算机科学与技术...
    • 854 篇 软件工程
    • 551 篇 电气工程
    • 275 篇 控制科学与工程
    • 273 篇 信息与通信工程
    • 92 篇 电子科学与技术(可...
    • 80 篇 机械工程
    • 75 篇 动力工程及工程热...
    • 60 篇 生物工程
    • 50 篇 仪器科学与技术
    • 49 篇 安全科学与工程
    • 34 篇 生物医学工程(可授...
    • 33 篇 交通运输工程
    • 29 篇 土木工程
    • 28 篇 建筑学
    • 23 篇 航空宇航科学与技...
    • 22 篇 光学工程
    • 21 篇 石油与天然气工程
  • 333 篇 理学
    • 181 篇 数学
    • 67 篇 生物学
    • 65 篇 系统科学
    • 55 篇 物理学
    • 45 篇 统计学(可授理学、...
    • 28 篇 化学
  • 247 篇 管理学
    • 193 篇 管理科学与工程(可...
    • 118 篇 工商管理
    • 78 篇 图书情报与档案管...
  • 32 篇 医学
    • 26 篇 临床医学
    • 23 篇 基础医学(可授医学...
  • 25 篇 法学
    • 25 篇 社会学
  • 19 篇 经济学
  • 12 篇 农学
  • 8 篇 军事学
  • 6 篇 教育学
  • 4 篇 文学
  • 1 篇 艺术学

主题

  • 501 篇 real time system...
  • 477 篇 real-time system...
  • 276 篇 embedded systems
  • 162 篇 processor schedu...
  • 157 篇 hardware
  • 132 篇 computational mo...
  • 131 篇 computer archite...
  • 125 篇 embedded system
  • 119 篇 timing
  • 92 篇 embedded computi...
  • 88 篇 energy consumpti...
  • 85 篇 application soft...
  • 85 篇 monitoring
  • 84 篇 protocols
  • 82 篇 scheduling
  • 80 篇 resource managem...
  • 75 篇 control systems
  • 75 篇 delay
  • 70 篇 computer science
  • 70 篇 program processo...

机构

  • 10 篇 college of compu...
  • 10 篇 department of co...
  • 8 篇 chongqing univ c...
  • 8 篇 city university ...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 malardalen univ ...
  • 6 篇 scuola super san...
  • 6 篇 uppsala universi...
  • 6 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 univ texas san a...
  • 5 篇 waseda univ dept...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 univ politecn va...
  • 5 篇 univ houston dep...
  • 5 篇 department of co...
  • 5 篇 malardalen univ ...

作者

  • 14 篇 thomas nolte
  • 13 篇 nolte thomas
  • 12 篇 jian-jia chen
  • 12 篇 tei-wei kuo
  • 12 篇 anderson james h...
  • 12 篇 nakajima tatsuo
  • 11 篇 meikang qiu
  • 11 篇 james h. anderso...
  • 10 篇 shao zili
  • 10 篇 chen jian-jia
  • 9 篇 nobuyuki yamasak...
  • 8 篇 dakai zhu
  • 8 篇 kuo tei-wei
  • 8 篇 tovar eduardo
  • 8 篇 chun jason xue
  • 8 篇 wang yi
  • 8 篇 cheng albert m. ...
  • 8 篇 nan guan
  • 7 篇 shinpei kato
  • 7 篇 kato shinpei

语言

  • 3,124 篇 英文
  • 26 篇 其他
  • 8 篇 中文
  • 1 篇 俄文
检索条件"任意字段=12th International Conference on Embedded and Real-Time Computing Systems and Applications"
3157 条 记 录,以下是3081-3090 订阅
排序:
Testing embedded real-time systems  7
Testing embedded real-time systems
收藏 引用
7th international conference on real time computing systems and applications
作者: En-Nouaary, A Khendek, F Dssouli, R Univ Montreal Dept IRO Montreal PQ H3C 3J7 Canada
An embedded real-time system consists of a number of components (processes) that run concurrently and communicate with each other under predefined tinting constraints. the correctness of such systems is important, sin... 详细信息
来源: 评论
Using measurements to derive the worst-case execution time  7
Using measurements to derive the worst-case execution time
收藏 引用
7th international conference on real time computing systems and applications
作者: Lindgren, M Hansson, H thane, H Malardalen Univ Real Time Res Ctr Vasteras Sweden
Execution time analysis is used in the development of real-time and embedded systems to dei-ive the timing estimates required for schedulability analysis. the execution time of the analyzed program is typically obtain... 详细信息
来源: 评论
A framework to model dependable real-time systems based on real-time object model  7
A framework to model dependable real-time systems based on r...
收藏 引用
7th international conference on real-time computing systems and applications, RTCSA 2000
作者: Lim, Hyung-Taek Yang, Seung-Min Dept. of Comput. Soongsil Univ. Korea Republic of School of Computing Soongsil Univ. Korea Republic of
Proposes a framework to model fault-tolerant real-time systems consisting of RobustRTOs (Robust real-time Objects) and RMOs (Region Monitor real-time Objects). A RobustRTO is an object which is capable of tolerating f... 详细信息
来源: 评论
Proceedings - 7th international conference on real-time computing systems and applications, RTCSA 2000
Proceedings - 7th International Conference on Real-Time Comp...
收藏 引用
7th international conference on real-time computing systems and applications, RTCSA 2000
the proceedings contain 69 papers. the topics discussed include: schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations;using measurements to derive the worst-case execution...
来源: 评论
Explicit SIMD programming for asynchronous applications
Explicit SIMD programming for asynchronous applications
收藏 引用
12th IEEE international conference on Application-Specific systems, Architectures, and Processors
作者: Di Bias, A Hughey, R Univ Calif Santa Cruz Baskin Sch Engn Dept Comp Engn Santa Cruz CA 95064 USA
this paper presents the SIMD Phase Programming Model, a simple approach to solving asynchronous, irregular problems on massively parallel SIMD computers. the novelty of this model consists of a simple, clear method on... 详细信息
来源: 评论
Architecture of the simplified Chinese embedded system STARth  4
Architecture of the simplified Chinese embedded system START...
收藏 引用
4th international conference/Exhibition on High Performance computing in the Asia-Pacific Region, HPC-Asia 2000
作者: Mao, P.X. Tang, Zhizhong Chen, M. Zhang, Youming Zhang, Vern Computer Science Department Tsinghua University Beijing100084 China Start Computer Group Co. Ltd. Fuzhou350002 China
there is a trend for the information products that are integrated by computer, communication, and consumer electronics. the OS is required more compact and practical. An embedded system STARth is developed based on th... 详细信息
来源: 评论
Towards validated real-time software
Towards validated real-time software
收藏 引用
Euromicro conference on real-time systems
作者: V. Bertin M. Poize J. Pulou J. Sifakis Alcatel Business Systems Colombes France France Télécom Centre National dE28099Étude des Télécommunications Meylan France VERIMAG Centre Equation Gieres France
We present a tool for the design and validation of embedded real time applications. the tool integrates two approaches: the use of the synchronous programming language, ESTEREL for design, and the application of model... 详细信息
来源: 评论
Concurrent embedded real-time software verification
Concurrent embedded real-time software verification
收藏 引用
IEEE Annual international Computer Software and applications conference (COMPSAC)
作者: Pao-Ann Hsiung Institute of Information Science Academia Sinica Taiwan
the verification of software is more complex than hardware due to inherent flexibilities (dynamic behavior) that incur a multitude of possible system states. the verification of Concurrent embedded real-time Software ... 详细信息
来源: 评论
Efficient algorithms for model checking pushdown systems  12th
Efficient algorithms for model checking pushdown systems
收藏 引用
12th international conference on Computer Aided Verification, CAV 2000
作者: Esparza, Javier Hansel, David Rossmanith, Peter Schwoon, Stefan Technische Universität München Arcisstr. 21 München80290 Germany
We study model checking problems for pushdown systems and linear time logics. We show that the global model checking problem (computing the set of configurations, reachable or not, that violate the formula) can be sol... 详细信息
来源: 评论
A novel fixed-point FFT algorithm on embedded digital signal processing systems
A novel fixed-point FFT algorithm on embedded digital signal...
收藏 引用
international conference on Signal Processing Proceedings (ICSP)
作者: Jizhong Han Gang Ren Chengde Han Institute of Computing Technology Chinese Academy and Sciences Beijing China
embedded systems have widespread use in consumer, commercial, and military applications. Reactive and real-time are two main characteristics of these systems. As one kind of real-time embedded system, embedded digital... 详细信息
来源: 评论