Un nuevo enfoque aumenta la eficiencia en la verificación de diseños de chips de computadora.
Yuheng Su, Qiusong Yang, Yiwei Ci
― 6 minilectura
Ciencia de vanguardia explicada de forma sencilla
Un nuevo enfoque aumenta la eficiencia en la verificación de diseños de chips de computadora.
Yuheng Su, Qiusong Yang, Yiwei Ci
― 6 minilectura
Investigando el papel de los LLM en la generación de especificaciones de software para verificación.
Marilyn Rego, Wen Fan, Xin Hu
― 7 minilectura
Una mirada a WASM y la importancia de la descompilación en la seguridad web.
Wei-Cheng Wu, Yutian Yan, Hallgrimur David Egilsson
― 7 minilectura
Evaluando la relevancia de la ingeniería de prompts con los nuevos modelos de razonamiento.
Guoqing Wang, Zeyu Sun, Zhihao Gong
― 8 minilectura
Combinando IA con Dafny para simplificar los procesos de verificación de software.
Gabriel Poesia, Chloe Loughridge, Nada Amin
― 8 minilectura
Los Casos de Aseguramiento garantizan la fiabilidad, seguridad y claridad para el usuario del software.
W. Spencer Smith, Jingyi Lin
― 6 minilectura
Una mirada a las dificultades de identificar código generado por IA y mejoras por venir.
Hyunjae Suh, Mahan Tafreshipour, Jiawei Li
― 7 minilectura
Una nueva forma de planear vuelos de cuadricópteros dibujando caminos.
Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke
― 6 minilectura
Una iniciativa liderada por estudiantes que ofrece experiencia práctica en software para futuros ingenieros.
Saheed Popoola, Vineela Kunapareddi, Hazem Said
― 11 minilectura
Examinando el uso de energía de asistentes de código como GitHub Copilot.
Tristan Coignion, Clément Quinton, Romain Rouvoy
― 6 minilectura
Explora cómo la suma en punto flotante afecta la precisión en los cálculos.
Peichen Xie, Yanjie Gao, Jilong Xue
― 7 minilectura
Las QNNs pueden cambiar cómo se prueban y manejan los sistemas de datos en el cuidado de la salud.
Xinyi Wang, Shaukat Ali, Paolo Arcaini
― 7 minilectura
Mint captura y gestiona datos de trazabilidad de manera eficiente para obtener mejores insights.
Haiyu Huang, Cheng Chen, Kunyi Chen
― 7 minilectura
Conexiones débiles pueden encender la innovación en proyectos de software.
Hongbo Fang, Patrick Park, James Evans
― 8 minilectura
Una mirada al potencial de los campamentos de codificación para mejorar el aprendizaje y las conexiones laborales.
Ilenia Fronza, Petri Ihantola, Olli-Pekka Riikola
― 9 minilectura
Un nuevo método mejora la detección de vulnerabilidades en contratos inteligentes.
Lei Yu, Shiqi Chen, Hang Yuan
― 6 minilectura
Aprende cómo la detección de anomalías protege los datos sensibles de amenazas.
Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif
― 7 minilectura
Una mirada a cómo se identifican, corrigen y comparten las vulnerabilidades del software.
Yi Wen Heng, Zeyang Ma, Haoxiang Zhang
― 6 minilectura
Una mirada profunda a los riesgos de seguridad de las extensiones de VS Code.
Shehan Edirimannage, Charitha Elvitigala, Asitha Kottahachchi Kankanamge Don
― 8 minilectura
Los desarrolladores pueden mejorar la privacidad de las apps analizando mejor las reseñas de usuarios con técnicas avanzadas.
Aakash Sorathiya, Gouri Ginde
― 6 minilectura
Un estudio revela cómo CHIME mejora las respuestas de ChatGPT a los reportes de errores de software.
Salma Begum Tamanna, Gias Uddin, Song Wang
― 7 minilectura
Un nuevo método mejora las pruebas de API REST utilizando aprendizaje inteligente para priorizar operaciones clave.
Myeongsoo Kim, Tyler Stennett, Saurabh Sinha
― 6 minilectura
AutoChecker simplifica la creación de checadores de código estático personalizados para desarrolladores.
Yuanyuan Xie, Jun Liu, Jiwei Yan
― 6 minilectura
Una herramienta para validar casos de prueba generados por modelos de lenguaje grandes.
Hamed Taherkhani, Hadi Hemmati
― 6 minilectura
Aprende sobre la prueba metamórfica y su importancia en el desarrollo de software.
Madhusudan Srinivasan, Upulee Kanewala
― 7 minilectura
La IA cambia cómo trabajan los equipos de software; entender a la gente es clave.
Theocharis Tavantzis, Robert Feldt
― 8 minilectura
Aprende cómo el refactoring puede mejorar la estructura del software y manejar los riesgos que conlleva.
Wouter Brinksma, William Wernsen, Evert Verduin
― 9 minilectura
Los investigadores desarrollan un marco autocorrector para generar testbenches de manera eficiente en el diseño de hardware.
Ruidi Qiu, Grace Li Zhang, Rolf Drechsler
― 9 minilectura
Aprovechando estrategias más inteligentes para detectar errores en las pruebas de software.
Hang Du, Vijay Krishna Palepu, James A. Jones
― 7 minilectura
Examinando cómo los bots ayudan a los ingenieros de software y áreas para mejorar.
Danyellias Vaz de Lima Manso, Valdemar Vicente Graciano Neto, Mohamad Kassab
― 6 minilectura
Aprende técnicas efectivas para enseñar a los principiantes la descomposición de programas.
Georgiana Haldeman, Judah Robbins Bernal, Alec Wydra
― 8 minilectura
Las herramientas de IA como ChatGPT enfrentan desafíos de eficiencia energética que necesitan soluciones.
Pepijn de Reus, Ana Oprescu, Jelle Zuidema
― 11 minilectura
Los LLM más pequeños ofrecen ayuda, pero tienen problemas de calidad significativos en la generación de código.
Eric L. Melin, Adam J. Torek, Nasir U. Eisty
― 6 minilectura
Aprende cómo los cambios rápidos en la codificación pueden ahorrar energía y beneficiar al medio ambiente.
Tom Cappendijk, Pepijn de Reus, Ana Oprescu
― 6 minilectura
Explorando las fortalezas de la generación de código humano versus la automatizada.
Md Abdul Awal, Mrigank Rochan, Chanchal K. Roy
― 8 minilectura
Aprende cómo las máquinas pueden facilitar el proceso de revisión de código para los desarrolladores.
Md. Asif Haider, Ayesha Binte Mostofa, Sk. Sabit Bin Mosaddek
― 7 minilectura
Explora cómo los sistemas IVR han cambiado con la tecnología de IA.
Khushbu Mehboob Shaikh, Georgios Giannakopoulos
― 13 minilectura
Descubre el mecanismo de balancín para una gestión de proyectos de código más fluida.
Ruslan Idelfonso Magaña Vsevolodovna
― 9 minilectura
Aprende cómo la refactorización de código reduce la contaminación de datos en el desarrollo de software.
Jialun Cao, Songqiang Chen, Wuqi Zhang
― 7 minilectura
Descubre cómo incidentes recientes destacan las vulnerabilidades en los paquetes de Linux.
Duc-Ly Vu, Trevor Dunlap, Karla Obermeier-Velazquez
― 9 minilectura