咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,628 篇 工学
    • 2,407 篇 计算机科学与技术...
    • 2,208 篇 软件工程
    • 206 篇 信息与通信工程
    • 187 篇 电气工程
    • 126 篇 控制科学与工程
    • 58 篇 电子科学与技术(可...
    • 40 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 建筑学
    • 21 篇 仪器科学与技术
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 16 篇 动力工程及工程热...
    • 16 篇 化学工程与技术
  • 486 篇 理学
    • 368 篇 数学
    • 42 篇 统计学(可授理学、...
    • 41 篇 系统科学
    • 38 篇 生物学
    • 37 篇 物理学
    • 17 篇 化学
  • 413 篇 管理学
    • 220 篇 图书情报与档案管...
    • 219 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 119 篇 教育学
    • 119 篇 教育学
  • 29 篇 法学
    • 20 篇 社会学
  • 23 篇 经济学
    • 23 篇 应用经济学
  • 20 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,680 篇 java programming...
  • 231 篇 java
  • 39 篇 computer softwar...
  • 33 篇 software
  • 19 篇 codes
  • 18 篇 libraries
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 14 篇 graphical user i...
  • 13 篇 runtime
  • 13 篇 testing
  • 13 篇 open source soft...
  • 13 篇 source code
  • 12 篇 extensible marku...
  • 12 篇 analysis program...
  • 12 篇 security
  • 12 篇 language
  • 12 篇 computer personn...
  • 11 篇 computer program...

机构

  • 6 篇 unisys corporati...
  • 5 篇 graduate school ...
  • 5 篇 kth royal instit...
  • 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 篇 ibm corp network...
  • 4 篇 univ york dept c...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ london impe...
  • 3 篇 univ york york y...
  • 3 篇 cwi
  • 3 篇 school of comput...
  • 3 篇 utrecht universi...
  • 3 篇 iit dept comp sc...
  • 3 篇 univ minnesota d...

作者

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

语言

  • 2,491 篇 英文
  • 152 篇 其他
  • 13 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java programming language"
2680 条 记 录,以下是91-100 订阅
排序:
Injecting roles in java agents through runtime bytecode manipulation
收藏 引用
IBM SYSTEMS JOURNAL 2005年 第1期44卷 185-208页
作者: Cabri, G Ferrari, L Leonardi, L Univ Modena Dipartimento Ing Informaz I-41100 Modena Italy
Agents are problem-solving entities that can be used to develop complex and distributed systems because they are autonomous, mobile, reactive, social, and proactive. Today's trends in agent technology include the ... 详细信息
来源: 评论
Cost enforcement in the real-time specification for java
收藏 引用
REAL-TIME SYSTEMS 2007年 第2期37卷 139-179页
作者: Dos Santos, Osmar Marchi Wellings, Andy Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
The Real-Time Specification for java (RTSJ) provides an integrated approach to scheduling periodic real-time threads and monitoring their CPU execution time. It defines a cost enforcement model whereby a periodic real... 详细信息
来源: 评论
Translating java for multiple model checkers: The Bandera back-end
收藏 引用
FORMAL METHODS IN SYSTEM DESIGN 2005年 第2期26卷 137-180页
作者: Iosif, R Dwyer, MB Hatcliff, J Kansas State Univ Dept Comp & Informat Sci Manhattan KS 66506 USA Dept Comp Sci & Engn Lincoln NE 68588 USA
One approach to model checking program source code is to view a model checker as a target machine. In this setting, program source code is translated to a model checker's input language using a process that shares... 详细信息
来源: 评论
SanFrancisco performance: A case study in performance of large-scale java applications
收藏 引用
IBM SYSTEMS JOURNAL 2000年 第1期39卷 4-20页
作者: Christ, R Halter, SL Lynne, K Meizer, S Munroe, SJ Pasch, M IBM Corp Software Grp Rochester Lab Rochester MN 55901 USA
This is a study of the performance progress of the SanFrancisco(TM) project from the time the decision was made to base it on the java(TM) language up to the time SanFrancisco applications were successfully deployed i... 详细信息
来源: 评论
Building a java virtual machine for server applications: The Jvm on OS/390
收藏 引用
IBM SYSTEMS JOURNAL 2000年 第1期39卷 194-210页
作者: Dillenberger, D Bordawekar, R Clark, CW Durand, D Emmes, D Gohda, O Howard, S Oliver, MF Samuel, F St John, RW IBM Corp Div Res Thomas J Watson Res Ctr Hawthorne NY 10532 USA IBM Corp S390 Div Poughkeepsie NY 12601 USA IBM Corp Tokyo Res Lab Yamato Kanagawa 2428502 Japan IBM Corp Hursley Dev Lab Java Technol Ctr Winchester SO21 2JN Hants England IBM Corp Server Grp Endicott NY 13903 USA
As the use of the java(TM) language and virtual machines proliferates beyond the sphere of applets into the space of server programs, developers are requiring better performance, availability, and transactional and sc... 详细信息
来源: 评论
A certified lightweight non-interference java bytecode verifier
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2013年 第5期23卷 1032-1081页
作者: Barthe, Gilles Pichardie, David Rezk, Tamara IMDEA Software Inst Madrid 28660 Spain INRIA Rennes Bretagne Atlantique F-35042 Rennes France INRIA Sophia Antipolis Mediterranee F-06902 Sophia Antipolis France
Non-interference guarantees the absence of illicit information flow throughout program execution. It can be enforced by appropriate information flow type systems. Much of the previous work on type systems for non-inte... 详细信息
来源: 评论
java virtual machine profiler interface
收藏 引用
IBM SYSTEMS JOURNAL 2000年 第1期39卷 82-95页
作者: Viswanathan, D Liang, S Extric Software Inc Redwood Shores CA 94065 USA Sun Microsyst Inc Palo Alto CA 94303 USA
We present the java(TM) Virtual Machine Profiler Interface (JVMPI), which defines a general-purpose and portable mechanism for obtaining comprehensive profiling data from the java virtual machine. Vile show that it is... 详细信息
来源: 评论
Extracting library-based java applications
收藏 引用
COMMUNICATIONS OF THE ACM 2003年 第8期46卷 35-40页
作者: Tip, F Sweeney, PF Laffra, C IBM TJ Watson Res Ctr Hawthorne NY 10532 USA IBM Ottawa Lab Ottawa ON Canada
Reducing the size of java applications by creating an application extractor.
来源: 评论
Safe structural conformance for java
收藏 引用
COMPUTER JOURNAL 2000年 第6期43卷 469-481页
作者: Läufer, K Baumgartner, G Russo, VF Loyola Univ Dept Math & Comp Sci Chicago IL 60626 USA Ohio State Univ Dept Comp & Informat Sci Columbus OH 43210 USA Lycos Inc Waltham MA 02154 USA
In java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces: any class or interf... 详细信息
来源: 评论
STING Millennium Suite: integrated software for extensive analyses of 3d structures of proteins and their complexes
收藏 引用
BMC BIOINFORMATICS 2004年 第1期5卷 1-9页
作者: Higa, RH Togawa, RC Montagner, AJ Palandrani, JCF Okimoto, IKS Kuser, PR Yamagishi, MEB Mancini, AL Neshich, G Empresa Brasileira Pesquisa Agropecuaria Ctr Nacl Pesquisa Agropecuaria Campinas SP Brazil Empresa Brasileira Pesquisa Agropecuaria Embrapa Recursos Genet & Biotecnol Lab Bioinformat Brasilia DF Brazil
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fact, there are too few software package... 详细信息
来源: 评论