计算机科学
Paper Review Records
全部论文审稿周期
17 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
An empirical evaluation of a domain-specific language for maintenance scheduling optimization
作者David Martínez-Castañón; Vicente García-Díaz; Edward Rolando Núñez-Valdez; Cristian González García; Alberto Gómez Gómez
作者单位Department of Computer Science, University of Oviedo, Oviedo, Spain; Department of Business Administration, University of Oviedo, Gijõn, Spain
Beyond the hype: Enabling informed LLM adoption in industry through systematic evaluation
作者Eneko Pizarro; Maider Azanza; Beatriz Pérez Lamancha
作者单位LKS Next, Goiru 7, Arrasate-Mondragón, Spain; University of the Basque Country UPV/EHU, Manuel Lardizabal 1, Donostia-San Sebastián, Spain
An integrated framework for the validation and verification of UML models
作者Gustavo Carvalho; José Dihego; Augusto Sampaio
作者单位Centro de Informática, Universidade Federal de Pernambuco, Av. Jornalista Aníbal Fernandes, s/n – Cidade Universitária, Recife, 50.740-560, Pernambuco, Brazil; Instituto Federal de Educação, Ciência e Tecnologia da Bahia, Av. Araújo Pinho, n. 39, Salvador, 40.110–150, Bahia, Brazil
SMTQuery: A novel tool for analyzing SMT-LIB string benchmarks
作者Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn
作者单位Department of Computer Science, Kiel University, Kiel, Germany; Department of Computer Science, University of Göttingen, Göttingen, Germany; Department of Computer Science, Aalborg University, Aalborg, Denmark
A reliable non-intrusive runtime verification framework for linearizability
作者Gilde Valeria Rodríguez; Miguel Piña; Armando Castañeda
作者单位Posgrado en Ciencia e Ingeniería de la Computación, UNAM, Mexico City, Mexico; Independent Researcher (Formerly at UNAM), Mexico City, Mexico; Instituto de Matemáticas, UNAM, Mexico City, Mexico
Expert Matching · Case Demo
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。