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.
ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Highe ...
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purpose event-driven model to manage the interactions between protocols. In compl ...
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purpose event-driven model to manage the interactions between protocols. In compl ...
The first aza-C-disaccharide (D-azaMan-beta-CHz-(1 -> 6)-D-Man-alpha-OMe) that mimicks alpha-D-Manp-(1 -> 6)-alpha-D-ManOMe was made in 1994 by Johnson and coworkers. Several synthetic approaches to these disaccharide mimetics have been proposed. These are ...
We identify three programming language abstractions for the construction of re-usable components: abstract type members, explicit selftypes and symmetric mixin composition. Together, these abstractions enable us to transform an arbitrary assembly of static ...
In this paper, it is shown that dynamic optimization problems of first-order systems can be transformed into a static paramertic programming problem, where the state plays the role of the parameter. Thus, an optimal feedback law is obtained. This concept i ...
We identify three programming language abstractions for the construction of re-usable components: abstract type members, explicit selftypes and symmetric mixin composition. Together, these abstractions enable us to transform an arbitrary assembly of static ...
The following chapter summarizes the various methodologies allowing the reductive cleavage of various carbon---hetereroatom single bonds or multiple bonds naming the transformation of C---N bond, C---P, C---As, C---Sb, C---Bi, C---C, C---Si, C---Ge, C---B, ...
We address programming abstractions for building protocols from smaller, reusable microprotocols. The existing protocol frameworks, such as Appia and Cactus, either restrict the amount of concurrency between microprotocols, or depend on the programmer, who ...
A novel MEMS device architecture: the SOI SG-MOSFET, which combines a solid- state MOS transistor and a suspended metal membrane in a unique metal-over- gate architecture, is proposed. A unified physical analytical model (weak, moderate and strong inversio ...