咨询与建议

限定检索结果

文献类型

  • 284 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 426 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 275 篇 工学
    • 213 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 33 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 13 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 6 篇 石油与天然气工程
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 54 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 13 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
  • 12 篇 教育学
    • 10 篇 教育学
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 libraries
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 computer languag...
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 403 篇 英文
  • 22 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
426 条 记 录,以下是251-260 订阅
Rapidly prototyping implementation infrastructure of Domain Specific Languages: A semantics-based approach
Rapidly prototyping implementation infrastructure of Domain ...
收藏 引用
20th Annual ACM Symposium on Applied Computing
作者: Wang, Qian Gupta, Gopal Applied Logic Programming-Languages and System Lab Department of Computer Science University of Texas Dallas
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. However, designing of a domain... 详细信息
来源: 评论
Model checking
收藏 引用
作者: Berg, Therese Raffelt, Harald Computer Science Department Uppsala University Sweden Department of Programming Systems and Compiler Construction University of Dortmund Germany
In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all ... 详细信息
来源: 评论
Component + aspect = An extensible and adaptable system software
Component + aspect = An extensible and adaptable system soft...
收藏 引用
2005 International Conference on Software Engineering Research and Practice, SERP'05
作者: Netinant, Paniti Department of Computer Science Bangkok University Bangkok Thailand Concurrent Programming Research Group Computer Science Department Illinois Institute of Technology Chicago IL United States
The benefits associated with separation of concerns are well established. Aspect-Orientation is a methodology that aims at separating components and aspects from the early stages of the software life cycle, and using ... 详细信息
来源: 评论
Debugging natural semantics specifications  05
Debugging natural semantics specifications
收藏 引用
AADEBUG 2005: 6th International Symposium on Automated and Analysis-Driven Debugging
作者: Pop, Adrian Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University S-58183 Linköping
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully ... 详细信息
来源: 评论
Strict bidirectional type checking
Strict bidirectional type checking
收藏 引用
TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
作者: Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are alm... 详细信息
来源: 评论
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
The use of a Reasoning process to solve the almost SLAM Chal...
收藏 引用
8th Catalan Conference on Artificial Intelligence, CCIA 2005
作者: Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain
The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLA... 详细信息
来源: 评论
Heterogeneous computing
Heterogeneous computing
收藏 引用
作者: Kalinov, Alexey Lastovetsky, Alexey Robert, Yves Institue for System Programming Russain Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia Department of Computer Science University College Dublin Belfield Dublin 4 Ireland LIP Ecole Normale Supérieure de Lyon Laboratoire LIP F-69364 Lyon Cedex 07 France
No abstract available
来源: 评论
A dynamic compilation framework for controlling microprocessor energy and performance
A dynamic compilation framework for controlling microprocess...
收藏 引用
IEEE/ACM International Symposium on Microarchitecture (MICRO)
作者: Qiang Wu V.J. Reddi Youfeng Wu Jin Lee D. Connors D. Brooks M. Martonosi D.W. Clark Depts. of Computer Science Electrical Engineering Princeton University USA Department of Electrical and Computer Engineering University of Colorado Boulder USA Programming Systems Laboratory Intel Corporation USA Division of Engineering and Applied Science Harvard University USA
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS time-interrupts, or static-com... 详细信息
来源: 评论
Efficient compilation of lazy evaluation
Efficient compilation of lazy evaluation
收藏 引用
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology S-412 96 Göteborg Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
The weakest failure detectors to solve certain fundamental problems in distributed computing  04
The weakest failure detectors to solve certain fundamental p...
收藏 引用
Proceedings of the 23rd Annual ACM Symposium on Principles of Distributed Computing
作者: Delporte-Gallet, Carole Hadzilacos, Vassos Fauconnier, Hugues Kouznetsov, Petr Guerraoui, Rachid Toueg, Sam LIAFA Université Paris 7 France Department of Computer Science University of Toronto Canada Distributed Programming Laboratory EPFL Switzerland
We determine the weakest failure detectors to solve several fundamental problems in distributed message-passing systems, for all environments - i.e., regardless of the number and timing of crashes. The problems that w... 详细信息
来源: 评论