咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 108 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 156 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 8 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation
  • 3 篇 parallel program...

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 298 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
306 条 记 录,以下是191-200 订阅
排序:
Termination of programs over the union of intervals
Termination of programs over the union of intervals
收藏 引用
2010 3rd International Conference on Advanced computer Theory and Engineering, ICACTE 2010
作者: Mu, Lin Jin, Taige Li, Yi Luo, Jiawei Laboratory for Automated Reasoning and Programming Chengdu Inst. of Computer Application CAS Chengdu China Lab. of CRTC University of Electronic Science and Technology of China Chengdu China
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in... 详细信息
来源: 评论
Execution of UML state machines using modelica
Execution of UML state machines using modelica
收藏 引用
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Schamai, Wladimir Pohlmann, Uwe Fritzson, Peter Paredis, Christiaan J.J. Helle, Philipp Strobel, Carsten EADS Innovation Works Germany Department of Computer Science University of Paderborn Germany PELAB - Programming Environment Lab Linköping University Sweden Georgia Institute of Technology Atlanta United States
ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for syst... 详细信息
来源: 评论
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and Systems Conference (ISSC 2010)
作者: M.H. Schwarz C.S. Cox J. Börcsök Department of Computer architecture and System programming Safety Computer Technology University of Kassel Germany Control Systems Centre University of Sunderland UK Department of Computer architecture and System programming University of Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex...
来源: 评论
An Efficient Algorithm to Solve the Conditional Covering Problem on Trapezoid Graphs
收藏 引用
International Scholarly Research Notices 2011年 第1期2011卷
作者: Akul Rana Anita Pal Madhumangal Pal Department of Mathematics Narajole Raj College Paschim Medinipur Narajole 721 211 India Department of Mathematics National Institute of Technology Durgapur 713209 Indianitdgp.ac.in Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 Indiavidyasagar.ac.in
Let G = ( V , E ) be a simple connected undirected graph. Each vertex v ∈ V has a cost c ( v ) and provides a positive coverage radius R ( v ). A distance d uv is associated with each edge { u , v } ∈ E, and d ( u ,...
来源: 评论
Termination of programs over the union of intervals
Termination of programs over the union of intervals
收藏 引用
International Conference on Advanced computer Theory and Engineering, ICACTE
作者: Lin Mu Yi Li Taige Jin Jiawei Luo Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer ApplicationCAS Chengdu China Laboratory of CRTC University of Electronic Science and Technology Chengdu China
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in... 详细信息
来源: 评论
PARBLO:Page-Allocation-Based DRAM Row Buffer Locality Optimization
收藏 引用
Journal of computer Science & technology 2009年 第6期24卷 1086-1097页
作者: 米伟 冯晓兵 贾耀仓 陈莉 薛京灵 Key Laboratory of Computer System and Architecture Institution of Computing Technology Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales
DRAM row buffer conflicts can increase memory access latency significantly. This paper presents a new pageallocation-based optimization that works seamlessly together with some existing hardware and software optimizat... 详细信息
来源: 评论
Coloring gray-scale image using artificial neural networks
Coloring gray-scale image using artificial neural networks
收藏 引用
2nd International Conference on Adaptive Science and technology, ICAST 2009
作者: Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele... 详细信息
来源: 评论
Separation of concerns for Multithreads Object-Oriented programming
Separation of concerns for Multithreads Object-Oriented Prog...
收藏 引用
International Conference on Electrical Engineering/Electronics, computer, Telecommunications and Information technology, ECTI-CON
作者: Paniti Netinant Concurrent Programming Research Group Illinois Institute of Technology Chicago IL USA Computer Science Department Bangkok University Bangkok Thailand
Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often u... 详细信息
来源: 评论
Self-management in a control architecture for parallel kinematic robots
Self-management in a control architecture for parallel kinem...
收藏 引用
2008 ASME International Design Engineering Technical Conferences and computers and Information in Engineering Conference, DETC 2008
作者: Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany
Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are... 详细信息
来源: 评论
Coloring gray-scale image using artificial neural networks
Coloring gray-scale image using artificial neural networks
收藏 引用
International Conference on Adaptive Science & technology (ICAST)
作者: Bekir Karlik Mustafa Sariöz Department of Computer Engineering Haliç University Istanbul Turkey Computer Technology and Programming Fatih University Istanbul Turkey
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele... 详细信息
来源: 评论