咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Issues with object orientation in verifying safety-critical systems  6
Issues with object orientation in verifying safety-critical ...
收藏 引用
6th ieee international symposium on object-oriented real-time distributed computing
作者: Subbiah, S Nagaraj, S Honeywell Technol Solut Lab Aerosp Div Bangalore 560078 Karnataka India
Primus Epic(TM) is an all-new integrated avionics system for business, regional and general aviation. Honeywell international Inc. follows the object oriented paradigm and the programming language C++ for certain soft... 详细信息
来源: 评论
Model Driven Engineering versus Organic computing, Two Complementary Approaches
Model Driven Engineering versus Organic Computing, Two Compl...
收藏 引用
ieee international symposium on object/Component/Service-oriented real-time distributed computing
作者: Kordon, Fabrice Univ Paris 06 CNRS LIP6 UMR 7606 F-75252 Paris 05 France
来源: 评论
Basic program structures for avoiding priority inversions  6
Basic program structures for avoiding priority inversions
收藏 引用
6th ieee international symposium on object-oriented real-time distributed computing
作者: Kim, KH Univ Calif Irvine Irvine CA 92717 USA
Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modem real-time distributed computing application systems. Ho... 详细信息
来源: 评论
object-oriented middleware infrastructure for distributed augmented reality  6
Object-oriented middleware infrastructure for distributed au...
收藏 引用
6th ieee international symposium on object-oriented real-time distributed computing
作者: Tokunaga, E van der Zee, A Kurahashi, M Nemoto, M Nakajima, T Waseda Univ Dept Informat & Comp Sci Tokyo 1698555 Japan
the paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality, is one of the most important techniques to... 详细信息
来源: 评论
Nested invocation protocol for object-based systems  6
Nested invocation protocol for object-based systems
收藏 引用
6th ieee international symposium on object-oriented real-time distributed computing
作者: Hori, K Enokido, T Takizawa, M Raynal, M Tokyo Denki Univ Tokyo Japan
We discuss how to invoke a method on multiple object replicas in a quorum-based way. Suppose each instance of a method t on replicas of an object x invokes another method u on replicas in a quorum of an object y. Here...
来源: 评论
A Method Cache for Patmos  17
A Method Cache for Patmos
收藏 引用
17th ieee international symposium on object/Component/Service-oriented real-time distributed computing (ISORC)
作者: Degasperi, Philipp Hepp, Stefan Puffitsch, Wolfgang Schoeberl, Martin Vienna Univ Technol Inst Comp Engn Vienna Austria Vienna Univ Technol Inst Comp Languages Vienna Austria Tech Univ Denmark Dept Appl Math & Comp Sci Lyngby Denmark
For real-time systems we need time-predictable processors. this paper presents a method cache as a time-predictable solution for instruction caching. the method cache caches whole methods (or functions) and simplifies... 详细信息
来源: 评论
Fieldwork and the 4:6 Principle-Introduction to the Research Center for Verification and Semantics, AIST
Fieldwork and the 4:6 Principle-Introduction to the Research...
收藏 引用
ieee international symposium on object/Component/Service-oriented real-time distributed computing
作者: Kinoshita, Yoshiki Natl Inst Adv Ind Sci & Technol Res Ctr Verificat & Semant Senri Japan
the principles in the Research Center for Verification and Semantics (CVS) AIST are explained with summaries of some of its research projects.
来源: 评论
A systems engineering approach for constructing certifiable real-time distributed systems  6
A systems engineering approach for constructing certifiable ...
收藏 引用
6th ieee international symposium on object-oriented real-time distributed computing
作者: Ravindran, B Le Lann, G Wang, JG Li, P Virginia Tech ECE Dept Real Time Syst Lab Blacksburg VA 24061 USA
In this paper, we present a systems engineering methodology for constructing certifiable real-time distributed systems. In the proposed approach, an architectural and algorithmic solution to an application problem is ... 详细信息
来源: 评论
Security analysis of the utilization of corba object references as authorization tokens
Security analysis of the utilization of corba object referen...
收藏 引用
10th ieee international symposium on object and Component-oriented real-time distributed computing
作者: Becker, Christoph Staamann, Sebastian Salomon, Ralf PrismTech France University of Rostock Germany
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Corba object references as authorization... 详细信息
来源: 评论
A prototype tool for flow analysis of object-oriented programs  5
A prototype tool for flow analysis of object-oriented progra...
收藏 引用
5th ieee international symposium on object-oriented real-time distributed computing (ISORC 2002)
作者: Gustafsson, J Malardalen Univ Dept Comp Engn Vasteras Sweden
object-oriented programming languages are extensively used in real-time systems. When calculating the worst case execution time for object-oriented programs one needs flow information, such as loop bounds and informat... 详细信息
来源: 评论