咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 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...

作者

  • 49 篇 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 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是481-490 订阅
排序:
Performance comparison of thrashing control policies for concurrent mergesorts with parallel prefetching  93
Performance comparison of thrashing control policies for con...
收藏 引用
1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer systems, SIGMETRICS 1993
作者: Wu, Kun-Lung Yu, Philip S. Teng, James Z. IBM T. J. Watson Research Center P. O. Box 704 Yorktown HeightsNY10598 United States IBM Programming Systems P. O. Box 49032 San JoseCA95161 United States
We study the performance of various run-time thrashing control policies for the merge phase of concurrent mergesorts using parallel prefetching, where initial sorted runs are stored on multiple disks and the final sor... 详细信息
来源: 评论
Scaling of parallel multiple sequence alignment on the supercomputer JUQUEEN
Scaling of parallel multiple sequence alignment on the super...
收藏 引用
2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing systems, IDAACS 2013
作者: Borovska, Plamenka Gancheva, Veska Ko, Soon-Heum Computer Systems Department Technical University of Sofia 1000 Kliment Ohridski 8 boul. Bulgaria Programming and Computer Technologies Department Technical University of Sofia 1000 Kliment Ohridski 8 boul. Bulgaria National Supercomputing Center Linkoping University 58183 Linkoping Sweden
In this paper is proposed optimization, scaling, performance evaluation and profiling of parallel multiple sequence alignment based on ClustalW algorithm on the supercomputer BlueGene/Q, so-called JUQUEEN, for the cas... 详细信息
来源: 评论
A model-driven approach to designing cross-enterprise business processes
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) 2004年 3292卷 544-555页
作者: Bauer, Bernhard Müller, Jörg P. Roser, Stephan Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Germany Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany
Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and the required support for interoperability. In ... 详细信息
来源: 评论
Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页
作者: Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logi... 详细信息
来源: 评论
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Goriushkina, A.E. Svyd, I.V. Zavolodko, G.E. Maistrenko, G.V. National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Department of Electronic Computers Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
Many-valued hybrid logic
Many-valued hybrid logic
收藏 引用
7th Conference on Advances in Modal Logic, AiML-2008
作者: Hansen, Jens Bolander, Thomas Braüner, Torben Programming Logic and Intelligent Systems Research Group Science Studies Research Group Roskilde University P.O. Box 260 DK-4000 Roskilde Denmark Informatics and Mathematical Modelling Building 322 Technical University of Denmark Richard Petersens Plads DK-2800 Lyngby Denmark
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof-theoretically well-behaved, in particular, it gives rise to a decision procedure for the ... 详细信息
来源: 评论
Towards integrated rule-driven software development for IT ecosystems
IEEE International Conference on Digital Ecosystems and Tech...
收藏 引用
IEEE International Conference on Digital Ecosystems and Technologies 2012年
作者: Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany
Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established d... 详细信息
来源: 评论
An Experiment to Evaluate IoT Application Security Scheme (IoTGazePass)
An Experiment to Evaluate IoT Application Security Scheme (I...
收藏 引用
2022 International Conference on Engineering and MIS, ICEMIS 2022
作者: Keshlaf, Ayad A. Alfard, Faheemah M. Bouzid, Omar M. Sabratha University Faculty of Engineering Computer Eng. and It Department Sabratha Libya Libyan Center for Electronic Systems Programming and Aviation Research University of Zawia Computer Department Faculty of Engineering Zawia Libya University of Gharyan Faculty of Engineering Elec. and Electronic Eng. Dept Gharyan Libya
IoTGazePass is a new password scheme that has been designed to tackle the weaknesses of existing types of passwords. It is intended to be suitable for IoT applications. An experiment was conducted to evaluate the stre... 详细信息
来源: 评论
Application of IoT in the study of biogas release parameters  33
Application of IoT in the study of biogas release parameters
收藏 引用
33rd International Scientific Conference Electronics, ET 2024
作者: Nikolov, Neven K. Tzanova, Anelia I. Koparanov, Kiril A. Antonova, Elena V. Minkovska, Daniela V. Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria Technical University of Sofia Faculty of Electronic Engineering and Technologies Department of Chemistry 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
This paper describes the development of an IoT device prototype for measuring biogas release parameters. Through the device, measurements are made, and statistics are accumulated based on which calculations are perfor... 详细信息
来源: 评论
A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing  11
A HW/SW co-designed heterogeneous multi-core virtual machine...
收藏 引用
International Symposium on Code Generation and Optimization (CGO)
作者: Youfeng Wu Shiliang Hu Edson Borin Cheng Wang Programming Systems Laboratory INTEL Research Laboratory Santa Clara CA USA Institute of Computing State University of Campinas-UNICAMP Campinas Brazil
It is increasingly challenging to improve single thread performance because power/energy consumption becomes a major barrier to achieve significantly higher performance for general purpose cores. General purpose proce... 详细信息
来源: 评论