咨询与建议

限定检索结果

文献类型

  • 1,380 篇 会议
  • 10 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 1,392 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 977 篇 工学
    • 764 篇 计算机科学与技术...
    • 677 篇 软件工程
    • 154 篇 控制科学与工程
    • 127 篇 电气工程
    • 127 篇 信息与通信工程
    • 88 篇 机械工程
    • 73 篇 动力工程及工程热...
    • 63 篇 生物工程
    • 56 篇 电子科学与技术(可...
    • 56 篇 生物医学工程(可授...
    • 45 篇 土木工程
    • 38 篇 交通运输工程
    • 33 篇 仪器科学与技术
    • 33 篇 建筑学
    • 32 篇 化学工程与技术
    • 31 篇 光学工程
    • 28 篇 材料科学与工程(可...
  • 487 篇 理学
    • 354 篇 数学
    • 76 篇 物理学
    • 75 篇 生物学
    • 67 篇 统计学(可授理学、...
    • 59 篇 系统科学
    • 34 篇 化学
  • 270 篇 管理学
    • 207 篇 管理科学与工程(可...
    • 128 篇 工商管理
    • 72 篇 图书情报与档案管...
  • 65 篇 教育学
    • 65 篇 教育学
  • 58 篇 经济学
    • 58 篇 应用经济学
  • 48 篇 医学
    • 44 篇 临床医学
    • 41 篇 基础医学(可授医学...
  • 32 篇 法学
  • 16 篇 农学
  • 8 篇 文学
  • 6 篇 艺术学
  • 4 篇 军事学

主题

  • 62 篇 programming
  • 46 篇 linear programmi...
  • 39 篇 optimization
  • 38 篇 software enginee...
  • 38 篇 dynamic programm...
  • 28 篇 students
  • 25 篇 computer science
  • 21 篇 python
  • 20 篇 programming prof...
  • 20 篇 genetic algorith...
  • 19 篇 machine learning
  • 19 篇 software
  • 18 篇 computer languag...
  • 18 篇 heuristic algori...
  • 17 篇 integer programm...
  • 17 篇 costs
  • 15 篇 computational mo...
  • 15 篇 cloud computing
  • 14 篇 object oriented ...
  • 13 篇 genetic programm...

机构

  • 5 篇 school of transp...
  • 5 篇 al-farahidi univ...
  • 5 篇 school of comput...
  • 4 篇 school of electr...
  • 4 篇 changsha univers...
  • 4 篇 department of in...
  • 4 篇 huazhong univers...
  • 4 篇 school of comput...
  • 4 篇 department of co...
  • 4 篇 school of mechan...
  • 3 篇 wuhan university...
  • 3 篇 wuhan university...
  • 3 篇 school of comput...
  • 3 篇 hohai university...
  • 3 篇 school of mechat...
  • 3 篇 college of infor...
  • 3 篇 chitkara univers...
  • 3 篇 school of data s...
  • 3 篇 school of comput...
  • 3 篇 national united ...

作者

  • 4 篇 stuckey peter j.
  • 4 篇 li zuoyong
  • 4 篇 holcombe mike
  • 3 篇 senthil kumar a....
  • 3 篇 wang lei
  • 3 篇 wang dong
  • 3 篇 gang wang
  • 3 篇 ismail musirin
  • 3 篇 cao peng
  • 3 篇 succi giancarlo
  • 3 篇 a.v. senthil kum...
  • 3 篇 watanobe yutaka
  • 3 篇 singla ishdeep
  • 3 篇 musirin ismail
  • 3 篇 janes andrea
  • 3 篇 yan han
  • 3 篇 gheorghe marian
  • 3 篇 wang jun
  • 2 篇 queirós ricardo
  • 2 篇 mohan narendra

语言

  • 1,363 篇 英文
  • 27 篇 其他
  • 2 篇 中文
检索条件"任意字段=4th International Conference on Art, Science, and Engineering of Programming, Programming 2020"
1392 条 记 录,以下是1231-1240 订阅
排序:
Investigating throughput degradation behavior of Java application servers: A view from inside a virtual machine  06
Investigating throughput degradation behavior of Java applic...
收藏 引用
4th international conference on Principles and Practices of programming in Java, PPPJ 2006
作者: Xian, Feng Srisa-An, Witawas Jiang, Hong Computer Science and Engineering University of Nebraska-Lincoln Lincoln NE 68588-0115
Application servers are gaining popularity as a way for businesses to conduct day-to-day operations. Currently, the most adopted technologies for Application Servers are Java and .NET. While strong emphasis has been p... 详细信息
来源: 评论
Demonic algebra with domain
收藏 引用
9th international conference on Relational Methods in Computer science and 4th international Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006
作者: De Carufel, Jean-Lou Desharnais, Jules Département d'Informatique et de Génie Logiciel Université Lavai Québec Que. G1K 7P4 Canada
We first recall the concept of Kleene algebra with domain (KAD). then we explain how to use the operators of KAD to define a demonic refinement ordering and demonic operators (many of these definitions come from the l... 详细信息
来源: 评论
Operational semantics of the seal calculus
Operational semantics of the seal calculus
收藏 引用
4th IFIP TCI2 international conference on Intelligent Information Processing, IIP 2006
作者: Jing, Zhang Li-Cui, Zhang De-Gui, Guo College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education of China Jilin University Changchun 130012 China College of Communication Engineering Jilin University Changchun 130012 China
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming dir... 详细信息
来源: 评论
LXI C. class device design in LAN based ATE
LXI C. class device design in LAN based ATE
收藏 引用
2006 IEEE international conference on Industrial Informatics, INDIN'06
作者: Mei, Yuan Dahai, Wang School of Automation Science and Electrical Engineering Beijing University of Aeronautics and Astronautics Beijing 100083 China
Testing Instruments are usually integrated into ATE (Automatic Testing Equipment) systems. A lot of factors should be taken into account, such as size, weight, cost, speed, modularity and interoperation and so on. So ... 详细信息
来源: 评论
Components: A valuable investment for financial engineering why derivative contracts should be active documents  06
Components: A valuable investment for financial engineering ...
收藏 引用
4th international conference on Principles and Practices of programming in Java, PPPJ 2006
作者: Reitz, Markus Nögel, Ulrich University of Kaiserslautern Software Technology Group P.O. Box 3049 67653 Kaiserslautern Germany Fraunhofer ITWM Department of Financial Mathematics Fraunhoferplatz 1 67663 Kaiserslautern Germany
Although component-oriented thinking is quite common to software developers, the paradigm's impact beyond its "native" domain is limited. Financial engineering, a fast-growing discipline that combines fi... 详细信息
来源: 评论
Architectural support for safe software execution on embedded processors
Architectural support for safe software execution on embedde...
收藏 引用
CODES+ISSS 2006: 4th international conference on Hardware Software Codesign and System Synthesis
作者: Arora, Divya Raghunathan, Anand Ravi, Srivaths Jha, Niraj K. Dept. of Electrical Engineering Princeton University Princeton NJ 08544 NEC Laboratories America Princeton NJ 08540
the lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and more recently, system security. A major ... 详细信息
来源: 评论
Resource virtualization in real-time CORBA middleware
Resource virtualization in real-time CORBA middleware
收藏 引用
international conference on Hardware/Software Codesign and System Synthesis (CODES)
作者: Christopher D. Gill Department of Computer Science and Engineering Washington University Saint Louis MO USA
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more abstract and consistent view of those resources is presented to the applications that us... 详细信息
来源: 评论
Generative programming and Component engineering - 4th international conference, GPCE 2005, Proceedings
Generative Programming and Component Engineering - 4th Inter...
收藏 引用
4th international conference on Generative programming and Component engineering, GPCE 2005
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova:... 详细信息
来源: 评论
Knowledge-based and CP-driven methodology for dedicated DSS design
Knowledge-based and CP-driven methodology for dedicated DSS ...
收藏 引用
IEEE international conference on Industrial Informatics (INDIN)
作者: Zbigniew A. Banaszak Izabela Tomczuk-Pirog Pawel Sitek Department of Computer Science and Management Technical University of Koszalin Koszalin Poland OPOLE Department of Electrical and Computer Engineering Technical University of Kielce Kielce Poland
A unified framework standing behind of a methodology aimed at object oriented decision support system design is considered. First of all the consistency of the assumed knowledge bases describing an object (enterprise)... 详细信息
来源: 评论
Asset Management in and Redesign of Chemical Supply Chains
Asset Management in and Redesign of Chemical Supply Chains
收藏 引用
IEEE international conference on Industrial Informatics (INDIN)
作者: P. K. Naraharisetti I. A. Karimi R. Srinivasan D. Wang Process Science & Modelling (PSM) Institute of Chemical and Engineering Sciences Singapore Department of Chemical & Biomolecular Engineering (ChBE) National University of Singapore Singapore ChBE-NUS and PSM-ICES Singapore PSM-ICES Singapore
Asset management involves the allocation of resources and capital in a supply chain such that the shareholder value is maximized. Supply chain redesign deals with investments, disinvestments and relocation of producti... 详细信息
来源: 评论