咨询与建议

限定检索结果

文献类型

  • 7,672 篇 会议
  • 333 篇 期刊文献
  • 252 册 图书

馆藏范围

  • 8,257 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4,052 篇 工学
    • 2,997 篇 计算机科学与技术...
    • 1,850 篇 软件工程
    • 986 篇 电气工程
    • 582 篇 控制科学与工程
    • 352 篇 信息与通信工程
    • 336 篇 电子科学与技术(可...
    • 188 篇 机械工程
    • 87 篇 仪器科学与技术
    • 78 篇 化学工程与技术
    • 49 篇 生物医学工程(可授...
    • 48 篇 材料科学与工程(可...
    • 41 篇 生物工程
    • 39 篇 交通运输工程
    • 37 篇 动力工程及工程热...
    • 37 篇 航空宇航科学与技...
    • 36 篇 土木工程
    • 33 篇 建筑学
    • 33 篇 环境科学与工程(可...
    • 32 篇 安全科学与工程
  • 924 篇 理学
    • 728 篇 数学
    • 142 篇 系统科学
    • 97 篇 物理学
    • 97 篇 统计学(可授理学、...
    • 68 篇 生物学
  • 488 篇 管理学
    • 398 篇 管理科学与工程(可...
    • 121 篇 工商管理
    • 99 篇 图书情报与档案管...
  • 57 篇 医学
    • 46 篇 临床医学
  • 46 篇 经济学
    • 41 篇 应用经济学
  • 32 篇 法学
  • 30 篇 教育学
    • 30 篇 教育学
  • 20 篇 文学
  • 20 篇 农学
  • 7 篇 艺术学
  • 5 篇 军事学

主题

  • 1,310 篇 programming
  • 770 篇 linear programmi...
  • 580 篇 programming prof...
  • 487 篇 application soft...
  • 486 篇 parallel program...
  • 374 篇 computer archite...
  • 372 篇 computer science
  • 372 篇 hardware
  • 351 篇 dynamic programm...
  • 311 篇 software systems
  • 311 篇 logic programmin...
  • 271 篇 software enginee...
  • 270 篇 optimization
  • 267 篇 concurrent compu...
  • 259 篇 computational mo...
  • 244 篇 object oriented ...
  • 241 篇 parallel process...
  • 231 篇 control systems
  • 207 篇 costs
  • 198 篇 operating system...

机构

  • 19 篇 department of el...
  • 16 篇 carnegie mellon ...
  • 16 篇 school of electr...
  • 13 篇 school of electr...
  • 11 篇 ibm thomas j. wa...
  • 10 篇 georgia inst tec...
  • 10 篇 department of el...
  • 9 篇 department of el...
  • 9 篇 oak ridge nation...
  • 9 篇 department of el...
  • 8 篇 univ hong kong d...
  • 8 篇 institute of dig...
  • 7 篇 department of el...
  • 7 篇 chair for progra...
  • 7 篇 department of co...
  • 7 篇 department of co...
  • 7 篇 department of co...
  • 6 篇 inria
  • 6 篇 school of comput...
  • 6 篇 department of el...

作者

  • 24 篇 steffen bernhard
  • 14 篇 w.-s. lu
  • 13 篇 liu derong
  • 12 篇 anon
  • 11 篇 josef börcsök
  • 10 篇 wei qinglai
  • 9 篇 bernhard steffen
  • 9 篇 wu-sheng lu
  • 9 篇 tiziana margaria
  • 9 篇 margaria tiziana
  • 8 篇 p. hasler
  • 8 篇 a. antoniou
  • 8 篇 sitek pawel
  • 8 篇 m.r. lyu
  • 8 篇 derong liu
  • 8 篇 lu w.-s.
  • 7 篇 wu youfeng
  • 7 篇 t.m. khoshgoftaa...
  • 7 篇 k.h. kim
  • 7 篇 leucker martin

语言

  • 8,026 篇 英文
  • 178 篇 其他
  • 35 篇 中文
  • 16 篇 葡萄牙文
  • 5 篇 西班牙文
检索条件"任意字段=International Symposium on Programming and Systems"
8257 条 记 录,以下是431-440 订阅
排序:
Integrating Information Flow Analysis in Unifying Theories of programming  26
Integrating Information Flow Analysis in Unifying Theories o...
收藏 引用
26th IEEE Pacific Rim international symposium on Dependable Computing (PRDC)
作者: Mu, Chunyan Li, Guoqiang Teesside Univ Dept Comp & Games Middlesbrough Cleveland England Shanghai Jiao Tong Univ Sch Software Shanghai Peoples R China
This paper presents a formal approach for modelling and reasoning about information flow control in software systems under Hoare and He's Unifying Theories of programming (UTP). We investigate the problem of integ... 详细信息
来源: 评论
Derivative-Free-Optimization-based Bifurcation Point Detection Method without Parameter Tuning
Derivative-Free-Optimization-based Bifurcation Point Detecti...
收藏 引用
IEEE international symposium on Circuits and systems (ISCAS)
作者: Haruna Matsushita Hiroaki Kurokawa Takuji Kousaka Kagawa University Japan Tokyo University of Technology Japan Chukyo University Japan
This study proposes a novel derivative-free-optimization-based bifurcation point detection strategy that automatically adjusts parameter settings during the search. The proposed method is based on an adaptive differen... 详细信息
来源: 评论
An Experience of Cooperation in the Mediterranean Basin
An Experience of Cooperation in the Mediterranean Basin
收藏 引用
international symposium on Networks, Markets and People, NMP 2024
作者: Trausi, Rossella Fragale, Raffaella Mayerà, Nicola Marcianò, Claudio Mediterranea University of Reggio Calabria Reggio Calabria Italy Cosenza Italy Programming Department Calabria Region Catanzaro Italy
Greenland project (GREEN-skiLls for a sustainable Development) is born from the need to explore new ways to deal with some problems related to social inclusion within Mediterranean countries, in a context characterize... 详细信息
来源: 评论
Research on Heterogeneous Multi-agent Coalition Formation Method Based on Auction Algorithm  11th
Research on Heterogeneous Multi-agent Coalition Formation Me...
收藏 引用
11th international symposium on Computational Intelligence and Industrial Applications, ISCIIA 2024
作者: Yang, Sili Zhang, Jia Wu, Ruotong Xin, Bin Beijing Institute of Technology Beijing10081 China National Key Laboratory of Autonomous Intelligent Unmanned Systems Beijing Institute of Technology Beijing100081 China
To enhance the tactical planning capabilities of air defense systems, this paper develops a mathematical model for the coalition formation problem involving defense and control resources. Given the uncertainty in task... 详细信息
来源: 评论
Multiobjective Branch-and-Cut Method with Shared Cutting Plane Information: A Case Study on Optimizing Garbage Collection
Multiobjective Branch-and-Cut Method with Shared Cutting Pla...
收藏 引用
international symposium on Soft Computing and Intelligent systems (SCIS)
作者: Tomoki Kaho Kazutoshi Sakakibara Mikiharu Arimura Shinya Watanabe The Graduate School of Engineering Muroran Institute of Technology Muroran Japan Department of Data Science Faculty of Information Engineering Toyama Prefectural University Toyama Japan Department of Engineering Muroran Institute of Technology Muroran Japan Department of Sciences and Informatics Muroran Institute of Technology Muroran Japan
This paper presents an application of the Multi-Objective Branch-and-Bound based on Decomposition (MOBB/D) method for Branch-and-Cut, combining branch-and-bound and cutting-plane methods. Traditionally, multi-objectiv... 详细信息
来源: 评论
Left-shifter: A pre-silicon framework for usage model based performance verification of the PCIe interface in server processor system on chips
Left-shifter: A pre-silicon framework for usage model based ...
收藏 引用
IEEE international symposium on Performance Analysis of systems and Software (ISPASS)
作者: Thomas, Tessil Venkatasubramanian, Bharath Sthapit, Dinesh Gray, Christopher Gummadavelly, Atresh Bergeron, Janick Mehta, Pankaj Thangamuthu, Prabu Arm Ltd Cent Engn Syst Cambridge England Synopsys Inc Solut Grp Portland OR USA
Input/Output (IO) peripherals like storage devices and network interface cards play a significant role in determining the end user visible performance of many server applications. In addition, many server applications... 详细信息
来源: 评论
A 0.5 μm2 2-T Thin-Oxide OTP Antifuse with Reliability Enhanced by Auto Shut-off Program Logic for Low-Power Applications
A 0.5 μm2 2-T Thin-Oxide OTP Antifuse with Reliability Enha...
收藏 引用
IEEE international symposium on Circuits and systems (ISCAS)
作者: Haoyu Li Dong Wang Jiazheng Zhou Junhua Liu Huailin Liao Beijing Advanced Innovation Center for Integrated Circuits School of Integrated Circuits Peking University Beijing China
A 2-T Antifuse cell with only thin-oxide transistors is proposed in this work, which is completely compatible with standard CMOS process. Its layout area is only as 0.5 μm 2 (1×0.5 μm 2 ) in 40nm CMOS process,... 详细信息
来源: 评论
Are We Close to Realizing Self-programming Robots That Overcome the Unexpected?
Are We Close to Realizing Self-Programming Robots That Overc...
收藏 引用
IEEE/SICE international symposium on System Integration
作者: Jair A. Bottega Takashi Tsubouchi Xinyue Ruan Akihisa Ohya Faculty of System and Information Engineering University of Tsukuba Tsukuba Ibaraki Japan Persol Cross Technology Co. Ltd Japan
Are we on the verge of developing robots that can reprogram themselves to overcome unexpected situations? As robotic systems and artificial intelligence continue to evolve, the concept of self-programming robots capab... 详细信息
来源: 评论
Menu Creation Support System Considering User eXperience Based on Multiobjective Optimization
Menu Creation Support System Considering User eXperience Bas...
收藏 引用
IEEE international symposium on Intelligent Signal Processing and Communication systems (ISPACS)
作者: Yurie Okuhara António Oliveira Nzinga René Kazuhide Mizukami Department of Liberal Arts Informatics The Open University of Japan 2-11 WakabaMihama-ku Chiba Japan Department of Data Science Toyama Prefectural University 5180 KurokawaImizu Toyama Japan Department of Information Systems Engineering Toyama Prefectural University 5180 KurokawaImizu Toyama Japan
Eating food is important for not only physical health but also, mental health. meals are essential for maintaining and improving health moreover right amount of nutrients also essential for preventing and treating dis... 详细信息
来源: 评论
Extension of Fuzzy c-Lines Considering Compactness and Separation of Clusters
Extension of Fuzzy c-Lines Considering Compactness and Separ...
收藏 引用
international symposium on Soft Computing and Intelligent systems (SCIS)
作者: Katsuhiro Honda Daichi Machida Seiki Ubukata Akira Notsu Graduate School of Informatics Osaka Metropolitan University Sakai Osaka Japan Graduate School of Sustainable System Sciences Osaka Metropolitan University Sakai Osaka Japan
Fuzzy c-Means (FCM)-type clustering is designed for finding compact clusters but sometime fails to distinguish adjacent clusters due to overlapping characteristics at local minima. Fuzzy Compactness and Separation (FC... 详细信息
来源: 评论