咨询与建议

限定检索结果

文献类型

  • 2,212 篇 会议
  • 476 篇 期刊文献
  • 5 篇 学位论文
  • 2 册 图书
  • 2 篇 科技报告

馆藏范围

  • 2,697 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,640 篇 工学
    • 2,406 篇 计算机科学与技术...
    • 2,210 篇 软件工程
    • 211 篇 电气工程
    • 207 篇 信息与通信工程
    • 126 篇 控制科学与工程
    • 60 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 490 篇 理学
    • 366 篇 数学
    • 42 篇 统计学(可授理学、...
    • 40 篇 生物学
    • 40 篇 系统科学
    • 38 篇 物理学
    • 17 篇 化学
  • 414 篇 管理学
    • 221 篇 图书情报与档案管...
    • 218 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 121 篇 教育学
    • 121 篇 教育学
  • 30 篇 法学
    • 21 篇 社会学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 24 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,697 篇 java programming...
  • 255 篇 java
  • 44 篇 computer softwar...
  • 33 篇 software
  • 21 篇 codes
  • 20 篇 libraries
  • 18 篇 computer personn...
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 16 篇 graphical user i...
  • 16 篇 language
  • 15 篇 source code
  • 14 篇 analysis program...
  • 14 篇 open source soft...
  • 13 篇 runtime
  • 13 篇 extensible marku...
  • 13 篇 testing
  • 13 篇 computer program...
  • 12 篇 computer program...

机构

  • 6 篇 unisys corporati...
  • 6 篇 kth royal instit...
  • 5 篇 graduate school ...
  • 5 篇 ibm corp thomas ...
  • 5 篇 ibm t.j. watson ...
  • 4 篇 ibm ottawa
  • 4 篇 dipartimento di ...
  • 4 篇 singapore manage...
  • 4 篇 inria sophia ant...
  • 4 篇 department of co...
  • 4 篇 univ york dept c...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ york york y...
  • 3 篇 université de mo...
  • 3 篇 cwi
  • 3 篇 school of comput...
  • 3 篇 utrecht universi...
  • 3 篇 iit dept comp sc...
  • 3 篇 department of ma...
  • 3 篇 indiana univ dep...

作者

  • 16 篇 bettini lorenzo
  • 15 篇 inoue katsuro
  • 14 篇 binder walter
  • 11 篇 leavens gary t.
  • 9 篇 schoeberl martin
  • 9 篇 ernst michael d.
  • 8 篇 ishio takashi
  • 8 篇 monperrus martin
  • 8 篇 carpenter bryan
  • 8 篇 wellings andy
  • 7 篇 visser willem
  • 7 篇 baudry benoit
  • 7 篇 fox geoffrey
  • 7 篇 damiani ferrucci...
  • 7 篇 poll erik
  • 7 篇 poetzsch-heffter...
  • 7 篇 bal henri e.
  • 7 篇 vitek jan
  • 6 篇 kielmann thilo
  • 6 篇 milanova ana

语言

  • 2,530 篇 英文
  • 130 篇 其他
  • 13 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java programming language"
2697 条 记 录,以下是401-410 订阅
排序:
Towards an efficient pauseless java gc with selective HTM-based access barriers  2017
Towards an efficient pauseless Java gc with selective HTM-ba...
收藏 引用
14th International Conference on Managed languages and Runtimes, ManLang 2017
作者: Carpen-Amarie, Maria Fetzer, Christof Hayduk, Yaroslav Thomas, Gaël Felber, Pascal Dice, Dave Université de Neuchâtel Switzerland TU Dresden Germany Telecom SudParis France Oracle Labs United States
The garbage collector (GC) is a critical component of any managed runtime environment (MRE), such as the java virtual machine. While the main goal of the GC is to simplify and automate memory management, it may have a... 详细信息
来源: 评论
Gamification for teaching java  17
Gamification for teaching Java
收藏 引用
10th EAI International Conference on Simulation Tools and Techniques, SIMUTOOLS 2017
作者: Çubukçu, Çagrı Goodman, Lizbeth Wang, Bo Mangina, Eleni University College Dublin Belfield Dublin Ireland
The term 'gamification' refers to the use of game elements in non-game environments like education, business, sales and marketing. The method of 'gamifying' has been applied in many different contexts ... 详细信息
来源: 评论
Contracts in the wild: A study of java programs  31
Contracts in the wild: A study of Java programs
收藏 引用
31st European Conference on Object-Oriented programming, ECOOP 2017
作者: Dietrich, Jens Pearce, David J. Jezek, Kamil Brada, Premek School of Engineering and Advanced Technology Massey University Palmerston North New Zealand School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand NTIS - New Technologies for the Information Society Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic
The use of formal contracts has long been advocated as an approach to develop programs that are provably correct. However, the reality is that adoption of contracts has been slow in practice. Despite this, the adoptio... 详细信息
来源: 评论
Dynamic software updating in java -comparing concepts and resource demands  17
Dynamic software updating in Java -comparing concepts and re...
收藏 引用
1st International Conference on the Art, Science and Engineering of programming, programming 2017
作者: Mlinarić, Danijel Mornar, Vedran Department of Applied Computing Faculty of Electrical Engineering and Computing Croatia
Dynamic software updating (DSU) is an extremely useful feature to be used during software evolution. It can be used to reduce down-Time costs, for security enhancements, profiling and testing new functionalities. Ther... 详细信息
来源: 评论
A study on behavioral backward incompatibility bugs in java software libraries  17
A study on behavioral backward incompatibility bugs in Java ...
收藏 引用
39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017
作者: Mostafa, Shaikh Rodriguez, Rodney Wang, Xiaoyin Department of Computer Science University of Texas at San Antonio TX78249 United States
Nowadays, due to the frequent technological innovationand market changes, software libraries are evolving veryquickly. To make sure that existing client software applicationsare not broken after a library update, back... 详细信息
来源: 评论
Antipatterns causing memory bloat: A case study  24
Antipatterns causing memory bloat: A case study
收藏 引用
24th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2017
作者: Jezek, Kamil Lipka, Richard NTIS - New Technologies for the Information Society Department of Computer Sciences and Engineering Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic
java is one of the languages that are popular for high abstraction and automatic memory management. As in other object-oriented languages, java's objects can easily represent a domain model of an application. Whil... 详细信息
来源: 评论
A system for SMT based constraint programming in java  47
A system for SMT based constraint programming in Java
收藏 引用
47. Jahrestagung der Gesellschaft fur Informatik, Informatik 2017 - 47th Annual Meeting of the German Informatics Society (GI), Informatics 2017
作者: Funk, Maurice Universität Bremen Germany
This paper presents a system for constraint programming in java using translation of JVM bytecode into SMT. This allows the constraints to be written in normal java, to being interoperable with the rest of the program... 详细信息
来源: 评论
Mining readme files to support automatic building of java projects in software repositories  17
Mining readme files to support automatic building of Java pr...
收藏 引用
39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017
作者: Hassan, Foyzul Wang, Xiaoyin University of Texas San Antonio United States
Automatic building of software projects providesa desirable foundation to support a large variety of softwareengineering research tasks based on open software repositories. In this paper, we propose the first techniqu... 详细信息
来源: 评论
Upsortable: programming Top-K queries over data streams  43
Upsortable: Programming Top-K queries over data streams
收藏 引用
43rd International Conference on Very Large Data Bases, VLDB 2017
作者: Subercaze, Julien Gravier, Christophe Kammoun, Syed Gillani Abderrahmen Laforest, Frédérique Univ Lyon UJM Saint-Etienne Laboratoire Hubert Curien UMR 5516 Saint-EtienneF42023 France
Top-k queries over data streams is a well studied problem. There exists numerous systems allowing to process continuous queries over sliding windows. At the opposite, non- append only streams call for ad-hoc solutions... 详细信息
来源: 评论
Special issue on 12th international workshop on java technologies for real-time and embedded systems (JTRES2014)
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第22期29卷 e4353.1-e4353.2页
作者: Fox, Geoffrey Indiana Univ Sch Informat Comp & Engn Bloomington IN 47401 USA
This editorial describes a special issue of papers from the 2014 workshop on java Technologies for Real-Time and Embedded Systems.[1] There are four papers in this special issue. The first paper [2] presents HVMTP, a ... 详细信息
来源: 评论