咨询与建议

限定检索结果

文献类型

  • 490 篇 会议
  • 247 篇 期刊文献
  • 6 册 图书
  • 1 件 标准

馆藏范围

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

日期分布

学科分类号

  • 611 篇 工学
    • 489 篇 计算机科学与技术...
    • 370 篇 软件工程
    • 85 篇 电气工程
    • 53 篇 信息与通信工程
    • 40 篇 控制科学与工程
    • 16 篇 生物医学工程(可授...
    • 15 篇 安全科学与工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 仪器科学与技术
    • 10 篇 土木工程
    • 9 篇 机械工程
    • 9 篇 船舶与海洋工程
    • 9 篇 生物工程
    • 8 篇 材料科学与工程(可...
    • 8 篇 网络空间安全
    • 7 篇 交通运输工程
    • 6 篇 建筑学
  • 130 篇 理学
    • 84 篇 数学
    • 18 篇 生物学
    • 18 篇 统计学(可授理学、...
    • 14 篇 系统科学
    • 9 篇 物理学
    • 9 篇 化学
    • 8 篇 海洋科学
  • 70 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 10 篇 工商管理
  • 20 篇 医学
    • 11 篇 基础医学(可授医学...
    • 10 篇 临床医学
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 法学
  • 5 篇 农学
  • 2 篇 经济学
  • 1 篇 文学

主题

  • 41 篇 software enginee...
  • 19 篇 computer languag...
  • 19 篇 semantics
  • 18 篇 testing
  • 17 篇 software
  • 16 篇 java
  • 15 篇 application soft...
  • 14 篇 artificial intel...
  • 13 篇 model checking
  • 13 篇 monitoring
  • 13 篇 machine learning
  • 13 篇 software design
  • 13 篇 unified modeling...
  • 12 篇 specifications
  • 12 篇 formal methods
  • 11 篇 runtime
  • 11 篇 optimization
  • 11 篇 security
  • 11 篇 hardware
  • 10 篇 internet of thin...

机构

  • 36 篇 ulm univ inst so...
  • 27 篇 univ lubeck inst...
  • 18 篇 med univ lubeck ...
  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 13 篇 institute for so...
  • 12 篇 univ potsdam cha...
  • 9 篇 univ potsdam cha...
  • 8 篇 univ lubeck inst...
  • 8 篇 trakya univ dept...
  • 8 篇 univ oslo progra...
  • 8 篇 institute of sof...
  • 7 篇 univ dortmund ch...
  • 7 篇 institute of sof...
  • 7 篇 univ hertfordshi...
  • 6 篇 institute of sof...
  • 6 篇 univ ulm inst so...
  • 6 篇 tech univ dortmu...
  • 6 篇 institute of sof...
  • 6 篇 tu dortmund univ...

作者

  • 67 篇 margaria tiziana
  • 64 篇 tichy matthias
  • 62 篇 leucker martin
  • 61 篇 steffen bernhard
  • 24 篇 dosch walter
  • 18 篇 thoma daniel
  • 18 篇 schmitz malte
  • 18 篇 grelck clemens
  • 18 篇 raschke alexande...
  • 17 篇 groner raffaela
  • 16 篇 lamprecht anna-l...
  • 16 篇 schaefer ina
  • 16 篇 pietron jakob
  • 15 篇 scholz sven-bodo
  • 14 篇 tiziana margaria
  • 13 篇 das resul
  • 13 篇 dosch w
  • 13 篇 naujokat stefan
  • 12 篇 yevtushenko nina
  • 12 篇 juhnke katharina

语言

  • 697 篇 英文
  • 34 篇 其他
  • 10 篇 德文
  • 2 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Software Programming"
744 条 记 录,以下是301-310 订阅
排序:
The SCIP Optimization Suite 9.0
arXiv
收藏 引用
arXiv 2024年
作者: Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, Thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji Turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France
MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framewor... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations  17
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectati...
收藏 引用
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
作者: Kaminski, Benjamin Lucien Katoen, Joost-Pieter Rhein Westfal TH Aachen Software Modeling & Verificat Grp Aachen Germany UCL Programming Principles Log & Verificat Grp London England
We present a weakest-precondition-style calculus for reasoning about the expected values (pre-expectations) of mixed-sign unbounded random variables after execution of a probabilistic program. The semantics of a while... 详细信息
来源: 评论
TensorFlow at Scale: Performance and productivity analysis of distributed training with Horovod, MLSL, and Cray PE ML
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2019年 第16期31卷
作者: Kurth, Thorsten Smorkalov, Mikhail Mendygral, Peter Sridharan, Srinivas Mathuriya, Amrita Lawrence Berkeley Natl Lab Natl Energy Res Sci Comp Ctr Berkeley CA 94270 USA Intel Corp Software & Serv Grp Moscow Russia Cray Inc Cray Programming Environm Performance Engn Bloomington MN USA Intel Corp Parallel Comp Labs Bangalore Karnataka India Intel Corp Data Ctr Grp Hillsboro OR USA
Deep learning has proven to be a successful tool for solving a large variety of problems in various scientific fields and beyond. In recent years, the models as well as the available datasets have grown bigger and mor... 详细信息
来源: 评论
Predicting biogas production in real scale anaerobic digester under dynamic conditions with machine learning approach
收藏 引用
Environmental Research Communications 2025年 第6期7卷 065016-065016页
作者: M. Erdem Isenkul Sevgi Güneş-Durak Yasemin Poyraz Kocak İnci Pir Mertol Tüfekci Güler Türkoğlu Demirkol Selçuk Sevgen Aslı Seyhan Çığgın Neşe Tüfekci Department of Computer Engineering Faculty of Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Environmental Engineering Faculty of Engineering-Architecture Nevsehir Haci Bektas Veli University Nevsehir 50300 Turkey Department of Computer Programming Vocational School of Technical Sciences Istanbul Universitesi—Cerrahpasa 34850 Istanbul Turkey Faculty of Mechanical Engineering Istanbul Technical University Gumussuyu Istanbul 34437 Turkey Centre for Engineering Research University of Hertfordshire College Lane Campus Hatfield AL10 9AB United Kingdom School of Physics Engineering and Computer Science University of Hertfordshire Hatfield Hertfordshire AL10 9AB United Kingdom Department of Environmental Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Software Engineering Faculty of Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Environmental Engineering Faculty of Engineering Akdeniz University Dumlupınar Bulvarı Antalya 07058 Turkey
Biogas production through anaerobic digestion (AD) of industrial organic waste and wastewater offers a sustainable method for energy recovery. However, since process efficiency heavily relies on operational factors, c... 详细信息
来源: 评论
Lemma functions for frama-C: C programs as proofs
arXiv
收藏 引用
arXiv 2018年
作者: Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
How Do software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study  18th
How Do Software Startups Approach Experimentation? Empirical...
收藏 引用
18th International Conference on Product-Focused software Process Improvement (PROFES)
作者: Gutbrod, Matthias Munch, Juergen Tichy, Matthias Reutlingen Univ Fac Informat Alteburgstr 150 D-72762 Reutlingen Germany Ulm Univ Inst Software Engn & Programming Languages Ulm Germany
software startups often make assumptions about the problems and customers they are addressing as well as the market and the solutions they are developing. Testing the right assumptions early is a means to mitigate ris... 详细信息
来源: 评论
An investigation of technical debt in automatic production systems  17
An investigation of technical debt in automatic production s...
收藏 引用
2017 XP Scientific Workshops, XP 2017
作者: Besker, Terese Martini, Antonio Bosch, Jan Tichy, Matthias Chalmers University of Technology Computer Science and Engineering Gothenburg Sweden Ulm University Institute of Software Engineering and Programming Languages Ulm Germany
Technical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-c... 详细信息
来源: 评论
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems  20th
收藏 引用
20th Brazilian Symposium on Formal Methods (SBMF)
作者: Decker, Normann Gottschling, Philip Hochberger, Christian Leucker, Martin Scheffel, Torben Schmitz, Malte Weiss, Alexander Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Tech Univ Darmstadt Rechnersyst Darmstadt Germany Accemic Technol GmbH Kiefersfelden Germany
This paper presents an approach for rapidly adjustable embedded trace online monitoring of multi-core systems, called RETOM. Today, most commercial multi-core SoCs provide accurate runtime information through an embed... 详细信息
来源: 评论
Challenges and research directions for successfully applying MBE tools in practice
Challenges and research directions for successfully applying...
收藏 引用
2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017
作者: Bordeleau, Francis Liebel, Grischa Raschke, Alexander Stieglbauer, Gerald Tichy, Matthias CMind Inc. Canada Software Engineering Division Chalmers University of Gothenburg Sweden Institute of Software Engineering and Programming Languages Ulm University Germany AVL List Gmbh Graz Austria
Model Based Engineering aims to improve efficiency and effectiveness of software engineering. Success in industrial practice of MBE does not only depend on the modeling languages and constructive or analytical approac... 详细信息
来源: 评论