咨询与建议

限定检索结果

文献类型

  • 86,110 篇 会议
  • 2,734 册 图书
  • 1,724 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,568 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,753 篇 工学
    • 38,434 篇 计算机科学与技术...
    • 31,983 篇 软件工程
    • 6,382 篇 控制科学与工程
    • 6,314 篇 信息与通信工程
    • 5,566 篇 电气工程
    • 3,216 篇 机械工程
    • 2,952 篇 电子科学与技术(可...
    • 2,059 篇 生物工程
    • 1,599 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,407 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,274 篇 建筑学
    • 1,206 篇 土木工程
    • 1,147 篇 材料科学与工程(可...
    • 1,038 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,168 篇 理学
    • 7,357 篇 数学
    • 2,661 篇 物理学
    • 2,363 篇 系统科学
    • 2,245 篇 生物学
    • 1,766 篇 统计学(可授理学、...
  • 11,155 篇 管理学
    • 7,853 篇 管理科学与工程(可...
    • 4,113 篇 工商管理
    • 4,080 篇 图书情报与档案管...
  • 2,147 篇 教育学
    • 2,121 篇 教育学
  • 1,383 篇 医学
    • 1,181 篇 临床医学
    • 1,036 篇 基础医学(可授医学...
  • 1,378 篇 法学
    • 1,077 篇 社会学
  • 1,313 篇 经济学
    • 1,304 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,112 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,291 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,535 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,811 篇 artificial intel...
  • 1,745 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,419 篇 software design
  • 1,371 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 114 篇 school of comput...
  • 59 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 37 篇 bernady o. apduh...
  • 36 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 89,084 篇 英文
  • 1,017 篇 其他
  • 437 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90574 条 记 录,以下是101-110 订阅
排序:
Fully Soft Switched Bridgeless Buck Power Factor Correction Converter  16
Fully Soft Switched Bridgeless Buck Power Factor Correction ...
收藏 引用
16th Annual Power Electronics, Drive systems, and Technologies conference, PEDSTC 2025
作者: Kaviani, Kosar Maghsoudi, Mohammad Farzanehfard, Hosein Isfahan University of Technology Department of Electrical and Computer Engineering Isfahan Iran
In this paper, a bridgeless buck PFC structure is presented. To Fulfill soft switching for the main switches an auxiliary circuitry is utilized. The main switches of the proposed structure operate under ZVS condition ... 详细信息
来源: 评论
Cluster Based Classification of Question Independent C Codes  8th
Cluster Based Classification of Question Independent C Codes
收藏 引用
8th IFIP TC 12 International conference on computer, Communication and Signal Processing, ICCCSP 2024
作者: Vijjapu, Aditya Meti, Aditya H. Rao, Aniruddh Balakrishnan, Roshni M. Pati, Peeta Basa Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Bengaluru India
In the field of software development, ensuring the accuracy and quality of code remains a paramount concern. The task of precisely classifying code as correct or incorrect poses inherent challenges. This research intr... 详细信息
来源: 评论
28th International conference on engineering of Complex computer systems, ICECCS 2024
28th International Conference on Engineering of Complex Comp...
收藏 引用
28th International conference on engineering of Complex computer systems, ICECCS 2024
The proceedings contain 22 papers. The special focus in this conference is on engineering of Complex computer systems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
来源: 评论
Research and Development of Kubernetes Operator for Lightweight Multi-Access Edge Computing Platform Simulator
Research and Development of Kubernetes Operator for Lightwei...
收藏 引用
2025 systems of Signals Generating and Processing in the Field of on Board Communications, SOSG 2025
作者: Filianin, Ivan Borisov, Nikita Bogatyrev, Vladimir Itmo University Faculty of Software Engineering and Computer Engineering St. Petersburg Russia Itmo University Faculty of Infocommunication Technologies St. Petersburg Russia Saint-Petersburg State University of Aerospace Instrumentation Department of Information Systems Security St. Petersburg Russia
This paper addresses the problem of deploying complex systems in Kubernetes clusters. It discusses using the OperatorSDK framework supported by RedHat as a basis for implementing the Kubernetes operator for Lightweigh... 详细信息
来源: 评论
Design and Research of a computer Network Experimental Teaching Systembased on SDN  14
Design and Research of a Computer Network Experimental Teach...
收藏 引用
14th International conference on Educational and Information Technology, ICEIT 2025
作者: Tao, Jun Yu, Wangfeng Han, Huihui Wang, Xinyu School of computer and software engineering Anhui Institute of information engineering WuHu China
The importance of computer network experiments in teaching is elaborated, while traditional computer network systems have low efficiency and chaotic management, these shortcomings affect the effectiveness of related t... 详细信息
来源: 评论
Automated Pest Control: computer Vision for Wildlife Surveillance  24
Automated Pest Control: Computer Vision for Wildlife Surveil...
收藏 引用
7th International conference on Computational Intelligence and Intelligent systems, CIIS 2024
作者: Crossling, Cleveland J. Vadapalli, Hima Van Der Haar, Dustin Academy of Computer Science and Software Engineering University of Johannesburg GP Johannesburg South Africa
The integration of artificial intelligence in agriculture has revolutionized farming practices, enhancing crop yields and resource efficiency. However, existing machine learning systems primarily focus on livestock, o... 详细信息
来源: 评论
Performance Heuristics for GR(1) Realizability Checking and Related Analyses  31th
Performance Heuristics for GR(1) Realizability Checking and...
收藏 引用
31st International conference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the International Joint conferences on Theory and Practice of software, ETAPS 2025
作者: Yatskan, Roy Shevrin, Ilia Maoz, Shahar Tel Aviv University Tel Aviv Israel
Reactive synthesis is an automated process for deriving correct-by-construction reactive systems from temporal specifications. GR(1), in particular, is a popular LTL fragment that balances efficient synthesis complexi...
来源: 评论
Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical systems  31st
Towards a Value-Complemented Framework for Enabling Human ...
收藏 引用
31st International Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2025
作者: Pfister, Zoe Vierhauser, Michael Wohlrab, Rebekka Breu, Ruth University of Innsbruck Innsbruck6020 Austria Chalmers University of Technology and University of Gothenburg Gothenburg Sweden Carnegie Mellon University Pittsburgh United States
[Context and Motivation]: Cyber-Physical systems (CPS) have become relevant in a wide variety of different domains, integrating hardware and software, often operating in an emerging and uncertain environment where hum... 详细信息
来源: 评论
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance  28th
AccMILP: An Approach for Accelerating Neural Network Verific...
收藏 引用
28th International conference on engineering of Complex computer systems (ICECCS)
作者: Zheng, Fei Xu, Qingguo Lei, Zhou Miao, Huaikou Shanghai Univ Sch Comp Engn & Sci Shanghai Peoples R China Shanghai Key Lab Comp Software Evaluating & Testi Shanghai Peoples R China
Deep Neural Networks (DNNs) have found successful applications in various non-safety-critical domains. However, given the inherent lack of interpretability in DNNs, ensuring their prediction accuracy through robustnes... 详细信息
来源: 评论
Extremum Encoding for Joint Baseband Signal Compression and Time-Delay Estimation for Distributed systems
Extremum Encoding for Joint Baseband Signal Compression and ...
收藏 引用
2025 IEEE International conference on Acoustics, Speech, and Signal Processing, ICASSP 2025
作者: Weiss, Amir Kochman, Yuval Wornell, Gregory W. Faculty of Engineering Bar-Ilan University Israel School of Computer Science and Engineering The Hebrew University of Jerusalem Israel Research Laboratory of Electronics Massachusetts Institute of Technology United States
The ubiquitous time-delay estimation (TDE) problem becomes nontrivial when sensors are non-co-located and communication between them is limited. Building on the recently proposed "extremum encoding" compress... 详细信息
来源: 评论