Concept

Confluence (abstract rewriting)

Related publications (36)

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.

Stabilized platinum electrodes for ferroelectric film deposition using Ti, Ta and Zr adhesion layers

Paul Muralt, Thomas Maeder

Pt-based metallizations using different adhesion layers (Ti. Zr and Ta) were studied for use as electrodes for Ferroelectric thin films on oxidized silicon substrates. Different ways of oxidizing the adhesion layers prior to ferroelectric film growth are c ...

Japan Society of Applied Physics1998

External kinks in plasmas with helical boundary deformation and net toroidal current

Wilfred Anthony Cooper

The global ideal magnetohydrodynamic (MHD) stability of plasmas with a prescribed helical boundary deformation and nonvanishing toroidal current is investigated with respect to the (m,n) external modes with n = 1,2,3, and m = n + 1. L = 2, 3 and mixtures ( ...

1997

Influence of plasma shape on transport in the TCV Tokamak

Basil Duval, Yves Martin, Jean-Marc Moret, Henri Weisen, Roland Behn

The energy confinement time of TCV Ohmic, L-mode discharges is observed to depend strongly on the plasma shape, improving slightly with elongation and degrading strongly as triangularity is increased from zero to positive values. The thermal conductivity o ...

1997

Rewriting Executable Files to Measure Program Behavior

James Richard Larus

Inserting instrumentation code in a program is an effective technique for detecting, recording, and measuring many aspects of a program's performance. Instrumentation code can be added at any stage of the compilation process by specially-modified system to ...

Wiley1994

SANDS: Structured Algebraic Net Development System

SANDS is a development tool based on structured algebraic nets. The environment is composed of the following features: - Algebraic nets allowing the definition and use of structured tokens by means of algebraic specifications. Apart from reducing the si ...

1993

Semantics of optimistic computation

Willy Zwaenepoel

The derivation of a semantically equivalent optimistic computation from a pessimistic computation by application-independent transformations is discussed. Computations are modeled by program dependence graphs (PDGS). The semantics of a computation is defin ...

1990