咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Event-based detection of concurrency
Event-based detection of concurrency
收藏 引用
Proceedings of the 1998 ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering, FSE-6, SIGSOFT-98
作者: Cook, Jonathan E. Wolf, Alexander L. New Mexico State Univ Las Cruces NM United States
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. While there are many techniques to ... 详细信息
来源: 评论
Alias analysis of executable code  98
Alias analysis of executable code
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Debray, Saumya Muth, Robert Weippert, Matthew Univ of Arizona Tucson AZ United States
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfortunately, most existing alias analyses a... 详细信息
来源: 评论
Generational stack collection and profile-driven pretenuring
Generational stack collection and profile-driven pretenuring
收藏 引用
Proceedings of the 1998 Annual ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI
作者: Cheng, Perry Harper, Robert Lee, Peter Carnegie Mellon Univ Pittsburgh United States
Two techniques for improving garbage collection were presented, namely, generational stack collection and profile-driven pretenuring. The first is applicable to stack based implementations of functional languages whil... 详细信息
来源: 评论
Typed language for distributed mobile processes
Typed language for distributed mobile processes
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Riely, James Hennessy, Matthew Univ of Sussex Brighton United Kingdom
We describe a foundational language for specifying dynamically evolving networks of distributed processes, Dπ. The language is a distributed extension of the π-calculus which incorporates the notions of remote execu... 详细信息
来源: 评论
Safety case patterns - reusing successful arguments
Safety case patterns - reusing successful arguments
收藏 引用
Proceedings of the 1998 IEE Colloquium on Understanding Patterns and Their Applications to systems Engineering
作者: Kelly, Tim McDermid, John Univ of York York United Kingdom
The purpose of safety case is to argue that a system is acceptably safe to operate in a specified context. Common argument approaches exist between safety case developments. Informal reuse of safety case material alre... 详细信息
来源: 评论
Proceedings of the 1998 IEE Colloquium on Understanding Patterns and Their Applications to systems Engineering
Proceedings of the 1998 IEE Colloquium on Understanding Patt...
收藏 引用
Proceedings of the 1998 IEE Colloquium on Understanding Patterns and Their Applications to systems Engineering
The proceedings contains 3 papers from the 1998 IEE Colloquium on Understanding Patterns and Their Application to systems Engineering. Topics discussed include: architecture-driven and pattern-based techniques for obj... 详细信息
来源: 评论
Power optimization of variable voltage core-based systems
Power optimization of variable voltage core-based systems
收藏 引用
Proceedings of the 1998 35th Design Automation Conference
作者: Hong, Inki Kirovski, Darko Qu, Gang Potkonjak, Miodrag M. Srivastava, Mani B. Univ of California Los Angeles United States
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by dominant importance of power minimization a... 详细信息
来源: 评论
Redesigning your laboratory on a PC: New tools for simulation-based workflow analysis
LABORATORY ROBOTICS AND AUTOMATION
收藏 引用
LABORATORY ROBOTICS AND AUTOMATION 1998年 第4期10卷 215-221页
作者: Hoffmann, GE Slapansky, P Tlstak, R Trillium gmbH D-82284 Grafrath Germany
A set of PC tools has been developed by the authors to make computer simulation accessible for clinical laboratories planning to restructure or to automate their operations. The new tools include modules for the gener... 详细信息
来源: 评论
Evolution of in-system programming for flash memory
Electronic Engineering (London)
收藏 引用
Electronic Engineering (London) 1998年 第860期70卷 78-80页
作者: Stanbridge, James JTAG Technologies B.V.
In-System programming (ISP) is evolving from a good concept to essential practice in the latest miniaturized and fast-to-market designs. This paper studies the fast growing technique of In-System programming Flash mem... 详细信息
来源: 评论
Taming effects with monadic typing
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
Proceedings of the ACM SIGPLAN International Conference on Functional programming, ICFP 1998年 51-62页
作者: Kieburtz, Richard B. Oregon Graduate Inst Portland OR United States
The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side effects of expression evaluation. This also allows effects to be effectively encapsulat... 详细信息
来源: 评论