咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,643 篇 工学
    • 2,409 篇 计算机科学与技术...
    • 2,213 篇 软件工程
    • 211 篇 电气工程
    • 207 篇 信息与通信工程
    • 126 篇 控制科学与工程
    • 60 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 491 篇 理学
    • 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 篇 computer program...
  • 12 篇 computer program...
  • 12 篇 software tools

机构

  • 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,528 篇 英文
  • 132 篇 其他
  • 14 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java Programming Language"
2697 条 记 录,以下是2451-2460 订阅
排序:
Generating java trace data
Generating Java trace data
收藏 引用
ACM 2000 java Grande Conference
作者: Reiss, Steven P. Renieris, Manos Department of Computer Science Brown University Providence RI 02912 United States
We describe a system for gathering and analyzing java trace data. The system provides relatively complete data collection from large java systems. It also provides a variety of different analyses of that data for use ... 详细信息
来源: 评论
java bytecode optimization with advanced instruction folding mechanism
Java bytecode optimization with advanced instruction folding...
收藏 引用
3rd International Symposium on High Performance Computing
作者: Kim, A Chang, M IIT Dept Comp Sci Chicago IL 60616 USA
The execution performance of java has been a problem since it was introduced world wide. As one of the solutions, a bytecode instruction folding process for java processors was developed in a Picojava model and a Prod... 详细信息
来源: 评论
Proof-outlines for threads in java
Proof-outlines for threads in Java
收藏 引用
11th International Conference on Concurrency Theory, CONCUR 2000
作者: Abraham-Mumm, Erika De Boer, Frank S. Christian-Albrechts-University Kiel Germany Utrecht University Netherlands
We introduce an assertional method for specifying and proving properties of the multi-threaded flow of control in java. The method integrates in a modular manner reasoning about the shared-variable concurrency within ... 详细信息
来源: 评论
Bulk file I/O extensions to java
Bulk file I/O extensions to Java
收藏 引用
ACM 2000 java Grande Conference
作者: Bonachea, Dan EECS Department University of California Berkeley Berkeley CA 94720 United States
The file I/O classes present in java have proven too inefficient to meet the demands of high-performance applications that perform large amounts of I/O. The inefficiencies stem primarily from the library interface whi... 详细信息
来源: 评论
Enterprise-wide computing with java
Enterprise-wide computing with Java
收藏 引用
IEEE SoutheastCon 2000 'Preparing for the New Millennium'
作者: Ahuja, Sanjay P. Univ of North Florida Jacksonville United States
As the first language designed from the bottom up with networking and distributed computing in mind, java makes it easy for computers to cooperate [1]. The explosive growth in e-commerce applications is fueling the gr... 详细信息
来源: 评论
Issues in java-based continuous time step physical modelling
Issues in Java-based continuous time step physical modelling
收藏 引用
2000 Winter Simulation Proceedings
作者: Schaefer, Lisa A. Wolfe, Philip M. Arizona State Univ Tempe United States
This paper discusses the problems involved in developing a java based simulation model of autonomous entities that can navigate themselves in 2-dimensional space. We develop some ideas for solving those problems. The ... 详细信息
来源: 评论
A wrapper generator for wrapping high performance legacy codes as java/Corba components
A wrapper generator for wrapping high performance legacy cod...
收藏 引用
2000 ACM/IEEE Conference on Supercomputing, SC 2000
作者: Li, M. Rana, O.F. Shields, M.S. Walker, D.W. Department of Computer Science Cardiff University PO Box 916 CardiffCF24 3XF United Kingdom Computer Science and Mathematics Division Oak Ridge National Laboratory PO Box 2008 Oak RidgeTN37831-6367 United States
This paper describes a Wrapper Generator for wrapping high performance legacy codes as java/CORBA components for use in a distributed component-based problem-solving environment. Using the Wrapper Generator we have au... 详细信息
来源: 评论
Retargetable code generator for java bytecode  4
Retargetable code generator for Java bytecode
收藏 引用
4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000
作者: Jung, Sung-Ok Lee, Sung-Joo Ko, Kwang-Man Dept. of Computer Science Kwang-Ju Women's University Korea Republic of Dept. of Computer Engineering Chosun University Korea Republic of
The massive growth of the Internet and the World Wide Web has lead to research into programming languages for the development of applications in heterogeneous, network-wide distributed environments. java is an object-... 详细信息
来源: 评论
Model checking java programs
Model checking Java programs
收藏 引用
ISSTA 00 Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis
作者: Dill, David
Model checking java programs are discussed. These model checkers can be applied to protocols and hardware designs. The model checkers suuport dynamic allocation, thread creation and recursive procedures and have some ... 详细信息
来源: 评论
Report of session: Analysis of the J Consortium real-time java proposal  00
Report of session: Analysis of the J Consortium real-time Ja...
收藏 引用
10th International Real-Time Ada Workshop, IRTAW 2000
作者: Dobbing, Brian Vardanega, Tullio
As a 'first' in the history of IRTAW, the workshop devoted a full session to the analysis of the real-time extensions currently proposed for a mainstream language in direct competition with Ada, that is java. ... 详细信息
来源: 评论