咨询与建议

限定检索结果

文献类型

  • 283 篇 会议
  • 128 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 24 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 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 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 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...

语言

  • 415 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
427 条 记 录,以下是241-250 订阅
排序:
Robust initialization of differential algebraic equations
Robust initialization of differential algebraic equations
收藏 引用
1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference
作者: Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden
This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of ... 详细信息
来源: 评论
AmbientTalk: Language support for mobile computing
AmbientTalk: Language support for mobile computing
收藏 引用
International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming... 详细信息
来源: 评论
Crosscutting concerns in parallelization by invasive software composition and aspect weaving
Crosscutting concerns in parallelization by invasive softwar...
收藏 引用
39th Annual Hawaii International Conference on System sciences, HICSS'06
作者: Chalabine, Mikhail Kassler, Christoph Programming Environments Laboratory Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden
We take a step forward towards invasive parallelization of sequential programs, where invasiveness amounts to weaving of parallel code into sequential cores on adaptable composition interfaces. In this paper we sugges... 详细信息
来源: 评论
An alternative to Quiescence: Tranquility
An alternative to Quiescence: Tranquility
收藏 引用
International Conference on Software Maintenance (ICSM)
作者: Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium
This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and suffici... 详细信息
来源: 评论
InfoShield: a security architecture for protecting information usage in memory
InfoShield: a security architecture for protecting informati...
收藏 引用
IEEE Symposium on High-Performance computer Architecture
作者: W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-vol... 详细信息
来源: 评论
Making Slicing Mainstream How can we be Weiser?
Making Slicing Mainstream How can we be Weiser?
收藏 引用
Beyond Program Slicing 2005
作者: Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom
By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the...
来源: 评论
OpenModelica - A free open-source environment for system modeling, simulation, and teaching
OpenModelica - A free open-source environment for system mod...
收藏 引用
IEEE International Conference on computer-Aided Design
作者: Peter Fritzson Peter Aronsson Adrian Pop Hakan Lundvall Kaj Nystrom Levon Saldamli David Broman Anders Sandholm PELAB-Programming Environment Laboratory Department Computer Science Linköping University Linkoping Sweden MathCore Engineering AB Teknikringen 1B SE-583 30 Linköping Sweden EPACT AB Linköping Sweden
Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment - an op... 详细信息
来源: 评论
AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness
AmbientOriented Programming in AmbientTalk: Combining mobile...
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobi... 详细信息
来源: 评论
Ambient-oriented programming
Ambient-oriented programming
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mob... 详细信息
来源: 评论
Adaptive detection of design flaws
Adaptive detection of design flaws
收藏 引用
作者: Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany
Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify desi... 详细信息
来源: 评论