咨询与建议

限定检索结果

文献类型

  • 1,195 篇 期刊文献
  • 844 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,807 篇 工学
    • 1,733 篇 计算机科学与技术...
    • 1,544 篇 软件工程
    • 81 篇 信息与通信工程
    • 75 篇 控制科学与工程
    • 73 篇 电气工程
    • 73 篇 电子科学与技术(可...
    • 35 篇 材料科学与工程(可...
    • 35 篇 建筑学
    • 34 篇 机械工程
    • 34 篇 土木工程
    • 20 篇 生物医学工程(可授...
    • 17 篇 测绘科学与技术
    • 17 篇 航空宇航科学与技...
    • 15 篇 生物工程
    • 14 篇 仪器科学与技术
    • 10 篇 光学工程
    • 9 篇 力学(可授工学、理...
    • 4 篇 安全科学与工程
  • 257 篇 理学
    • 210 篇 数学
    • 51 篇 统计学(可授理学、...
    • 27 篇 物理学
    • 15 篇 生物学
    • 14 篇 系统科学
    • 8 篇 化学
  • 171 篇 管理学
    • 128 篇 管理科学与工程(可...
    • 56 篇 图书情报与档案管...
    • 52 篇 工商管理
  • 25 篇 教育学
    • 17 篇 教育学
    • 10 篇 心理学(可授教育学...
  • 12 篇 军事学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 6 篇 医学
  • 2 篇 法学
  • 2 篇 文学

主题

  • 2,039 篇 computer systems...
  • 12 篇 response time (c...
  • 5 篇 mathematical mod...
  • 4 篇 computer archite...
  • 4 篇 data communicati...
  • 3 篇 matlab
  • 3 篇 software enginee...
  • 3 篇 computer operati...
  • 3 篇 control educatio...
  • 3 篇 parallel process...
  • 3 篇 client server co...
  • 2 篇 computer simulat...
  • 2 篇 data storage equ...
  • 2 篇 model predictive...
  • 2 篇 database systems
  • 2 篇 computer softwar...
  • 2 篇 sorting
  • 2 篇 algorithms
  • 2 篇 laboratory educa...
  • 2 篇 approximation th...

机构

  • 4 篇 ibm corp thomas ...
  • 3 篇 univ of californ...
  • 3 篇 columbia univ ny...
  • 2 篇 univ of glasgow ...
  • 2 篇 univ of tokyo
  • 2 篇 weizmann inst of...
  • 2 篇 univ of rocheste...
  • 2 篇 ibm corp thomas ...
  • 2 篇 silicon graphics...
  • 2 篇 cornell univ ith...
  • 2 篇 brown univ provi...
  • 2 篇 department of co...
  • 2 篇 korea univ korea...
  • 2 篇 massachusetts in...
  • 2 篇 johns hopkins un...
  • 2 篇 new york univ ny...
  • 2 篇 univ edinburgh d...
  • 2 篇 lockheed palo al...
  • 2 篇 microsoft res re...
  • 2 篇 univ york dept c...

作者

  • 29 篇 anon
  • 9 篇 kim k.h.
  • 9 篇 ramamoorthy c.v.
  • 8 篇 boggs jr. j.k.
  • 7 篇 larson l.e.
  • 7 篇 edel t.r.
  • 6 篇 boggs j.k.
  • 5 篇 lynch nancy a.
  • 5 篇 carter w.c.
  • 5 篇 brannon t.l.
  • 5 篇 ferrari domenico
  • 5 篇 fischer michael ...
  • 4 篇 wileden jack c.
  • 4 篇 clarke edmund m.
  • 4 篇 laventhal mark s...
  • 4 篇 boebert w.e.
  • 4 篇 borodin allan
  • 4 篇 goldberg robert ...
  • 4 篇 jordan harry f.
  • 4 篇 meritt a.s.

语言

  • 1,335 篇 英文
  • 646 篇 其他
  • 34 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=COMPUTER SYSTEMS PROGRAMMING"
2039 条 记 录,以下是111-120 订阅
排序:
Convex programming for scheduling unrelated parallel machines  05
Convex programming for scheduling unrelated parallel machine...
收藏 引用
13th Color Imaging Conference: Color Science, systems, Technologies, and Applications
作者: Azar, Yossi Epstein, Amir School of Computer Science Tel-Aviv University Tel-Aviv 69978 Israel
We consider the classical problem of scheduling parallel unrelated machines. Each job is to be processed by exactly one machine. Processing job j on machine i requires time Pij. The goal is to find a schedule that min... 详细信息
来源: 评论
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
Enhancing Test Coverage by Back-tracing Model-checker Counte...
收藏 引用
作者: Fantechi, A. Gnesi, S. Maggiore, A. Dipto. Di Sistemi E Informatica Università Degli Studi Di F. Firenze Italy ISTI-CNR Pisa Italy AltraVerifica Ltd United Kingdom
The automatic detection of unreachable coverage goals and generation of tests for "corner-case" scenarios is crucial to make testing and simulation based verification more effective. In this paper we address... 详细信息
来源: 评论
Marshaling and unmarshaling models using the entity-relationship model  05
Marshaling and unmarshaling models using the entity-relation...
收藏 引用
20th Annual ACM Symposium on Applied Computing
作者: Cao, Fei Bryant, Barrett R. Zhao, Wei Burt, Carol C. Raje, Rajeev R. Olson, Andrew M. Auguston, Mikhail Department of Computer and Information Sciences University of Alabama at Birmingham 1300 University Boulevard Birmingham AL 35294 United States Department of Computer and Information Science Indiana University Purdue University-Indianapolis 723 W. Michigan Street SL 280 Indianapolis IN 46202 United States Computer Science Department Naval Postgraduate School 1 University Circle Monterey CA 93943 United States
Software systems are usually designed and documented with the aid of visual modeling notations. Visual modeling notations keep evolving over the years in tandem with visual modeling tools, and the tight binding in bet... 详细信息
来源: 评论
Light functional interpretation: An optimization of Gödel's technique towards the extraction of (more) efficient programs from (classical) proofs
Light functional interpretation: An optimization of Gödel's...
收藏 引用
19th International Workshop on computer Science Logic, CSL 2005 and 14th Annual Conference of the EACSL
作者: Hernest, Mircea-Dan École Polytechnique F-91128 Palaiseau France
We give a Natural Deduction formulation of an adaptation of Gödel's functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proofs. We adapt Jørgensen's... 详细信息
来源: 评论
Re-engineering C++ component models via automatic program transformation
Re-engineering C++ component models via automatic program tr...
收藏 引用
WCRE: 12th Working Conference on Reverse Engineering 2005
作者: Akers, Robert L. Baxter, Ira D. Mehlich, Michael Ellis, Brian J. Luecke, Kenn R. Semantic Designs Inc. Boeing Company
Automated program transformation holds promise for a variety of software life cycle endeavors, particularly where the size of legacy systems makes code analysis, re-engineering, and evolution difficult and expensive. ... 详细信息
来源: 评论
Teaching visual programming to high school students, experience from Pakistan
Teaching visual programming to high school students, experie...
收藏 引用
1st International Conference on Information and Communication Technology, ICICT 2005
作者: Khan, Abdul Wajed Siddiqi, Arshad Institute of Business Administration Karachi Pakistan Institute of Business and Technology Karachi Pakistan
This paper presents the lessons learnt from a Visual *** curriculum from Microsoft. The said curriculum by the global name of "Code Rules" was recently localized and called "Coding Mel". A pilot wa... 详细信息
来源: 评论
IRONCODE: Think-twice, code-once programming
IRONCODE: Think-twice, code-once programming
收藏 引用
Proceedings of the Thirty-Sixth SIGCSE Technical Symposium on computer Science Education, SIGCSE 2005
作者: Bailey, Mark W. Computer Science Department Hamilton College
To become proficient programmers, novices must develop the skills of writing, reading, debugging, and testing code. We believe that learning to write short pieces of code correctly the first time helps strengthen all ... 详细信息
来源: 评论
Free-space optics technology employed in an UMTS release 4 bearer independent core network access part
Free-space optics technology employed in an UMTS release 4 b...
收藏 引用
Advanced Topics in Optoelectronics, Microelectronics, and Nanotechnologies II
作者: Bibac, Ionut Nortel Networks Parc d' Activités de Magny Châteaufort les Jeunes Bois Châteaufort 78928 Yvelines Cedex 9 France
The UMTS Bearer Independent Core Network program introduced the 3 rd Generation Partnership Program Release 4 BICN architecture into the legacy UMTS TDM-switched network. BICN is the application of call server archite... 详细信息
来源: 评论
Parallel local search in cornet
收藏 引用
11th International Conference on Principles and Practice of Constraint programming - CP 2005
作者: Michel, Laurent Van Hentenryck, Pascal University of Connecticut Storrs CT 06269-2155 Brown University Box 1910 Providence RI 02912
The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To leverage these potential benefits, it is importa... 详细信息
来源: 评论
AspectAda - Aspect oriented programming for Ada95
AspectAda - Aspect oriented programming for Ada95
收藏 引用
ACM SIGAda Annual International Conference, SIGAda 2005: The Engineering of Correct and Reliable Software for Real-Time and Distributed systems using Ada and Related Technologies
作者: Pedersen, Knut H. Constantinides, Constantinos Department of Computer Science and Software Engineering Concordia University Montreal Que. H3G 1M8 Canada
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to allow a modular implementation of thes... 详细信息
来源: 评论