Publications associées à Dynamic Link Library

On Interactive Synthesis of Code Snippets

Viktor Kuncak, Tihomir Gvero, Ruzica Piskac

We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. Our approach takes into account polymorphic type constraints as well as code behavior. We have found our system to be useful for synth ...

2011

A Case of Diffuse Lepromatous Leprosy associated with Mycobacterium lepromatosis

Stewart Cole, Philippe Busso, Pushpendra Singh

An 86-year old female patient from northeast Mexico presented with diffuse lepromatous leprosy (DLL). Sequence analysis of four genes (rrs, rpoB, sigA and hsp65) from the skin biopsy identified Mycobacterium lepromatosis. This is the first independent conf ...

2011

High-speed internal strain measurements in composite structures under dynamic load using embedded FBG sensors

John Botsis, Joël Cugnoni, Dragan Coric, Jeannot Frieden

Internal strain measurements in cross-ply carbon-epoxy composite plates under dynamic loads are carried out using embedded FBG sensors. The principle of the FBG interrogation is based on intensity demodulation achieved via a Fabry-Perot filter. To account ...

2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, the ...

Springer2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

Studying Application–Library Interaction and Behavior with LibTrac

George Candea, Paul Dan Marinescu, Eric Bisolfati

The boundary between programs and libraries is an appealing location for injecting faults during testing: the cost of doing so is low, and one can emulate a wide range of errors. Several tools exist, but using them faces the challenge of deciding exactly w ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Dynamic behavior and vibration control of a tensegrity structure

Ian Smith, Nizar Bel Hadj Ali

Tensegrities are lightweight space reticulated structures composed of cables and struts. Stability is provided by the self-stress state between tensioned and compressed elements. Tensegrity systems have in general low structural damping, leading to challen ...

Elsevier2010

Simulating real DSP code using a DLL, application to a 3-level VSI SVC

Jean-Jacques Simond, André Hodder, Roland Wetter, György Atilla Bànyai

The present paper addresses the use of a Windows™ DLL to simulate the real code of a DSP for faster development time and advanced testing, especially in high power systems. The development of power system control usually starts with simulations and the dev ...

2010

An Extensible Technique for High-Precision Testing of Recovery Code

George Candea, Paul Dan Marinescu, Radu Banabic

Thorough testing of software systems requires ways to productively employ fault injection. We describe a technique for automatically identifying the errors exposed by shared libraries, finding good injection targets in program binaries, and producing corre ...

2010

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dynamic Link Library

Constitutionally selective amplification of multicomponent 84-membered macrocyclic hosts for (−)-cytidine•H+

On Interactive Synthesis of Code Snippets

A Case of Diffuse Lepromatous Leprosy associated with Mycobacterium lepromatosis

High-speed internal strain measurements in composite structures under dynamic load using embedded FBG sensors

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Studying Application–Library Interaction and Behavior with LibTrac

Dynamic behavior and vibration control of a tensegrity structure

Simulating real DSP code using a DLL, application to a 3-level VSI SVC

An Extensible Technique for High-Precision Testing of Recovery Code

Graph Chatbot

Chattez avec Graph Search

A Case of Diffuse Lepromatous Leprosy associated with Mycobacterium lepromatosis

Constitutionally selective amplification of multicomponent 84-membered macrocyclic hosts for (−)-cytidine•H+

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

High-speed internal strain measurements in composite structures under dynamic load using embedded FBG sensors

Studying Application–Library Interaction and Behavior with LibTrac

An Extensible Technique for High-Precision Testing of Recovery Code

Simulating real DSP code using a DLL, application to a 3-level VSI SVC

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Dynamic behavior and vibration control of a tensegrity structure

On Interactive Synthesis of Code Snippets