咨询与建议

限定检索结果

文献类型

  • 45 篇 期刊文献
  • 19 篇 会议
  • 3 册 图书
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 59 篇 工学
    • 44 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 10 篇 电气工程
    • 8 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 机械工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 生物医学工程(可授...
    • 2 篇 仪器科学与技术
    • 2 篇 化学工程与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
    • 1 篇 核科学与技术
    • 1 篇 网络空间安全
  • 8 篇 理学
    • 5 篇 数学
    • 3 篇 化学
    • 2 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...
  • 3 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 特种医学
  • 2 篇 艺术学
    • 2 篇 音乐与舞蹈学
  • 1 篇 教育学
    • 1 篇 教育学
    • 1 篇 心理学(可授教育学...

主题

  • 68 篇 modular programm...
  • 4 篇 structured progr...
  • 4 篇 simulation
  • 3 篇 network
  • 3 篇 program verifica...
  • 3 篇 molecular dynami...
  • 3 篇 computer softwar...
  • 2 篇 software archite...
  • 2 篇 network verifica...
  • 2 篇 file
  • 2 篇 abstract data ty...
  • 2 篇 computer graphic...
  • 2 篇 components
  • 2 篇 separate compila...
  • 2 篇 graphics
  • 2 篇 unit tests
  • 2 篇 program testing
  • 2 篇 solid state lase...
  • 2 篇 atomistic simula...
  • 2 篇 program design

机构

  • 2 篇 csic icmab bella...
  • 2 篇 csic cnm barcelo...
  • 2 篇 univ lancaster d...
  • 1 篇 tianjin univ ren...
  • 1 篇 ullo la rochelle
  • 1 篇 penn mutual life
  • 1 篇 keldysh institut...
  • 1 篇 stanford res ins...
  • 1 篇 department of co...
  • 1 篇 inria le chesnay
  • 1 篇 arctic univ norw...
  • 1 篇 moscow institute...
  • 1 篇 tsinghua univers...
  • 1 篇 department of me...
  • 1 篇 chu vaudois gen ...
  • 1 篇 basque fdn sci i...
  • 1 篇 ben gurion univ ...
  • 1 篇 plexus serv ro s...
  • 1 篇 microsoft corpor...
  • 1 篇 tsinghua univ de...

作者

  • 3 篇 kang pilsung
  • 2 篇 pidd m
  • 2 篇 brooks rj
  • 2 篇 hernández e
  • 2 篇 rurali r
  • 2 篇 oses n
  • 1 篇 ramakrishnan nar...
  • 1 篇 goncharenko e. p...
  • 1 篇 prasad vr
  • 1 篇 trapeznikova m.a...
  • 1 篇 yan tian-hao
  • 1 篇 frey jeremy
  • 1 篇 chengjun jia
  • 1 篇 weijo ville
  • 1 篇 zhao shuai
  • 1 篇 watzlawik kh
  • 1 篇 morozov d.n.
  • 1 篇 hammer m
  • 1 篇 joseph m
  • 1 篇 felleisen m

语言

  • 60 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"主题词=Modular Programming"
68 条 记 录,以下是31-40 订阅
排序:
Fifty Years of Operating Systems
收藏 引用
COMMUNICATIONS OF THE ACM 2016年 第3期59卷 30-32页
作者: Denning, Peter J. US Navy Postgrad Sch Cebrowski Inst Informat Innovat Monterey CA 93943 USA ACM New York NY 10087 USA
The author reflects on the evolution of operating systems. Topics covered include a brief history of operating systems, the four stages of an operating system and highlights of various research made on operating syste... 详细信息
来源: 评论
PERFORMANCE ANALYSES OF PAGING-ALGORITHMS FOR COMPILATION OF A HIGHLY modularIZED PROGRAM
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1981年 第2期7卷 248-254页
作者: CHUSHO, T HAYASHI, T HITACHI LTD OMIKA WORKSIBARAKIJAPAN
Previous work on paging behavior has concentrated on procedures rather than data. Recent research: 1. clarifies the paging behavior of data referenced by a newly developed language processor, and 2. analyzes theore... 详细信息
来源: 评论
Tarsos, a modular Platform for Precise Pitch Analysis of Western and Non-Western Music
收藏 引用
JOURNAL OF NEW MUSIC RESEARCH 2013年 第2期42卷 113-129页
作者: Six, Joren Cornelis, Olmo Leman, Marc Univ Coll Ghent B-9000 Ghent Belgium Univ Ghent B-9000 Ghent Belgium
This paper presents Tarsos, a modular software platform used to extract and analyse pitch organization in music. With Tarsos pitch estimations are generated from an audio signal and those estimations are processed in ... 详细信息
来源: 评论
TROCADERO:: a multiple-algorithm multiple-model atomistic simulation program
收藏 引用
COMPUTATIONAL MATERIALS SCIENCE 2003年 第2期28卷 85-106页
作者: Rurali, R Hernández, E CSIC ICMAB Bellaterra 08193 Barcelona Spain CSIC CNM Barcelona 08193 Spain
In this paper a technical description of the simulation package TROCADERO is provided. This program implements large-scale atomistic simulations of materials, using a variety of simulation techniques which include sev... 详细信息
来源: 评论
Critical issues in the development of component-based discrete simulation
收藏 引用
SIMULATION MODELLING PRACTICE AND THEORY 2004年 第7-8期12卷 495-514页
作者: Oses, N Pidd, M Brooks, RJ Univ Lancaster Dept Management Sci Lancaster LA1 4YX England
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in comp... 详细信息
来源: 评论
Resource Allocation of a modular ANN Implementation Using LabView and FPGA Board  2nd
Resource Allocation of a Modular ANN Implementation Using La...
收藏 引用
3rd International Conference on Digital Technologies and Applications
作者: Baccar, Noura Hammi, Souha Kallel, Hichem South Mediterranean Univ Mediterranean Inst Technol Tunis Tunisia
A breakthrough in Machine Learning (ML) based technologies has been seen during last years. To overcome energy, latency and security issues, new concepts are developed to bring the ML codes, namely the Artificial Neur... 详细信息
来源: 评论
Mahjong: A Generic Framework for Network Data Plane Verification  16
Mahjong: A Generic Framework for Network Data Plane Verifica...
收藏 引用
ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS)
作者: Li, Yifan Jia, Chengjun Hu, Xiaohe Li, Jun Tsinghua Univ Dept Automat Beijing Peoples R China Tsinghua Univ Dept Comp Sci & Technol Beijing Peoples R China
Existing network data plane verification approaches check network correctness with various models and algorithms. With respect to a specific scenario, it is hard to judge which network model provides sufficient functi... 详细信息
来源: 评论
Critical issues in the development of component-based discrete simulation
Critical issues in the development of component-based discre...
收藏 引用
Operational-Research-Society Simulation Workshop
作者: Oses, N Pidd, M Brooks, RJ Univ Lancaster Dept Management Sci Lancaster LA1 4YX England
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in comp... 详细信息
来源: 评论
The Design and Implementation of the Unified Framework of the Device Insertion and Adaptation
The Design and Implementation of the Unified Framework of th...
收藏 引用
6th International Conference on Measuring Technology and Mechatronics Automation (ICMTMA)
作者: Zuo Wenfeng Zhao Shuai Zhang Yang Beijing Univ Posts & Telecommun Beijing 100876 Beijing Peoples R China
nowadays, the Internet of Things is more widely used than ever before. It is a tendency to get and analyze the data retrieved from the sensor device. Considering that the sensor device is always large, heterogeneous, ... 详细信息
来源: 评论
Design of the Control System of a Flexible Line for Manufacturing Metallic Parts by Using Programmable Logic Controllers  24
Design of the Control System of a Flexible Line for Manufact...
收藏 引用
International Conference on Automation, Quality and Testing, Robotics (AQTR)
作者: Dulgheriu, Vasile Alexandru Gergely, Eugen Ioan Coroiu, Laura Silaghi, Helga Maria Codoban, Adrian Plexus Serv RO SRL Dept Engn Oradea Romania Univ Oradea Dept Control Syst Engn Oradea Romania
The paper presents the design process of a control system for a line which manufactures metallic parts for the automotive industry. The manufacturing line is designed so that it can produce several product models. The... 详细信息
来源: 评论