Investigadores proponen un sistema de tipos para diseño de hardware con comunicación segura
El artículo introduce un sistema de tipos para describir protocolos de comunicación sensibles al ciclo de reloj entre componentes de hardware. Busca detectar incompatibilidades que pueden causar intercambios desincronizados o bloquear el progreso al combinar componentes diseñados por separado.
El artículo introduce un sistema de tipos para describir protocolos de comunicación sensibles al ciclo de reloj entre componentes de hardware. Busca detectar incompatibilidades que pueden causar intercambios desincronizados o bloquear el progreso al combinar componentes diseñados por separado.
Los autores formalizan la seguridad de comunicación como una propiedad global y estudian la comprobación estática de descripciones de hardware. Es investigación en métodos formales; no informa de adopción en una cadena de diseño de chips.
Ilustración simbólica generada por IA. Infraestructura informática simbólica; no se representa una instalación real, un diseño de marca ni un sistema autónomo desplegado.
En BUILD 2026, el ministro de Comunicaciones señaló la electricidad, la conectividad, la nube y los chips avanzados como obstáculos al crecimiento local de la IA.
Fuente: Voice of Nigeria, reporting the Ministry of Communications, Innovation and Digital Economy
La empresa canadiense de chips de IA prevé destinar los fondos a ampliar los servidores Galaxy y avanzar la tecnología de procesadores que licencia a sus clientes.
Investigadores de Ottawa, Columbia y Hanyang revisaron materiales y dispositivos pos-CMOS para neuronas artificiales; el trabajo es una revisión bibliográfica, no un nuevo prototipo de chip.
Fuente: University of Ottawa
HABER PAPER
Cinco ediciones. Una mirada más amplia.
Una perspectiva multilingüe de la economía mundial.
Si lo permite, Google Analytics puede medir las visitas y la actividad del sitio mediante cookies. Puede cambiar su elección más adelante.
Detalles de medición y privacidad
Google Analytics solo inicia las mediciones si usted lo permite. Tras el consentimiento, la medición automática puede incluir desplazamientos, clics en enlaces externos, descargas, interacción con vídeos, búsquedas en el sitio e interacciones básicas con formularios; los términos de búsqueda pueden detectarse en los parámetros de URL. El código de este sitio no envía los valores de los campos; la ocultación de correos electrónicos en la medición automática es un esfuerzo razonable, no una garantía. Nuestro evento manual de vista de página usa una URL depurada. Puede cambiar su elección más adelante. Las visitas que empiezan con consentimiento también pueden enviar mediciones numéricas LCP, INP y CLS tras cargar Analytics. Un primer consentimiento o uno posterior activa estas mediciones en la siguiente carga de página; retirarlo detiene estos informes para la página actual. La cookie de preferencias dura seis meses; la medición publicitaria y la personalización permanecen desactivadas.
Su navegador envía una señal Global Privacy Control. La analítica está desactivada de forma predeterminada; puede cambiar esta elección explícitamente aquí.
