Concept

Assembly language

Related publications (101)

Instruction Set Extensions for Cryptographic Hash Functions on a Microcontroller Architecture

Andreas Peter Burg, Jeremy Hugues-Felix Constantin

In this paper, we investigate the benefits of instruction set extensions (ISEs) on a 16-bit microcontroller architecture for software implementations of cryptographic hash functions, using the example of the five SHA-3 final round candidates. We identify t ...

Ieee2012

Metal-Controlled Diastereoselective Self-Assembly and Circularly Polarized Luminescence of a Chiral Heptanuclear Europium Wheel

Marinella Mazzanti

The chiral dissymmetric tetradentate ligand (S)-6′-(4-phenyloxazolin- 2-yl)-2,2′-bipyridine-6-carboxylate (S-Phbipox) leads to the diastereoselective assembly of a homochiral Eu3+ triangle and a highly emissive (quantum yield = 27%) heptanuclear wheel that ...

2012

Capillary Self-Alignment of Mesoscopic Foil Components for Sensor-Systems-in-Foil

Massimo Mastrangeli

This paper reports on the effective use of capillary self-alignment for low-cost and time-efficient assembly of heterogeneous foil components into a smart electronic identification label. Particularly, we demonstrate the accurate (better than 50 μm) alignm ...

Institute of Physics2012

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

We present a methodology for the automatic veriﬁcation of multi-agent systems against temporal-epistemic speciﬁcations derived from higher-level languages deﬁned over convergent equational theories. We introduce a modality called rewriting knowledge that o ...

2012

Algorithm for a Microfluidic Assembly Line

Tobias Schneider

Microfluidic technology has revolutionized the control of flows at small scales giving rise to new possibilities for assembling complex structures on the microscale. We analyze different possible algorithms for assembling arbitrary structures, and demonstr ...

American Physical Society2011

Organizing neural networks

Henry Markram, Rodrigo de Campos Perin, Thomas Berger

Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for organizing trained and untrained neural networks. In one aspect, a neural network device includes a collection of node assemblies interconnected by betwe ...

2011

Compound fabrication for in-liquid selective Self-Assembly

Jürgen Brugger, Rosario Maurizio Gullo, Loïc Jacot-Descombes

Passing from millimeter to micrometer scale, the traditional pick and place method for assembling large amount of compounds be- comes difficult and time consuming. At micrometer scale it is then very important to have other assembling methods. This work pr ...

2011

Brief Announcement: Transaction Polymorphism

Rachid Guerraoui, Vincent Gramoli

In this work, we present transaction polymorphism; a synchronization technique that provides more control to the programmer than traditional (i.e., monomorphic) transactions to achieve comparable performance to generic lock-based and lock-free solutions. ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Approximation Algorithms for the Interval Constrained Coloring Problem

We consider the interval constrained coloring problem, which appears in the interpretation of experimental data in biochemistry. Monitoring hydrogen-deuterium exchange rates via mass spectroscopy experiments is a method used to obtain information about pro ...

2011

Static Analysis of x86 Executables

Johannes Kinder

This dissertation is concerned with static analysis of binary executables in a theoretically well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct control flow graph in presence of indirect jumps, pointer arithmetic ...

Technische Universität Darmstadt2010

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.