咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,648 篇 工学
    • 2,419 篇 计算机科学与技术...
    • 2,217 篇 软件工程
    • 213 篇 电气工程
    • 208 篇 信息与通信工程
    • 127 篇 控制科学与工程
    • 61 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 489 篇 理学
    • 365 篇 数学
    • 42 篇 统计学(可授理学、...
    • 40 篇 生物学
    • 40 篇 系统科学
    • 38 篇 物理学
    • 17 篇 化学
  • 416 篇 管理学
    • 222 篇 图书情报与档案管...
    • 219 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 122 篇 教育学
    • 122 篇 教育学
  • 30 篇 法学
    • 21 篇 社会学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 24 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,705 篇 java programming...
  • 256 篇 java
  • 45 篇 computer softwar...
  • 33 篇 software
  • 22 篇 codes
  • 21 篇 libraries
  • 19 篇 computer personn...
  • 18 篇 language
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 16 篇 graphical user i...
  • 15 篇 source code
  • 14 篇 runtime
  • 14 篇 analysis program...
  • 14 篇 open source soft...
  • 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,503 篇 英文
  • 165 篇 其他
  • 14 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=JAVA programming language"
2705 条 记 录,以下是741-750 订阅
排序:
Retargeting Android applications to java bytecode
Retargeting Android applications to Java bytecode
收藏 引用
20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012
作者: Octeau, Damien Jha, Somesh McDaniel, Patrick Department of Computer Science and Engineering Pennsylvania State University United States Computer Sciences Department University of Wisconsin United States
The Android OS has emerged as the leading platform for SmartPhone applications. However, because Android applications are compiled from java source into platform-specific Dalvik bytecode, existing program analysis too... 详细信息
来源: 评论
RefaFlex: Safer refactorings for reflective java programs
RefaFlex: Safer refactorings for reflective Java programs
收藏 引用
21st International Symposium on Software Testing and Analysis, ISSTA 2012
作者: Thies, Andreas Bodden, Eric Lehrgebiet Programmiersysteme Fernunversität in Hagen Hagen Germany Secure Software Engineering Group EC SPRIDE Technische Universität Darmstadt Darmstadt Germany
If programs access types and members through reflection, refactoring tools cannot guarantee that refactorings on those programs are behavior preserving. Refactoring approaches for highly reflective languages like Smal... 详细信息
来源: 评论
Tools for control flow analysis of java code
Tools for control flow analysis of java code
收藏 引用
IASTED International Conference on Software Engineering and Applications, SEA 2012
作者: Alekseev, Sergej Dhanraj, Victor Reschke, Sebastian Palaga, Peter University of Applied Sciences Frankfurt am Main Nibelungenplatz 1 D-60318 Frankfurt am Main Germany AVM GmbH Alt-Moabit 95 10559 Berlin Germany
This paper presents a set of open source tools used in control flow analysis of java programs. In addition, several use cases have been presented for further utilization. This 'conglomerate' of tools includes ... 详细信息
来源: 评论
A java vs. C++ performance evaluation: A 3D modeling benchmark
A Java vs. C++ performance evaluation: A 3D modeling benchma...
收藏 引用
3rd International Conference on Simulation, Modeling, and programming for Autonomous Robots, SIMPAR 2012
作者: Gherardi, Luca Brugali, Davide Comotti, Daniele DIIMM University of Bergamo Italy
Along the years robotics software and applications have been typically implemented in compiled languages, such as C and C++, rather than interpreted languages, like java. This choice has been due to their well-known f... 详细信息
来源: 评论
Hardware support for safety-critical java scope checks
Hardware support for safety-critical Java scope checks
收藏 引用
15th IEEE International Symposium on Object/Component/Service-oriented Real-Time Distributed Computing, ISORC 2012
作者: Rios, Juan Ricardo Schoeberl, Martin Department of Informatics and Mathematical Modeling Technical University of Denmark Lyngby Denmark
Memory management in Safety-Critical java (SCJ) is based on time bounded, non garbage collected scoped memory regions used to store temporary objects. Scoped memory regions may have different life times during the exe... 详细信息
来源: 评论
Automated termination proofs for java programs with cyclic data
Automated termination proofs for Java programs with cyclic d...
收藏 引用
24th International Conference on Computer Aided Verification, CAV 2012
作者: Brockschmidt, Marc Musiol, Richard Otto, Carsten Giesl, Jürgen LuFG Informatik 2 RWTH Aachen University Aachen Germany
In earlier work, we developed a technique to prove termination of java programs automatically: first, java programs are automatically transformed to term rewrite systems (TRSs) and then, existing methods and tools are... 详细信息
来源: 评论
Parallelism as a concern in java through fork-join synchronization patterns
Parallelism as a concern in Java through fork-join synchroni...
收藏 引用
12th International Conference on Computational Science and Its Applications, ICCSA 2012
作者: Mateos, Cristian Zunino, Alejandro Hirsch, Matías Buenos Aires Argentina CONICET Argentina Buenos Aires Argentina
We are facing a hardware revolution given by the increasing availability of multicore computers, clusters, Grids, and combinations of these. Consequently, there is plenty of computational power, but today's progra... 详细信息
来源: 评论
Interface implementation for web and EJB layers in enterprise application
Interface implementation for web and EJB layers in enterpris...
收藏 引用
International Conference on Green Communications and Networks, GCN 2011
作者: Xiaoyun, Jia Xiaoxia, Wang College of Electrical and Information Engineering Shaanxi University of Science and Technology Xi'an 710021 China
This paper introduces the interface implementation techniques for Web and Ejb layers by developing the management system of enterprise level based on J2EE. Firstly, it studies the hierarchy and functions of J2EE. Seco... 详细信息
来源: 评论
An implementation of sorting algorithm based on java multi-thread technology
An implementation of sorting algorithm based on java multi-t...
收藏 引用
2012 International Conference on Computer Science and Electronics Engineering, ICCSEE 2012
作者: Wang, Deming Zhang, Xiuqiong Men, Tao Wang, Minrong Qin, Hongying Laboratory of Intelligent Information Processing and Application College of Computer Science Leshan Normal University Leshan China
An efficient implementation of quick sort algorithm based on java muti-thread technology was proposed for multi-core computer system. According to Divide-and-Conquer method, it divided the data into a number of segmen... 详细信息
来源: 评论
Development and implementation of enterprise management system based on J2EE
Development and implementation of enterprise management syst...
收藏 引用
International Conference on Green Communications and Networks, GCN 2011
作者: Xiaoyun, Jia Xiao, Zhao College of Electrical and Information Engineering Shaanxi University of Science and Technology 710021 Xi'an China
Based on the practical design of enterprise management system, this paper illustrates the design idea of enterprise management system, such as design procedure, logical division of layer and function, system efficienc... 详细信息
来源: 评论