咨询与建议

限定检索结果

文献类型

  • 1,198 篇 期刊文献
  • 845 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2,043 篇 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...
  • 3 篇 harvard univ cam...
  • 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 篇 stanford univ st...
  • 2 篇 univ edinburgh d...
  • 2 篇 lockheed palo al...

作者

  • 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,343 篇 英文
  • 634 篇 其他
  • 41 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 丹麦文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=Computer Systems Programming"
2043 条 记 录,以下是31-40 订阅
排序:
Lisp Report on the "3rd European Lisp workshop (ELW'06)" at ECOOP'06
Lisp Report on the "3rd European Lisp workshop (ELW'06)" at ...
收藏 引用
ECOOP 2006 Workshop
作者: Rhodes, Christophe Costanza, Pascal D'Hondt, Theo Lemmens, Arthur Univ London Goldsmiths Coll London SE14 6NW England Vrije Univ Brussel Brussels Belgium
This report covers the activities of the 3(rd) European Lisp Workshop. We introduce the motivation for a workshop focussing on languages in the Lisp family, and mention relevant organisational aspects. We summarize th... 详细信息
来源: 评论
Improving the development process for CSE software
Improving the development process for CSE software
收藏 引用
15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
作者: Heroux, Michael A. Willenbring, James. M. Phenow, Michael N. Sandia Natl Labs Computat Math & Algorithms Dept POB 5800 Albuquerque NM 87185 USA
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time a continual focus on new modeling capa... 详细信息
来源: 评论
Streaming networks for coordinating data-parallel programs
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Grelck, Clemens Scholz, Sven-Bodo Shafarenko, Alex Med Univ Lubeck Inst Software Technol & Programming Languages D-23538 Lubeck Germany Univ Hertfordshire Compiler Technol & Comp Architecture Grp Hereford England
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordination language: stream processing and var... 详细信息
来源: 评论
Security for multithreaded programs under cooperative scheduling
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Russo, Alejandro Sabelfeld, Andrei Chalmers Univ Technol Dept Comp Sci & Engn S-41296 Gothenburg Sweden
Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observable outputs. Volpano and Smith have introduced... 详细信息
来源: 评论
Specifying and verifying programs in Spec
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Rustan, K. Leino, M. Microsoft Res Redmond WA USA
Spec# is research programming system that aims to provide programmers with a higher degree of rigor than in common languages today. The Spec# language extends the object-oriented .NET language C#, adding features like... 详细信息
来源: 评论
Report on an implementation of a semi-inverter
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Mogensen, Torben AEgidius Univ Copenhagen DIKU DK-2100 Copenhagen O Denmark
Semi-inversion is a generalisation of inversion: A semi-inverse of a program takes some of the inputs and outputs of the original program and returns the remaining inputs and outputs. We report on an implementation of... 详细信息
来源: 评论
Erlang - Software for a concurrent world
收藏 引用
21st European Conference on Object-Oriented programming, ECOOP 2007
作者: Armstrong, Joe Ericsson AB
This talk is about Erlang and Concurrency Oriented programming. We start with a short history of Erlang and of shared state and message passing concurrency. We argue that it is impossible to make fault-tolerant system... 详细信息
来源: 评论
Grand challenges of system programming
收藏 引用
6th International Andrei Ershov Memorial Conference on Perspectives of systems Informatics
作者: Ivannikov, Victor Russian Acad Sci Inst Syst Programming Moscow 117901 Russia
In 1969 the Second All-Soviet programming Conference took place here, in Akademgorodok. One of the hot issues discussed at that conference was the problem of crisis of programming, which was proposed by Andrei Ershov.... 详细信息
来源: 评论
Patterns of aspect-oriented design
Patterns of aspect-oriented design
收藏 引用
12th European Conferenceon Pattern Languages of Programs, EuroPLoP 2007
作者: Noble, James Schmidmeier, Arno Pearce, David J. Black, Andrew P. Imperial College London United Kingdom Victoria University of Wellington New Zealand AspectSoft New Zealand Portland State University United States
Aspect-oriented programming languages are becoming commonplace, and programmers are accumulating experience in building and maintaining aspect-oriented systems. This paper addresses how the use of these languages affe... 详细信息
来源: 评论
Beyond refactoring: A framework for modular maintenance of crosscutting design idioms  07
Beyond refactoring: A framework for modular maintenance of c...
收藏 引用
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2007, ESEC-FSE'07
作者: Shonle, Macneil Griswold, William G. Lerner, Sorin Computer Science and Engineering UC San Diego San Diego CA 92093-0404 United States
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize - such as improving the implementation of a design pattern - are not supported and are... 详细信息
来源: 评论