咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
720 条 记 录,以下是471-480 订阅
排序:
ITKBoard: A visual dataflow language for biomedical image processing
ITKBoard: A visual dataflow language for biomedical image pr...
收藏 引用
2nd International Conference on Software and Data Technologies
作者: Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia
Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides ... 详细信息
来源: 评论
A proposal for parallel self-adjusting computation
A proposal for parallel self-adjusting computation
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Hammer, Matthew Acar, Umut A. Rajagopalan, Mohan Ghuloum, Anwar Toyota Technological Institute Chicago IL United States Programming Systems Lab. Intel Santa Clara CA United States
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e.g., inputs, outcomes of comparisons) a... 详细信息
来源: 评论
Architecture potential analysis: A closer look inside architecture evaluation
Journal of Software
收藏 引用
Journal of Software 2007年 第4期2卷 43-56页
作者: Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to d... 详细信息
来源: 评论
Message from the general chair
Proceedings of the 2007 IEEE International Symposium on Work...
收藏 引用
Proceedings of the 2007 IEEE International Symposium on Workload Characterization, IISWC 2007年 2-2页
作者: Breternitz Jr., Mauricio Intel MTL - Programming Systems Lab.
来源: 评论
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic C...
收藏 引用
IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)
作者: Jens Steiner Matthias Hagner Institute for Programming and Reactive Systems Technical University of Braunschweig Germany
This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager co... 详细信息
来源: 评论
Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection  07
Compiler-Managed Software-based Redundant Multi-Threading fo...
收藏 引用
International Symposium on Code Generation and Optimization (CGO)
作者: Cheng Wang Ho-seop Kim Youfeng Wu Victor Ying Programming Systems Lab Microprocessor Technology Laboratories Intel Corporation USA
As transistors become increasingly smaller and faster with tighter noise margins, modern processors are becoming increasingly more susceptible to transient hardware faults. Existing hardware-based redundant multi-thre... 详细信息
来源: 评论
Middleware: Just another level for orchestration
Middleware: Just another level for orchestration
收藏 引用
2007 Workshop on Middleware for Next-generation Converged Networks and Applications 2007, MNCNA'07
作者: Margaria, Tiziana Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany Department of Programming Systems Universität Dortmund Otto-Hahn-Str. 14 44221 Dortmund Germany
In this paper we advocate to introduce a common modelling pattern for all the different layers of middleware based on services. This opens the possibility to flexibly choose the adequate levels for realizing specific ... 详细信息
来源: 评论
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
LTL Guided Planning: Revisiting Automatic Tool Composition i...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Tiziana Margaria Bernhard Steffen Chair of Service and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany
We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool seq... 详细信息
来源: 评论
Service-Oriented Mediation with jETI/jABC: Verification and Export
Service-Oriented Mediation with jETI/jABC: Verification and ...
收藏 引用
Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)
作者: Christian Kubczak Tiziana Margaria Bernhard Steffen Stefan Naujokat Software Engineering Universität Dortmund Germany Service and Software Engineering Universität Postdam Germany Programming Systems Universität Dortmund Germany
The paper presents how we solved the mediation challenge in a model driven, service oriented fashion, how we verify properties of the mediator via model checking in the jABC, and how to systematically export jABC/jETI... 详细信息
来源: 评论
Why does the proof-theory of hybrid logic work so well?
收藏 引用
Journal of Applied Non-Classical Logics 2007年 第4期17卷 521-543页
作者: Braüner, Torben Programming Logic and Intelligent Systems Research Group Roskilde University DK-4000 Roskilde P.O. Box 260 Denmark
This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-theory of hybrid logic and in particular, try to give an answer to the following question: Why does the proof-theory of ... 详细信息
来源: 评论