咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 741 篇 电子文献
  • 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...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 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
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 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

语言

  • 714 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是581-590 订阅
排序:
Algorithmic Support for Building a Distributed IoT System in a Cloud Service
Algorithmic Support for Building a Distributed IoT System in...
收藏 引用
Advanced Technology (KhPIWeek), IEEE KhPI Week on
作者: Mykola Zamkovyi Svitlana Gavrylenko Kyrylo Khatsko Nataliia Khatsko dept. Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine
The Internet of Things (IoT) today already connects billions of different IoT devices with the Internet. With the advent of new services and services, new challenges arise: how to make a cloud service publicly availab...
来源: 评论
Abstract Processes in the Absence of Conflicts in General Place/Transition systems
arXiv
收藏 引用
arXiv 2022年
作者: van Glabbeek, Rob Goltz, Ursula Schicke-Uffmann, Jens-Wolfhard Data61 CSIRO Sydney Australia School of Comp. Sc. and Engineering Univ. of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany
Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-Reisig processes connected through... 详细信息
来源: 评论
IT Simply Works: Simplicity and Embedded systems Design
IT Simply Works: Simplicity and Embedded Systems Design
收藏 引用
IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW)
作者: Tiziana Margaria Barry D. Floyd Bernhard Steffen Chair Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA USA Chair of Programming Systems TU Dortmund University Germany
The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These const... 详细信息
来源: 评论
A graphical user interface for evolutionary algorithms
收藏 引用
Acta Cybernetica 2003年 第2期16卷 337-365页
作者: Tóth, Zoltán Institute of Informatics University of Szeged Árpád tér 2 H-6720 Szeged Hungary Department of Computer Science 2: Programming Systems Friedrich-Alexander University of Erlangen-Nuremberg Martensstr. 3 D-91058 Erlangen Germany
The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization...
来源: 评论
Advanced Computer-Aided Optimization of Quartz Resonator-Based Sensors
Advanced Computer-Aided Optimization of Quartz Resonator-Bas...
收藏 引用
International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)
作者: Volodymyr Savchenko Oksana Mnushka Oleg Sokulskyi Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Information Systems and Technologies Department National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine
In this study, we present an improved approach to optimizing the parameters of sensor sensing elements using quartz resonators with an interelectrode gap. We combine graphical and analytical methods to solve the multi... 详细信息
来源: 评论
Enhanced code density of embedded CISC processors with Echo technology  05
Enhanced code density of embedded CISC processors with Echo ...
收藏 引用
3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and systems Synthesis CODES+ISSS 2005
作者: Wu, Youfeng Breternitz Jr., Mauricio Hum, Herbert Peri, Ramesh Pickett, Jay Programming Systems Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Low Power Microprocessor Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Compiler Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even at the cost of significant performance... 详细信息
来源: 评论
Supporting mobility in content-based publish/subscribe middleware
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2672卷 103-122页
作者: Fiege, Ludger Gärtner, Felix C. Kasten, Oliver Zeidler, Andreas Department of Computer Science Databases Distributed System Group D-64283 Darmstadt Germany School of Computer and Communication Sciences Distributed Programming Laboratory CH-1015 Lausanne Switzerland Department of Computer Science Distributed Systems Group CH-8092 Zurich Switzerland
Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for sta... 详细信息
来源: 评论
A principle feature analysis
arXiv
收藏 引用
arXiv 2021年
作者: Breitenbach, Tim Rasbach, Lauritz Liang, Chunguang Jahnke, Patrick Biozentrum Universität Würzburg Am Hubland Würzburg97074 Germany Department of Computer Science Distributed Systems Programming Technische Universität Darmstadt Hochschulstraße 10 Darmstadt64289 Germany
A key task of data science is to identify relevant features linked to certain output variables that are supposed to be modeled or predicted. To obtain a small but meaningful model, it is important to find stochastical... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Biological LC/MS Preprocessing and Analysis with jABC, jETI ...
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr... 详细信息
来源: 评论