咨询与建议

限定检索结果

文献类型

  • 326 篇 会议
  • 4 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 216 篇 工学
    • 176 篇 计算机科学与技术...
    • 105 篇 软件工程
    • 50 篇 信息与通信工程
    • 32 篇 电子科学与技术(可...
    • 30 篇 电气工程
    • 21 篇 控制科学与工程
    • 11 篇 光学工程
    • 9 篇 仪器科学与技术
    • 8 篇 动力工程及工程热...
    • 6 篇 机械工程
    • 6 篇 环境科学与工程(可...
    • 6 篇 生物工程
    • 6 篇 安全科学与工程
    • 4 篇 力学(可授工学、理...
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 2 篇 轻工技术与工程
  • 62 篇 理学
    • 29 篇 数学
    • 27 篇 物理学
    • 7 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 3 篇 化学
  • 28 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 10 篇 医学
    • 10 篇 基础医学(可授医学...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 法学
  • 1 篇 农学

主题

  • 82 篇 real time system...
  • 31 篇 control systems
  • 24 篇 application soft...
  • 17 篇 computer science
  • 16 篇 computer archite...
  • 15 篇 delay
  • 14 篇 timing
  • 14 篇 hardware
  • 13 篇 processor schedu...
  • 12 篇 database systems
  • 12 篇 scheduling algor...
  • 11 篇 computational mo...
  • 11 篇 system-on-a-chip
  • 10 篇 operating system...
  • 10 篇 costs
  • 10 篇 protocols
  • 10 篇 field programmab...
  • 9 篇 runtime
  • 9 篇 embedded system
  • 9 篇 artificial neura...

机构

  • 4 篇 seoul natl univ ...
  • 3 篇 department of co...
  • 3 篇 school of electr...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 univ queensland ...
  • 2 篇 tima laboratory ...
  • 2 篇 centre for high ...
  • 2 篇 japan advanced i...
  • 2 篇 department of co...
  • 2 篇 ucl dept comp sc...
  • 2 篇 school of itee u...
  • 2 篇 computer science...
  • 2 篇 department of el...
  • 2 篇 faculty of mathe...
  • 1 篇 fundacao ensino ...
  • 1 篇 department of co...
  • 1 篇 institute of inf...
  • 1 篇 swinburne univer...
  • 1 篇 csiro melbourne

作者

  • 2 篇 k.g. shin
  • 2 篇 waldeck p
  • 2 篇 gihyun jung
  • 2 篇 j. van katwijk
  • 2 篇 hsia shih-chang
  • 2 篇 kyunghee choi
  • 2 篇 seungkyu park
  • 2 篇 l.r. welch
  • 2 篇 son sang h.
  • 2 篇 gergeleit m
  • 2 篇 beeharee ashween...
  • 2 篇 nett e
  • 2 篇 p. waldeck
  • 2 篇 bergmann n
  • 2 篇 choi k
  • 2 篇 n.d. georganas
  • 2 篇 sheung-lun hung
  • 2 篇 n. bergmann
  • 2 篇 shin kang g.
  • 2 篇 steed anthony

语言

  • 331 篇 英文
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 1996 3rd International Workshop on Real-Time Computing Systems and Applications"
332 条 记 录,以下是1-10 订阅
排序:
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
Proceedings of the 1996 3rd International Workshop on Real-T...
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
The proceedings contains 40 papers. Topics discussed include multimedia communication, multicast routing, asynchronous transfer mode switching control system, main memory database systems, formal specifications and ve... 详细信息
来源: 评论
proceedings of 3rd international workshop on real-time computing systems and applications
Proceedings of 3rd International Workshop on Real-Time Compu...
收藏 引用
IEEE international Conference on Embedded and real-time computing systems and applications (RTCSA)
Presents the title page of the proceedings record.
来源: 评论
Verification technique of real-time systems using probabilities
Verification technique of real-time systems using probabilit...
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Yamane, Satoshi Shimane Univ Matue Japan
real-time systems are distributed and require reliability. The formal verification and specification are important for real-time systems. In this paper, in order to obtain reliability, we think the notion of dense-tim... 详细信息
来源: 评论
Scheduling technique for real-time systems with end-to-end timing constraints
Scheduling technique for real-time systems with end-to-end t...
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Kim, Namyun Seoul Natl Univ Seoul Korea Republic of
This paper presents a scheduling technique for guaranteeing end-to-end timing constraints. applications are structured as a set of tasks which are the sequence of actions to produce an output. Task is decomposed into ... 详细信息
来源: 评论
On the real time diagnosability of multiprocessor systems by comparison approach
On the real time diagnosability of multiprocessor systems by...
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Rhee, Chung-Sei Kwon, Heok-Jung Kwon, Young-Tak Choi, Byung-Whan Chungbuk Natl Univ
In this paper, we analyze the diagnosability and diagnosis problems of a multiprocessor systems using the test results generated by other processors in the system. We also propose some rules which find the faulty proc... 详细信息
来源: 评论
Ada 95 as implementation vehicle for formal specifications
Ada 95 as implementation vehicle for formal specifications
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Brink, K. van Katwijk, J. Toetenel, W.J. Delft Univ of Technology Delft Netherlands
A main concern in the initial phases of the development of a system to be built is capturing the system requirements and expressing them as an adequate model, either formal or informal. In subsequent phases of the dev... 详细信息
来源: 评论
Scalable compositional verification of high-level real-time concurrent systems from 10(7) to 10(85) states
Scalable compositional verification of high-level real-time ...
收藏 引用
3rd international workshop on real-time computing systems and applications
作者: Wang, F ACAD SINICA INST INFORMAT SCITAIPEI 115TAIWAN
A compositional CTL mode-checking algorithm for real-time concurrent systems with a discrete global clock is presented based on a new high-level description model. We implement the algorithm in a system called VERIFAS... 详细信息
来源: 评论
Designing a real-time recoverable action
Designing a real-time recoverable action
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Moron, Celio Estevan Universidade Federal de Sao Carlos Sao Carlos Brazil
There is a clear and urgent need for mechanisms that are able to integrate the real-time and the reliability requirements. So, it would be possible to address the real-time and fault-tolerance requirements together du... 详细信息
来源: 评论
Evaluation of the communication latency over real-time channel in HARTS
Evaluation of the communication latency over real-time chann...
收藏 引用
proceedings of the 1996 3rd international workshop on real-time computing systems and applications
作者: Jeong, Seungkweon Park, Jaehyun Kwon, Wook Hyun Shin, Kang G. Seoul Natl Univ Seoul Korea Republic of
In this paper, the end-to-end communication latency in HARTS(Hexagonal Architecture for real-time systems) is evaluated, which is depends on the intra-node delay as well as the inter-node delay. While the inter-node d... 详细信息
来源: 评论
Scheduling of hard-aperiodic requests in dynamic priority systems
Scheduling of hard-aperiodic requests in dynamic priority sy...
收藏 引用
3rd international workshop on real-time computing systems and applications
作者: Kim, H Lee, S Lee, J KYUNG HEE UNIV DEPT COMP ENGNSEOULSOUTH KOREA
In this paper, we discuss the problem of jointly scheduling both hard deadline of periodic and aperiodic tasks in dynamic priority systems. The proposed scheduling scheme has extended the APS (Alternative Priority Sch... 详细信息
来源: 评论