This paper presents a compaction method of functional programs (eg, ML programs) for super-scalars or VLIW architectures. It is a generalisation of the Percolation scheduling system 1] and Perfect Pipelining 2]. It is described by a set of program transformations respecting data-dependences. Instead of managing a control-ow based representation of programs, the compaction is directly applied to...

INTRODUCTION Isolated left ventricular non-compaction is a recently described form of cardiomyopathy that is associated with a significant risk of life-threatening arrhythmia and thromboembolic complications. CASE PRESENTATION We report the presentation, diagnosis and management of isolated left ventricular non-compaction in a 54-year-old Caucasian woman presenting with progressive symptoms o...

Metamorphic devolatilization generates fluid and grain-scale porosity. Evidence for high fluid pressure indicates the devolatilization occurs under poorly-drained conditions. Under such conditions fluid expulsion is limited by the capacity of the reacted rocks to resist compaction or the rate at which deformation modifies the permeability of the overlying rocks. In the former case the compactio...

ABSTRACT Observed rotation curves in star-forming galaxies indicate a puzzling dearth of dark matter extended flat cores within haloes mass ?1012M? at z ? 2. This is not reproduced by current cosmological simulations, and supernova-driven outflows are effective such massive haloes. We address hybrid scenario where post-compaction merging satellites heat up the dark-matter cusps dynamical fricti...

In this paper we study the two-dimensional compaction of integrated circuit layouts. A curvilinear representation for circuit elements, specifically chosen to make the compaction efficient, is developed. A Monte Carlo algorithm with heuristic termination criteria was applied to a variety of designs. These experiments give running times for compaction that are consistent with a conjectured avera...

Polycomb group proteins preserve body patterning through development by maintaining transcriptional silencing of homeotic genes. A long-standing hypothesis is that silencing involves creating chromatin structure that is repressive to gene transcription. We demonstrate by electron microscopy that core components of Polycomb Repressive Complex 1 induce compaction of defined nucleosomal arrays. Co...

Test pattern storage is an important problem aaect-ing all Design for Testability (DfT) techniques based on scan-path. Test compaction is the key idea to reduce this problem, but in case of partial-scan test compaction would concern the concatenation and overlapping of test sequences instead of test vectors. Unfortunately, standard sequential TPGs do not show suucient capabilities in test seque...

[1] Conditions for shear and compaction localization are examined for stress states on an elliptic yield cap in the space of Mises equivalent shear stress t and mean normal compressive stress s. Localization is predicted to occur when the slope of the hydrostatic stress versus inelastic volume strain curve falls to a critical value kcrit. When applied to the standard triaxial test, the analysis...

We consider the two{dimensional compaction problem for orthogonal grid drawings in which the task is to alter the coordinates of the vertices and edge segments while preserving the shape of the drawing so that the total edge length is minimized. The problem is closely related to two{dimensional compaction in vlsi{design and is conjectured to be NP{hard. We characterize the set of feasible solut...

Compaction bands are narrow planar zones of localized purely compressive (without shear) deformation that form perpendicular to the most compressive principal stress. Such bands have been observed in high porosity rocks in the laboratory and in the field. Because compaction presumably decreases permeability, these bands can act as barriers to flow within reservoirs. Reexamination of the results...