咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

  • 3,593 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是361-370 订阅
排序:
Implementation of sub-structuring within an object-oriented framework
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2001年 第10-11期32卷 749-758页
作者: Mackie, RI Univ Dundee Struct Engn Res Grp Dept Civil Engn Dundee DD1 4HN Scotland
this paper describes how the U'DU decomposition method and sub-structuring algorithms can be implemented using object-oriented techniques. It is shown that this enables the algorithms to be implemented very concis... 详细信息
来源: 评论
Buffered routing tree construction under buffer placement blockages  7
Buffered routing tree construction under buffer placement bl...
收藏 引用
7th Asia and South Pacific Design Automation conference/15th international conference on VLSI Design
作者: Chen, W Pedram, M Buch, P Univ So Calif Los Angeles CA 90089 USA
Interconnect delay has become a critical factor in determining the performance of integrated circuits. Routing and buffering are powerful approaches to improve circuit speed and correct timing violations after global ... 详细信息
来源: 评论
Optimistic Concurrency Control for Multihop Sensor Networks
Optimistic Concurrency Control for Multihop Sensor Networks
收藏 引用
7th IEEE international Wireless Communications and Mobile Computing conference (IWCMC)
作者: Soysal, Onur Aydin, Bahadir Ismail Demirbas, Murat Google Mountain View CA 94043 USA SUNY Buffalo Dept Comp Sci & Engn Buffalo NY USA
In this study, we provide a lightweight singlehop primitive, Read-All-Write-Self (RAWS), that achieves optimistic concurrency control. RAWS guarantees serializability, which simplifies implementation and verification ... 详细信息
来源: 评论
Ubiquitous Learning Management Using Collaborative Inquiry-based Approach for programming Course: A Case Study of 3 Universities  7
Ubiquitous Learning Management Using Collaborative Inquiry-b...
收藏 引用
7th international conference on Education and E-Learning (ICEEL)
作者: thongkoo, Krittawaya Daungcharone, Kannika thanyaphongphat, Jirapipat Panjaburee, Patcharin Chiang Mai Univ Coll Arts Media & Technol Chiang Mai Thailand Khon Kaen Univ Fac Educ Khon Kaen Thailand
Aside from the necessary learning skills of logical thinking, problem-solving, and creativity, undergraduate students in the programming discipline must also be self-motivated because these abilities enable them to ov... 详细信息
来源: 评论
Extending the Event-Based programming Model to support Sensor-Driven Ubiquitous Computing Applications
Extending the Event-Based Programming Model to support Senso...
收藏 引用
7th IEEE international conference on Pervasive Computing and Communications
作者: Reilly, Sean Haahr, Mads Univ Dublin Trinity Coll Dept Comp Sci Distributed Syst Grp Dublin 2 Ireland
We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. the extension consists of three abstractions: Multi-Event Handlers, Event Streams and Execution Policie... 详细信息
来源: 评论
Designing and Building a Basic programming Logic Controller (PLC) Kit for Teaching in the Programmable Logic Controller Course for Bachelor of Industrial Education Program  7
Designing and Building a Basic Programming Logic Controller ...
收藏 引用
7th international Science, Technology, Engineering, and Mathematics Education (ISTEM-Ed) conference on Sustainable Development and Lifelong Learning
作者: Kheowsakul, Nutjired Senajit, Narongrit Maneechay, thitirat Rajamangala Univ Technol Srivijaya Fac Ind Educ & Technol Elect Dept Songkhla Thailand Rajamangala Univ Technol Srivijaya Elect & Telecommun Engn Program Songkhla Thailand
Research on a basic programming logic controller (PLC) kit designing and creation for teaching in the programmable logic controller course here resulted from the recognition on problems related to the lacking of testi... 详细信息
来源: 评论
Introduction of static load balancing in incremental parallel programming  7
收藏 引用
7th European conference on Parallel Computing, Euro-Par 2001
作者: Goodman, Joy O’Donnell, John Glasgow University United Kingdom
Formal program transformation in a functional language can be used to support incremental design of parallel programs. this paper illustrates the method with a detailed example: a program transformation that improves ... 详细信息
来源: 评论
Cross-Language Interoperability of Heterogeneous Code  23
Cross-Language Interoperability of Heterogeneous Code
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Stratikopoulos, Athanasios Blanaru, Florin Fumero, Juan Xekalaki, Maria Papadakis, Orion Kotselidis, Christos Univ Manchester Manchester Lancs England OctoML Seattle WA USA
In recent years, the Java Virtual Machine has evolved from a cross-ISA virtualization layer to a system that can also offer multilingual support. GraalVM paved the way to enable the interoperability of Java with other... 详细信息
来源: 评论
Automated programming Assignment Marking Tool  7
Automated Programming Assignment Marking Tool
收藏 引用
7th IEEE international conference for Convergence in Technology, I2CT 2022
作者: Vimalaraj, Hareeni thenuwara, T.B.K.P. Wijekoon, Vinuri Udara Sathurjan, thavaraja Reyal, Shyam Kuruppu, thilmi Anuththara tharmaseelan, Janani Department of Computer Science and Software Engineering Malabe Sri Lanka Department of It Malabe Sri Lanka
Due to the enrolment of a very high number of students to programming modules, marking of programming modules is becoming a very tedious and time-consuming process. programming assignments mainly test for the student&... 详细信息
来源: 评论
A BSP performance prediction model for parallel multigrid algorithms
A BSP performance prediction model for parallel multigrid al...
收藏 引用
7th IEEE international conference on Electronics, Circuits and Systems
作者: Osoba, BO Rabhi, FA Ould-Khaoua, M Univ Hull Dept Comp Sci Kingston Upon Hull HU6 7RX N Humberside England
this paper presents a BSP performance prediction model to support a programming environment for parallel multigrid algorithms. the model assists the user in the selection of the optimal problem parameters and directs ... 详细信息
来源: 评论