咨询与建议

限定检索结果

文献类型

  • 212 篇 会议
  • 51 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 149 篇 工学
    • 90 篇 计算机科学与技术...
    • 70 篇 软件工程
    • 33 篇 安全科学与工程
    • 27 篇 控制科学与工程
    • 24 篇 信息与通信工程
    • 12 篇 土木工程
    • 11 篇 电子科学与技术(可...
    • 10 篇 电气工程
    • 10 篇 生物医学工程(可授...
    • 8 篇 机械工程
    • 8 篇 船舶与海洋工程
    • 7 篇 建筑学
    • 7 篇 生物工程
    • 7 篇 网络空间安全
    • 5 篇 光学工程
    • 5 篇 仪器科学与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 交通运输工程
  • 72 篇 理学
    • 31 篇 数学
    • 17 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 14 篇 系统科学
    • 8 篇 海洋科学
    • 8 篇 生物学
  • 34 篇 管理学
    • 29 篇 管理科学与工程(可...
    • 10 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 5 篇 法学
  • 4 篇 经济学
  • 4 篇 教育学
  • 1 篇 农学

主题

  • 31 篇 safety
  • 21 篇 computer archite...
  • 17 篇 hardware
  • 17 篇 software
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 11 篇 monitoring
  • 8 篇 reliability
  • 8 篇 software reliabi...
  • 7 篇 field programmab...
  • 6 篇 failure rate
  • 6 篇 vehicles
  • 5 篇 iso standards
  • 5 篇 acceleration
  • 5 篇 probability
  • 4 篇 support vector m...
  • 4 篇 accident prevent...
  • 4 篇 application soft...
  • 4 篇 hazards
  • 4 篇 process control

机构

  • 25 篇 department of co...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 13 篇 department of co...
  • 9 篇 icas institute f...
  • 8 篇 institute for co...
  • 8 篇 computer techniq...
  • 7 篇 chair for comput...
  • 7 篇 computer archite...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 mart learning ed...
  • 6 篇 universitat kass...
  • 5 篇 computer enginee...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer archite...

作者

  • 43 篇 josef börcsök
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 14 篇 hayek ali
  • 12 篇 mostafa abotaleb
  • 10 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 j. börcsök
  • 8 篇 schwarz m.h.
  • 8 篇 krini abderrahim
  • 8 篇 abdelhameed ibra...
  • 7 篇 j. borcsok
  • 7 篇 michael schwarz
  • 7 篇 michael schreibe...
  • 7 篇 daou roy abi zei...
  • 7 篇 schwarz michael
  • 6 篇 holub p.
  • 6 篇 boercsoek j.

语言

  • 256 篇 英文
  • 6 篇 中文
  • 2 篇 其他
检索条件"机构=Computer and System Programming"
264 条 记 录,以下是111-120 订阅
排序:
FPGA Implementation of a Safety system-on-Chip Based on 1oo4 Architecture Using LEON3 Processor
FPGA Implementation of a Safety System-on-Chip Based on 1oo4...
收藏 引用
International Conference on computer and Applications (ICCA)
作者: Mohamed Abdelawwad Ali Hayek Ahmed Alsuleiman Josef Börcsök Chair for Computer Architecture and System Programming University of Kassel Kassel Germany
To ensure the reliability and safety in applications such as aeronautics, automotive, industrial automation, railway and space, several redundancy-based embedded architectures are used. In this work, the design of a 1... 详细信息
来源: 评论
Virtual Keyboard and Fingers
Virtual Keyboard and Fingers
收藏 引用
International Conference on Information Science and Communications Technologies (ICISCT)
作者: Bakhrom Kabulov Nadira Tashpulatova Marguba Akbarova Department of Applied Mathematics Joint-stock Company "Uzneftegazinformatika" Tashkent Uzbekistan Department of Information science and Computer Graphic Tashkent University of Information Technologies Tashkent Uzbekistan Department of System and applied programming Tashkent University of Information Technologies Tashkent Uzbekistan
The problem of data entry in mobile devices is considered. The shortcomings of virtual projected keyboards are analyzed. The new input technology called VKF (Virtual Keyboard and Fingers) is offered. It is shown that ... 详细信息
来源: 评论
Validation of the Proposed Fault Injection, Test and Hardness Analysis for Combinational Data-Flow Verilog HDL Designs Under the RASP-FIT Tool
Validation of the Proposed Fault Injection, Test and Hardnes...
收藏 引用
IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)
作者: Abdul Rafay Khatri Ali Hayek Josef Börscök Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE
Owing to the condensed size of components in digital designs on the FPGA, it is difficult to guarantee an acceptable degree of reliability due to soft-errors. These designs are mostly available in Hardware Description... 详细信息
来源: 评论
Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011  1
Forming the logical conclusion about sufficiency of informat...
收藏 引用
1st IEEE Ukraine Conference on Electrical and computer Engineering, UKRCON 2017
作者: Hovorushchenko, Tetiana Computer Engineering and System Programming Department Khmelnitsky National University Khmelnitsky Ukraine
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of ... 详细信息
来源: 评论
UniMorph 4.0: Universal Morphology  13
UniMorph 4.0: Universal Morphology
收藏 引用
13th International Conference on Language Resources and Evaluation Conference, LREC 2022
作者: Batsuren, Khuyagbaatar Goldman, Omer Khalifa, Salam Habash, Nizar Kieraś, Witold Bella, Gábor Leonard, Brian Nicolai, Garrett Gorman, Kyle Ghanggo Ate, Yustinus Ryskina, Maria Mielke, Sabrina Budianskaya, Elena El-Khaissi, Charbel Pimentel, Tiago Gasser, Michael Lane, William Raj, Mohit Coler, Matt Samame, Jaime Rafael Montoya Camaiteri, Delio Siticonatzi Rojas, Esaú Zumaeta Francis, Didier L. Oncevay, Arturo Bautista, Juan L. Villegas, Gema Celeste Silva Hennigen, Lucas Torroba Ek, Adam Guriel, David Dirix, Peter Bernardy, Jean-Philippe Scherbakov, Andrey Bayyr-Ool, Aziyana Anastasopoulos, Antonios Zariquiey, Roberto Sheifer, Karina Ganieva, Sofya Cruz, Hilaria Karahóǧa, Ritván Markantonatou, Stella Pavlidis, George Plugaryov, Matvey Klyachko, Elena Salehi, Ali Angulo, Candy Baxi, Jatayu Krizhanovsky, Andrew Krizhanovsky, Natalia Salesky, Elizabeth Vania, Clara Ivanova, Sardana White, Jennifer Maudslay, Rowan Hall Valvoda, Josef Zmigrod, Ran Czarnowska, Paula Nikkarinen, Irene Salchak, Aelita Bhatt, Brijesh Straughn, Christopher Liu, Zoey Washington, Jonathan North Pinter, Yuval Ataman, Duygu Woliński, Marcin Suhardijanto, Totok Yablonskaya, Anna Stoehr, Niklas Dolatian, Hossep Nuriah, Zahroh Ratan, Shyam Tyers, Francis M. Ponti, Edoardo M. Aiton, Grant Arora, Aryaman Hatcher, Richard J. Kumar, Ritesh Young, Jeremiah Rodionova, Daria Yemelina, Anastasia Andrushko, Taras Marchenko, Igor Mashkovtseva, Polina Serova, Alexandra Prud'Hommeaux, Emily Nepomniashchaya, Maria Giunchiglia, Fausto Chodroff, Eleanor Hulden, Mans Silfverberg, Miikka McCarthy, Arya D. Yarowsky, David Cotterell, Ryan Tsarfaty, Reut Vylomova, Ekaterina National University of Mongolia Mongolia Bar-Ilan University Israel Johns Hopkins University United States University of Trento Italy University of York United Kingdom Carnegie Mellon University United States Brian Leonard Consulting Indiana University United States University of British Columbia Canada Dharmsinh Desai University India New York University Abu Dhabi United Arab Emirates University of Cambridge United Kingdom University of Gothenburg Sweden University of Oregon United States Australian National University Australia ILSP Athena RC University of Groningen Netherlands KU Leuven Belgium University of Louisville United States University of Edinburgh United Kingdom Pontificia Universidad Católica del Perú Peru Universidad Católica Sedes Sapientiae Filial Atalaya Peru Institute of Philology of the Siberian Branch of the Russian Academy of Sciences Russia Moscow State University Russia Boston College United States Higher School of Economics Institute of Linguistics Russian Academy of Sciences Russia STKIP Weetebula Institute for System Programming Russian Academy of Sciences Russia University at Buffalo United States Karelian Research Centre of the Russian Academy of Sciences Russia Swarthmore College United States New York University United States Northeastern Illinois University United States University of Helsinki Finland Tuvan State University Russia Georgetown University United States Charles Darwin University Australia Institute of Computer Science Polish Academy of Sciences Poland Universitas Indonesia Indonesia Stony Brook University United States Dr. Bhimrao Ambedkar University India Mila/McGill University Montreal Canada University of Colorado Boulder United States Graduate Center City University of New York United States George Mason University United States Ben-Gurion University of the Negev Israel ETH Zürich Switzerland University of Melbourne Australia
The Universal Morphology (UniMorph) project is a collaborative effort providing broad-coverage instantiated normalized morphological inflection tables for hundreds of diverse world languages. The project comprises two... 详细信息
来源: 评论
Evaluating the Software Requirements Specifications Using Ontology-Based Intelligent Agent
Evaluating the Software Requirements Specifications Using On...
收藏 引用
International Scientific and Technical Conference on computer Science and Information Technologies
作者: Tetiana Hovorushchenko Olga Pavlova Computer Engineering and System Programming Department Khmelnitsky National University (KhNU) Khmelnitsky Ukraine Informatics department Khmelnitsky Gymnasium No.2 Khmelnitsky Ukraine
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed... 详细信息
来源: 评论
Lemma Functions for Frama-C: C Programs as Proofs
Lemma Functions for Frama-C: C Programs as Proofs
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Correction to: A new cognitive clock matching phenotypic and epigenetic ages
收藏 引用
Translational psychiatry 2022年 第1期12卷 452页
作者: M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.
来源: 评论
Lemma functions for frama-C: C programs as proofs
arXiv
收藏 引用
arXiv 2018年
作者: Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Distributed system for Detecting the Malware in LAN
Distributed System for Detecting the Malware in LAN
收藏 引用
International Scientific and Technical Conference on computer Science and Information Technologies
作者: George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland
The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilev... 详细信息
来源: 评论