咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Multiprocessors and the real-time Specification for Java
Multiprocessors and the Real-Time Specification for Java
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Andy Wellings Department of Computer Science University of York UK
Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. this paper discusses the issues that... 详细信息
来源: 评论
Message from the workshop co-chairs: MoBE-RTS 2011
Proceedings - 2011 14th IEEE International Symposium on Obje...
收藏 引用
Proceedings - 2011 14th ieee international symposium on object/Component/Service-oriented real-time distributed computing Workshops, ISORCW 2011 2011年 x页
作者: Gérard, Sébastien Kordon, Fabrice Selic, Bran CEA LIST France LIP6 France Malina Software France
来源: 评论
Security Analysis of the Utilization of Corba object References as Authorization Tokens
Security Analysis of the Utilization of Corba Object Referen...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Christoph Becker Sebastian Staamann Ralf Salomon Prism Technology 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... 详细信息
来源: 评论
MeshEye: A hybrid-resolution smart camera mote for applications in distributed intelligent surveillance
MeshEye: A hybrid-resolution smart camera mote for applicati...
收藏 引用
6th international symposium on Information Processing Sensor Networks
作者: Hengstler, Stephan Prashanth, Daniel Fong, Sufen Aghajan, Hamid Stanford Univ Wireless Sensor Networks Lab Dept Elect Engn Stanford CA 94305 USA
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of in-node processing in combination with ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the State of Executable real-time Specification Languages and the Need for Advancements
The State of Executable Real-Time Specification Languages an...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Amir A. Khwaja Joseph E. Urban Intel Corporation Austin TX USA National Science Foundation Arizona State University USA
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. the pape... 详细信息
来源: 评论
Memory Management for real-time Java: State of the Art
Memory Management for Real-Time Java: State of the Art
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Filip Pizlo Jan Vitek Purdue University USA
the real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scope... 详细信息
来源: 评论
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems
Architectural and Behavioral Modeling with AADL for Fault To...
收藏 引用
international symposium on object-oriented real-time distributed computing
作者: Gilles Lasnier thomas Robert Laurent Pautet Fabrice Kordon TELECOM ParisTech-LTCI Institut TELECOM Paris France LIP6-Université Pierre et Marie Curie Paris France
AADL is an architecture description language intended for model-based engineering of high-integrity systems. the AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL... 详细信息
来源: 评论
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... 详细信息
来源: 评论