Publication

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Publications associées (57)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

Performance of the LHCb muon system

Guido Haefeli, Giovanni Carboni

The performance of the LHCb Muon system and its stability across the full 2010 data taking with LHC running at root s = 7 TeV energy is studied. The optimization of the detector setting and the time calibration performed with the first collisions delivered ...

Institute of Physics2013

, ,

We investigate the technological con-strains and design limitations of ultrathin body junctionless dou- ble gate MOSFET (JL DG MOSFET). Relationships between the silicon thickness and the doping concentration compatible with design requirements in terms of ...

Ieee-Inst Electrical Electronics Engineers Inc2013

The Integration of an RE Method and AHP: A Pilot Study in a Large Swiss Bank

Gil Regev, Alain Wegmann, Arash Golnam, Sofia Kyriakopoulou

This paper reports on a pilot study of the integration between the Systemic Enterprise Architecture Method (SEAM) and the Analytic Hierarchy Process (AHP) in a requirements engineering project. The objective of the project, conducted in one of the major ba ...

IEEE2013

Review and Classification of Gain Cell eDRAM Implementations

Andreas Peter Burg, Adam Shmuel Teman, Pascal Andreas Meinerzhagen

With the increasing requirement of a high-density, high-performance, low power alternative to traditional SRAM, Gain Cell (GC) embedded DRAMs have gained a renewed interest in recent years. Several industrial and academic publications have presented GC mem ...

2012

Design, Modeling and Optimization of Stochastic Reactive Distributed Robotic Systems

Grégory Mermoud

This dissertation describes a complete methodological framework for designing, modeling and optimizing a specific class of distributed systems whose dynamics result from the multiple, stochastic interactions of their constitutive components. These componen ...

EPFL2012

Business/IT Alignment in Practice: Lessons Learned From a Requirements Project at P&G

Julien Favre, Gil Regev, Alain Wegmann

One of the main objectives of the alignment of Business and IT in both small and large organizations is to improve the chances for an IT department to provide services that result in business success. An essential phase for this alignment is the definition ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Domain-specific language model adaptation: a case study

Petr Motlicek, John David Scott Dines

Domain language model (LM) adaptation consists in re-estimating probabilities of a baseline LM to better match the peculiarities of a given broad topic of interest. To do so, a yet common strategy consists in retrieving adaptation texts from the Web based ...

Idiap2011

Language Virtualization for Heterogeneous Parallel Computing

Martin Odersky, Tiark Rompf, Hassan Chafi

As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL). However, these models do little to shield developers from the diffic ...

2010

Language Virtualization for Heterogeneous Parallel Computing

Martin Odersky, Tiark Rompf, Hassan Chafi

2010

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010