A method for model checking of microcontroller code is presented. The main objective is to check embedded C code including typical hardware specific ingredients like embedded assembly statements, direct memory accesses, direct register accesses, interrupts, and timers, without any further manual preprocessing. For this purpose, the state space is generated directly from the assembly code that i...

Blind detection of a desired user’s signal in a periodic long-code (PLC) direct sequence code division multiple access (DS-CDMA) system is considered. A code-constrained inverse filter criterion (IFC)-based blind detector for short-code CDMA signals to detect a desired user’s signal was recently presented by Tugnait and Li (July 2001). In PLC CDMA systems, a user signal may be treated as the su...

This Paper provides an approach for reducing delay and area in asynchronous communication. A new class of error correcting Delay Insensitive (ie., unordered) codes is introduced for global asynchronous communication.It simultaneously provides timing-robustness and fault tolerance for the codes.A systematic and weighted code is targeted. The proposed error correcting unordered (ECU) code, called...

We describe the first parallel implementation of an adaptive particle-particle, particle-mesh code with smoothed particle hydrodynamics. Parallelisation of the serial code, " Hydra " , is achieved by using CRAFT, a Cray proprietary language which allows rapid implementation of a serial code on a parallel machine by allowing global addressing of distributed memory. The collisionless variant of t...

This year marks the 48th anniversary of Francis Crick's seminal work on the origin of the genetic code, in which he first proposed the "frozen accident" hypothesis to describe evolutionary selection against changes to the genetic code that cause devastating global proteome modification. However, numerous efforts have demonstrated the viability of both natural and artificial genetic code variati...

jeremy shiffman’s editorial appropriately calls on making all forms of power more apparent and accountable, notably productive power derived from expertise and claims to moral authority. this commentary argues that relationships based on productive power can be especially difficult to reveal in global health policy because of embedded notions about the nature of power and politics. yet, it is e...

Comme le laisse entendre la célèbre formule de Lawrence Lessig selon laquelle « code est loi », informatique qu’exécutent les ordinateurs produit des effets régulation sociale. Or, ce lui-même encadré par tout un ensemble standards techniques qui forment une sorte du dont rédaction porteuse nombreux enjeux techno-politiques débattus dans arènes spécialisées. Cet article propose pistes méthodolo...

The programming language Prolog has built-in predicates which enable the modiication of a program at runtime. This makes the global compilation of Pro-log programs a complex task. This paper presents an intermediate representation which enables fast incre-mental global compilation of Prolog. This intermediate representation is based on the Vienna Abstract Machine (VAM) with its two versions, th...