咨询与建议

限定检索结果

文献类型

  • 5,921 篇 会议
  • 1,570 篇 期刊文献
  • 116 篇 学位论文
  • 47 册 图书
  • 1 篇 专利
  • 1 篇 科技报告

馆藏范围

  • 7,656 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4,737 篇 工学
    • 3,974 篇 计算机科学与技术...
    • 1,876 篇 软件工程
    • 1,278 篇 电气工程
    • 576 篇 信息与通信工程
    • 572 篇 控制科学与工程
    • 248 篇 电子科学与技术(可...
    • 162 篇 机械工程
    • 129 篇 仪器科学与技术
    • 64 篇 土木工程
    • 64 篇 石油与天然气工程
    • 59 篇 动力工程及工程热...
    • 51 篇 建筑学
    • 48 篇 航空宇航科学与技...
    • 43 篇 交通运输工程
    • 43 篇 生物工程
    • 43 篇 安全科学与工程
    • 39 篇 化学工程与技术
    • 35 篇 材料科学与工程(可...
    • 30 篇 力学(可授工学、理...
  • 883 篇 理学
    • 572 篇 数学
    • 177 篇 系统科学
    • 150 篇 物理学
    • 108 篇 统计学(可授理学、...
    • 61 篇 化学
    • 61 篇 生物学
  • 593 篇 管理学
    • 499 篇 管理科学与工程(可...
    • 235 篇 工商管理
    • 117 篇 图书情报与档案管...
  • 49 篇 医学
    • 41 篇 临床医学
  • 47 篇 经济学
    • 47 篇 应用经济学
  • 26 篇 法学
  • 22 篇 教育学
  • 13 篇 农学
  • 11 篇 军事学
  • 4 篇 艺术学
  • 3 篇 文学

主题

  • 1,029 篇 real time system...
  • 646 篇 distributed comp...
  • 613 篇 parallel process...
  • 439 篇 real-time system...
  • 369 篇 computational mo...
  • 367 篇 application soft...
  • 356 篇 computer archite...
  • 329 篇 concurrent compu...
  • 239 篇 computer science
  • 232 篇 processor schedu...
  • 228 篇 hardware
  • 216 篇 control systems
  • 184 篇 resource managem...
  • 179 篇 protocols
  • 162 篇 distributed syst...
  • 160 篇 fault tolerance
  • 153 篇 parallel process...
  • 150 篇 timing
  • 137 篇 operating system...
  • 134 篇 quality of servi...

机构

  • 15 篇 georgia inst tec...
  • 14 篇 college of compu...
  • 11 篇 nanyang technol ...
  • 11 篇 univ stuttgart i...
  • 10 篇 natl univ def te...
  • 10 篇 national laborat...
  • 9 篇 natl univ singap...
  • 8 篇 hong kong polyte...
  • 8 篇 tsinghua univ de...
  • 8 篇 washington univ ...
  • 8 篇 school of comput...
  • 8 篇 department of co...
  • 8 篇 institute for pa...
  • 7 篇 auburn univ dept...
  • 7 篇 department of ma...
  • 7 篇 institute of inf...
  • 7 篇 institute for pa...
  • 7 篇 浙江大学
  • 7 篇 aristotle univ t...
  • 6 篇 real-time comput...

作者

  • 24 篇 rothermel kurt
  • 23 篇 k.h. kim
  • 17 篇 chen haibo
  • 16 篇 shin kg
  • 15 篇 duerr frank
  • 15 篇 jin hai
  • 14 篇 kurt rothermel
  • 13 篇 boukerche azzedi...
  • 13 篇 kim k.h.
  • 12 篇 wentong cai
  • 11 篇 welch lonnie r.
  • 11 篇 guan nan
  • 11 篇 buyya rajkumar
  • 10 篇 s.j. turner
  • 10 篇 l.r. welch
  • 10 篇 wang yijie
  • 10 篇 chen rong
  • 9 篇 fahringer thomas
  • 9 篇 mitschang bernha...
  • 8 篇 gokhale aniruddh...

语言

  • 7,412 篇 英文
  • 132 篇 中文
  • 103 篇 其他
  • 3 篇 日文
  • 2 篇 德文
  • 2 篇 俄文
  • 2 篇 土耳其文
  • 1 篇 西班牙文
检索条件"任意字段=Workshop on Parallel and Distributed Real-Time Systems"
7656 条 记 录,以下是111-120 订阅
排序:
HEDRA: Heterogeneous distributed real-time architecture
收藏 引用
CONTROL ENGINEERING PRACTICE 1996年 第2期4卷 187-193页
作者: Thielemans, H Demeestere, L VanBrussel, H Department of Mechanical Engineering Div. PMA Katholieke Universiteit Leuven Celestijnenlaan 300B B-3001 Heverlee Belgium
HEDRA, an ESPRIT project (nr. 6768), aims to develop a heterogeneous distributed real-time architecture for robot and machine control. This paper describes an open and flexible programming system, as a part of this ar... 详细信息
来源: 评论
Use cases for distributed real-time software architectures  5
Use cases for distributed real-time software architectures
收藏 引用
5th International workshop on parallel and distributed real-time systems (WPDRTS) / 3rd workshop on Object-Oriented real-time systems (OORTS)
作者: Gomaa, H Dept. of Inf. and Software Syst. Eng. George Mason Univ. Fairfax VA United States
This paper describes how use cases can be applied to the architectural design of distributed real-time applications. In order to benefit from use cases in distributed real-time design, it is necessary to extend use ca... 详细信息
来源: 评论
On the design of a dynamic distributed real-time environment  5
On the design of a dynamic distributed real-time environment
收藏 引用
5th International workshop on parallel and distributed real-time systems (WPDRTS) / 3rd workshop on Object-Oriented real-time systems (OORTS)
作者: Streich, H Gergeleit, M Div. of Res. SET-RS (Responsive Systems) German Nat. Res. Center for Inf. Technol. (GMD) Schlos Birlinghoven St. Augustin D-53754 Germany
Development of distributed real-time applications requires tools and methods ranging from the design process down to the run-time system. This paper describes an approach towards an integrated object-oriented real-tim... 详细信息
来源: 评论
Design of a real-time parallel kernel using LOTOS  5
Design of a real-time parallel kernel using LOTOS
收藏 引用
5th International workshop on parallel and distributed real-time systems (WPDRTS) / 3rd workshop on Object-Oriented real-time systems (OORTS)
作者: deFarias, CRG deSouza, WL Moron, CE Dept. de Comput. Univ. Fed. de Sao Carlos Via Washington Luiz Km 235 PO Box 676 Sao Carlos (SP) 13565-905 Brazil
The main goal of this work is to show how the Formal Description Technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard by International Organization for Standardization (ISO), can be useful i... 详细信息
来源: 评论
parallel PROCESSING CONCEPTS FOR distributed COMPUTER CONTROL systems.
收藏 引用
IEE Conference Publication 1980年 143-156页
作者: AlDabass, D.
It is proposed to utilize the spare processing power embedded in a real-time computer control network for the computation of a common distributed task in a co-ordinated manner. The algorithm of Hierarchical System The... 详细信息
来源: 评论
Specification and validation of a real-time simple parallel kernel for dependable distributed systems
Specification and validation of a real-time simple parallel ...
收藏 引用
3rd International Conference on Emerging Intelligent Data and Web Technologies, EIDWT 2012
作者: Ganea, Octavian Pop, Florin Dobre, Ciprian Cristea, Valentin Faculty of Automatics and Computer Science University Politehnica of Bucharest Splaiul Independentei 313 Bucharest 060042 Romania
Software formal verification can provide guarantees regarding the implementation of complex software systems in respect to their specifications. Unfortunately, the practical applications of formal verification techniq... 详细信息
来源: 评论
Automatic effective verification method for distributed and concurrent systems using timed language inclusion  5
Automatic effective verification method for distributed and ...
收藏 引用
5th International workshop on parallel and distributed real-time systems (WPDRTS) / 3rd workshop on Object-Oriented real-time systems (OORTS)
作者: Yamane, S Dept. of Comput. Sci. Shimane Univ. Nishikawatu Matue city 1060 Japan
In this paper, we propose the specification and verification method of distributed systems. We can easily specify fairness and timing constraints, and can effectively verify distributed systems by our proposed method.... 详细信息
来源: 评论
Implementation of the Hartstone distributed benchmark for hard real-time distributed systems: Results and conclusions  5
Implementation of the Hartstone distributed benchmark for ha...
收藏 引用
5th International workshop on parallel and distributed real-time systems (WPDRTS) / 3rd workshop on Object-Oriented real-time systems (OORTS)
作者: Ujvary, BG Kamenoff, NI Boasson, M Dept. of Software Eng. Monmouth Univ. West Long Branch 07764 NJ United States
This paper presents a first time approach for the implementation of the Hartstone distributed Benchmark (HDB) for Hard real-time distributed systems. From the series of experiments, as defined in the original HDB pape... 详细信息
来源: 评论
parallel and distributed real-time systems
Parallel and distributed real-time systems
收藏 引用
2001年
作者: Jan Van Katwijk Janusz Zalewski
来源: 评论
A real time MPEG-4 parallel encoder on software distributed shared memory systems
收藏 引用
2nd International Symposium on parallel and distributed Processing and Applications, ISPA 2004
作者: Chiu, Yung-Chang Shieh, Ce-Kuen Wang, Jing-Xin Su, Alvin Wen-Yu Liang, Tyng-Yeu Department of Electrical Engineering National Cheng Kung University Tainan Taiwan Department of Computer Science and Information Engineering National Cheng Kung University Tainan Taiwan Department of Electrical Engineering National Kaohsiung University of Applied Sciences Kaohsiung Taiwan
This paper is dedicated to developing a real-time MEPG-4 parallel encoder on software distributed shared memory systems. Basically, the performance of a MPEG-4 parallel encoder implemented on distributed systems is ma... 详细信息
来源: 评论