Scientific Research Publishing

MARTE-Based Formal Modeling with Reinforcement Learning for Architecture-Agnostic Assembler Design in Configurable Processors ()

1 Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China. 2 School of Computer Science and Engineering, Guangzhou Institute of Technology, Guangzhou, China. 3 ...
acm.org

Nand to Tetris: Building a Modern Computer System from First Principles

Suppose you were asked to design an abridged computer science (CS) program consisting of just three courses. How would you go about it? The first course would probably be an introduction to computer ...
C&EN

Physics-Inspired Structural Representations for Molecules and Materials

Laboratory of Computational Science and Modeling, IMX, École Polytechnique Fédérale de Lausanne, 1015 Lausanne, Switzerland National Centre for Computational Design and Discovery of Novel Materials ...
acm.org

Formal Verification of a Realistic Compiler

This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly ...
Federal Register

Announcing Request for Candidate Algorithm Nominations for a New Cryptographic Hash Algorithm (SHA-3) Family

This document has been published in the Federal Register. Use the PDF linked in the document sidebar for the official electronic format.