咨询与建议

限定检索结果

文献类型

  • 6,250 篇 会议
  • 1,395 篇 期刊文献
  • 24 篇 学位论文
  • 10 册 图书
  • 6 篇 科技报告

馆藏范围

  • 7,685 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,630 篇 工学
    • 5,055 篇 计算机科学与技术...
    • 4,683 篇 软件工程
    • 504 篇 电气工程
    • 334 篇 控制科学与工程
    • 244 篇 信息与通信工程
    • 115 篇 机械工程
    • 92 篇 土木工程
    • 87 篇 建筑学
    • 86 篇 电子科学与技术(可...
    • 48 篇 材料科学与工程(可...
    • 47 篇 生物工程
    • 43 篇 仪器科学与技术
    • 42 篇 力学(可授工学、理...
    • 37 篇 化学工程与技术
    • 33 篇 生物医学工程(可授...
    • 32 篇 环境科学与工程(可...
    • 31 篇 光学工程
  • 1,130 篇 理学
    • 859 篇 数学
    • 136 篇 物理学
    • 96 篇 系统科学
    • 81 篇 统计学(可授理学、...
    • 62 篇 生物学
    • 47 篇 化学
  • 840 篇 管理学
    • 496 篇 管理科学与工程(可...
    • 399 篇 图书情报与档案管...
    • 218 篇 工商管理
  • 258 篇 教育学
    • 242 篇 教育学
  • 64 篇 法学
    • 54 篇 社会学
  • 50 篇 医学
    • 38 篇 临床医学
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 14 篇 农学
  • 13 篇 文学
  • 10 篇 军事学
  • 10 篇 艺术学

主题

  • 7,685 篇 object oriented ...
  • 908 篇 object oriented ...
  • 430 篇 computer languag...
  • 429 篇 programming prof...
  • 425 篇 application soft...
  • 388 篇 computer science
  • 375 篇 java
  • 284 篇 software enginee...
  • 202 篇 software systems
  • 148 篇 computer archite...
  • 142 篇 concurrent compu...
  • 132 篇 libraries
  • 125 篇 encapsulation
  • 121 篇 education
  • 120 篇 software design
  • 120 篇 distributed comp...
  • 117 篇 data structures
  • 116 篇 prototypes
  • 115 篇 computational mo...
  • 114 篇 object oriented ...

机构

  • 16 篇 victoria univers...
  • 15 篇 software composi...
  • 15 篇 brno university ...
  • 14 篇 department of co...
  • 11 篇 dipartimento di ...
  • 9 篇 univ of texas at...
  • 8 篇 carnegie mellon ...
  • 8 篇 eth
  • 7 篇 cwi
  • 7 篇 sun microsystems
  • 7 篇 ibm
  • 7 篇 eth zurich
  • 7 篇 carnegie mellon ...
  • 7 篇 department of ap...
  • 7 篇 natl univ of sin...
  • 7 篇 tsinghua univ
  • 6 篇 univ of tokyo
  • 6 篇 ohio state univ ...
  • 6 篇 ieee
  • 6 篇 promodel corpora...

作者

  • 38 篇 noble james
  • 19 篇 meyer bertrand
  • 16 篇 nierstrasz oscar
  • 15 篇 ducasse stéphane
  • 15 篇 aldrich jonathan
  • 14 篇 yonezawa akinori
  • 14 篇 drossopoulou sop...
  • 14 篇 de boer frank s.
  • 13 篇 ancona davide
  • 13 篇 mezini mira
  • 12 篇 chen huo yan
  • 11 篇 elrad tzilla
  • 11 篇 black andrew p.
  • 11 篇 xinogalos stelio...
  • 11 篇 masuhara hidehik...
  • 11 篇 vitek jan
  • 10 篇 potanin alex
  • 10 篇 de meuter wolfga...
  • 10 篇 naumann david a.
  • 9 篇 biddle robert

语言

  • 7,461 篇 英文
  • 150 篇 其他
  • 31 篇 中文
  • 14 篇 日文
  • 8 篇 俄文
  • 5 篇 西班牙文
  • 5 篇 法文
  • 4 篇 德文
  • 3 篇 葡萄牙文
  • 3 篇 土耳其文
  • 1 篇 乌克兰文
检索条件"主题词=Object Oriented programming"
7685 条 记 录,以下是381-390 订阅
排序:
Proving False in object-oriented Verification Programs by Exploiting Non-Termination
arXiv
收藏 引用
arXiv 2022年
作者: Furniss, Jaymon School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand
We looked at three different object-oriented program verifiers: Gobra, KeY, and Dafny. We show that all three can be made to prove false by using a simple trick with ghost variable declaration and non-terminating code... 详细信息
来源: 评论
Entity-Component System Based, IEEE DIS Interoperability Interface
Entity-Component System Based, IEEE DIS Interoperability Int...
收藏 引用
作者: Scott, N. W AIR FORCE INSTITUTE OF TECHNOLOGY WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH Air Force Research Laboratory Wright-Patterson AFB OH
In practice, there are several different methods of organizing data within a given software to fulfil its function. The method known as the Entity-Component System (ECS) is a software architecture where data component... 详细信息
来源: 评论
Popularization and Application of Search Algorithm
Popularization and Application of Search Algorithm
收藏 引用
Computer Technologies (ICCTech), International Conference on
作者: Weida Qin Ricai Luo Yinhu Wei College of Mathematics and Physics Hechi University Hechi China
Matrix eigenvalues have important applications in power system modeling, sensitivity analysis and other fields, so solving matrix eigenvalue algorithm is one of the research hotspots in the field of power system Searc... 详细信息
来源: 评论
Keep CALM and CRDT On
arXiv
收藏 引用
arXiv 2022年
作者: Laddad, Shadaj Power, Conor Milano, Mae Cheung, Alvin Crooks, Natacha Hellerstein, Joseph M. University of California Berkeley United States
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techniques. Conflict-free replicated dataty... 详细信息
来源: 评论
SCALSALE: Scalable SALE Benchmark Framework for Supercomputers
arXiv
收藏 引用
arXiv 2022年
作者: Harel, Re'em Rusanovsky, Matan Wagner, Ron Levin, Harel Oren, Gal Department of Computer Science Ben-Gurion University of the Negev Israel Scientific Computing Center Nuclear Research Center Negev Israel Department of Physics Nuclear Research Center Negev Israel Israel Atomic Energy Commission Israel Department of Computer Science Technion Israel Institute of Technology Israel School of Physics and Astronomy Tel Aviv University Israel
Supercomputers worldwide provide the necessary infrastructure for groundbreaking research. As the demand for enhancing their performance constantly increases, new systems are built worldwide to supply this demand at a... 详细信息
来源: 评论
Verification of C++ Programs with VeriFast
arXiv
收藏 引用
arXiv 2022年
作者: Mommen, Niels Jacobs, Bart imec-DistriNet Research Group KU Leuven Belgium
VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe the features of C++ for which we add... 详细信息
来源: 评论
Microservice-Based Projects in Agile World: A Structured Interview
SSRN
收藏 引用
SSRN 2022年
作者: Unlu, Huseyin Kennouche, Dhia Eddine Soylu, Gorkem Kilinc Demirors, Onur Izmir Institute of Technology Urla Izmir35430 Turkey
During the last decade, Microservice-based software architecture (MSSA) has been a preferred design paradigm for a growing number of companies. MSSA, specifically in the form of reactive systems, has substantial diffe... 详细信息
来源: 评论
BayesMix: Bayesian Mixture Models in C++
arXiv
收藏 引用
arXiv 2022年
作者: Beraha, Mario Guindani, Bruno Gianella, Matteo Guglielmi, Alessandra Department of Mathematics Politecnico di Milano Italy Department of Computer Science Università di Bologna Italy Department of Electronics Information and Bioengineering Politecnico di Milano Italy
We describe BayesMix, a C++ library for MCMC posterior simulation for general Bayesian mixture models. The goal of BayesMix is to provide a self-contained ecosystem to perform inference for mixture models to computer ... 详细信息
来源: 评论
A Systematic Mapping Study of Suggested Improvements to object-oriented Design Patterns
SSRN
收藏 引用
SSRN 2022年
作者: Flageol, William Guéhéneuc, Yann-Gaël Badri, Mourad Monnier, Stefan Concordia University Department of Computer Science & Software Engineering 1455 boulevard de Maisonneuve Ouest MontrealQCH3G 1M8 Canada Université du Québec à Trois-Rivières Département de Mathématiques et Informatique 3351 boulevard des Forges Trois-RivièresQCG9A 5H7 Canada Université de Montréal Département d'informatique et de Recherche Opérationnelle C.P. 6128 succ. Centre-ville MontréalQCH3C 3J7 Canada
Many publications exist on the impact of object-oriented design patterns, in addition to secondary studies summarizing these publications. Yet, there has not been much focus on the studies attempting to improve these ... 详细信息
来源: 评论
Peng: A program for transport properties of low-density binary gas mixtures
arXiv
收藏 引用
arXiv 2022年
作者: Zhai, Yu Li, You Li, Hui McCourt, Frederick R.W. Institute of Theoretical Chemistry College of Chemistry Jilin University 2519 Jiefang Road Changchun130023 China Department of Chemistry University of Waterloo WaterlooONN2L 3G1 Canada
The fundamental properties of molecules bridge experiment and theory. Transport properties (diffusion, thermal diffusion, thermal conductivity and viscosity) of binary mixtures are measurable in experiments, and well-... 详细信息
来源: 评论