Computational Records with Aging Hardware: Controlling Half the Output of SHA-256
Developmental processes in silicon: an engineering perspective
Learning with physical noise or errors
Inhabiting and Inhabiting the Cloud(s) :
Coquet: a Coq library for verifying hardware
Double-negative pillared elastic metamaterial
Jalons pour une mise en visibilité de la sexualité dans Triptyque de Claude Simon : discursivité, voies de fait et dispositifs
Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture
The Role of Explicit Teaching Remedy in Enhancing Grammatical and Lexical Cohesive Devices Problem in Second Year Students Writing’ s at the University of Constantine 01
Pragmatic vs. Grammatical Mode: Utterance Internal Hierarchy (UIH) in Hebrew and beyond
SIMT-X: Extending Single-Instruction Multi-Threading to Out-of-Order Cores
Bit-LevelPipelinedDigit-SerialArrayProcessors TransactionsBriefs
Les dispositifs communicationnels qui font exister et font parler des peuples isolés d’Amazonie Brésilienne : une approche constitutive
Security Techniques for Test Infrastructures
Using the EXECO toolbox to perform automatic and reproducible cloud experiments
Two-dimensional MXenes for electrochemical capacitor applications: Progress, challenges and perspectives
Simplified hardware bit correlator
Temporal isolation of hard real-time applications on many-core processors
Less is more : efficient hardware design through Approximate Logic Synthesis
Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach
Formal Architecture Specification for Time Analysis
Vers une approche systématique de la synthèse d'image : aspects logiciel et matériel
Direct patterning of organic conductors on knitted textiles for long-term electrocardiography
SPY : un système de contrôle : la mise au point de systèmes de programmation grâce à un couplage de machines virtuelles