咨询与建议

限定检索结果

文献类型

  • 510 篇 会议
  • 16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 277 篇 工学
    • 267 篇 计算机科学与技术...
    • 118 篇 软件工程
    • 42 篇 电气工程
    • 16 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 安全科学与工程
    • 5 篇 机械工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 建筑学
    • 1 篇 测绘科学与技术
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
  • 101 篇 管理学
    • 98 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 7 篇 图书情报与档案管...
  • 26 篇 理学
    • 18 篇 数学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地质学
    • 1 篇 生物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学

主题

  • 155 篇 distributed comp...
  • 137 篇 real time system...
  • 70 篇 object oriented ...
  • 55 篇 embedded system
  • 50 篇 real-time system...
  • 48 篇 middleware
  • 40 篇 hardware
  • 37 篇 computational mo...
  • 36 篇 application soft...
  • 34 篇 java
  • 33 篇 timing
  • 32 篇 computer archite...
  • 30 篇 computer science
  • 29 篇 quality of servi...
  • 26 篇 unified modeling...
  • 25 篇 distributed comp...
  • 24 篇 resource managem...
  • 24 篇 protocols
  • 22 篇 operating system...
  • 21 篇 runtime

机构

  • 5 篇 graduate school ...
  • 5 篇 octopath corpora...
  • 4 篇 konkuk universit...
  • 4 篇 department of in...
  • 4 篇 univ calif irvin...
  • 3 篇 vienna universit...
  • 3 篇 department of ee...
  • 3 篇 get-télécom pari...
  • 3 篇 college of compu...
  • 3 篇 iit dept comp sc...
  • 3 篇 department of el...
  • 3 篇 aerospace corpor...
  • 3 篇 school of comput...
  • 3 篇 fujitsu ten limi...
  • 3 篇 univ calif irvin...
  • 2 篇 malina software ...
  • 2 篇 faculty of infor...
  • 2 篇 konkuk univ
  • 2 篇 computer science...
  • 2 篇 univ calif irvin...

作者

  • 8 篇 martin schoeberl
  • 8 篇 kordon fabrice
  • 7 篇 aniruddha gokhal...
  • 6 篇 jie xu
  • 5 篇 k.h. kim
  • 5 篇 fabrice kordon
  • 5 篇 gabor karsai
  • 5 篇 douglas c. schmi...
  • 4 篇 uwe brinkschulte
  • 4 篇 pautet laurent
  • 4 篇 kim kh
  • 4 篇 gokhale aniruddh...
  • 4 篇 schoeberl martin
  • 4 篇 doo-hyun kim
  • 4 篇 nakajima t
  • 4 篇 schmidt douglas ...
  • 4 篇 wolfgang schröde...
  • 4 篇 pereira ce
  • 3 篇 obermaisser roma...
  • 3 篇 basanta-val p.

语言

  • 524 篇 英文
  • 2 篇 中文
检索条件"任意字段=6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing"
526 条 记 录,以下是251-260 订阅
排序:
Model Checking Multi-Task Software on real-time Operating Systems
Model Checking Multi-Task Software on Real-Time Operating Sy...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Toshiaki Aoki Japan Advanced Institute of Science and Technology Noumi Ishikawa Japan
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. the RTOS provides facilities such as priorities and service calls to control the execut... 详细信息
来源: 评论
Modeling and Verification of time-Triggered Communication Protocols
Modeling and Verification of Time-Triggered Communication Pr...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Maria Sorea Bruno Dutertre Wilfried Steiner EADS Innovation Works Munich Germany Computer Science Laboratory SRI International Inc. USA TTTech Computertechnik AG Vienna Austria
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties ... 详细信息
来源: 评论
Push-Pull Interest Management for Virtual Worlds
Push-Pull Interest Management for Virtual Worlds
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Rob Minson Georgios theodoropoulos School of Computer Science University of Binningham Birmingham UK
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such... 详细信息
来源: 评论
Efficient Resource Management for Game Server Hosting
Efficient Resource Management for Game Server Hosting
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Dan Martin Aad van Moorsel Graham Morgan Alpha Networks LLP Tewkesbury Tewkesbury UK School of Computing Science University of Newcastle UK
this paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and would not inhibit a player's gaming... 详细信息
来源: 评论
Structural Model of real-time Databases: An Illustration
Structural Model of Real-Time Databases: An Illustration
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Nizar Idoudi Claude Duvallet Bruno Sadeg Rafik Bouaziz Faiez Gargouri UFR des Sciences et des Techniques Le Havre France MIRACL-ISIMS Sfax Tunisia
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. the design of this kind of database requires the introduction of new concepts to modelize both da... 详细信息
来源: 评论
Wrong Assumptions and Neglected Areas in Embedded Systems Research
Wrong Assumptions and Neglected Areas in Embedded Systems Re...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Hermann Kopetz Technical University of of Vienna Austria
Today many embedded computer applications are developed under the assumptions that the hardware works always as described in the documentation, the operating system is free of design errors and the clients use the sys... 详细信息
来源: 评论
time-Triggered Fieldbus Networks State of the Art and Future Applications
Time-Triggered Fieldbus Networks State of the Art and Future...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Wilfried Elmenreich Lakeside Laboratories Mobile Systems Group Institute of Networked and Embedded Systems University of Klagenfurt Austria
the time-triggered paradigm encompasses a set of concepts and principles that support the design of dependable real-time systems. By using the properties of physical time and the mechanism of clock synchronization, co... 详细信息
来源: 评论
XML Profile for distributed real time Systems
XML Profile for Distributed Real Time Systems
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Polly M. Poon tharam S. Dillon Elizabeth Chang Ling Feng Faculty of Information Technology Sydney University of Technology Sydney Australia Digital Ecosystems and Business Intelligence Institute Curtin University of Technology Perth Australia Database Group Department of Computer Science Technology Tsinghua University Beijing China
In this paper, we describe a XML based profile for modeling the semantics of real time systems. We aim to use real time Markup Language (RTML) to provide a comprehensive description of temporal properties for the use ... 详细信息
来源: 评论
Development Platforms for Flash Memory Solid State Disks
Development Platforms for Flash Memory Solid State Disks
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Hongseok Kim Eyee Hyun Nam Ki Seok Choi Yoon Jae Seong Jin-yong Choi Sang Lyul Min School of Computer Science and Engineering Seoul National University Seoul Korea
In this paper, we explain the basics of flash memory technology in general and solid state disks in particular, and describe development platforms specifically designed for flash memory solid state disks.
来源: 评论
the Complexity Challenge in Embedded System Design
The Complexity Challenge in Embedded System Design
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Hermann Kopetz Technical University of of Vienna Austria
the ever-increasing functionality and the nonfunctional constraints that must be satisfied by embedded systems lead to an enormous growth in the complexity at the system level In this paper we investigate the notion o... 详细信息
来源: 评论