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.
The product development process (PDP) is a complex process encompassing many very diverse activities, and involving a fairly big number of actors, spread across different professions, teams and companies. In todayâs product development, more often than n ...
Carry chains facilitate the implementation of adders and improve the performance of arithmetic circuits in FPGAs. The last version of the commonly used open-source Verilog-to-Routing (VTR) CAD flow now enables modelling carry chains in FPGA architectures. ...
This work presents the modeling methodology of the iTETRIS platform to integrate and simulate ITS applications. iTETRIS is a modular and open-source simulation platform composed of four key modules: the network simulator ns-3, the traffic simulator SUMO, a ...
Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
The main goal of the Product Lifecycle Management (PLM) is the management of all the data associated to a product during its lifecycle. Lifecycle data is being generated by events and actions (of various lifecycle agents which are humans and/or software sy ...
Ontologies are rapidly becoming popular in various research fields. There is a tendency both in converting existing models into ontologies and in creating new models. In this work we are focusing on Closed-Loop Product Lifecycle Management (PLM) models. An ...
Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011
This research study addresses issues of transport modeling aiming to the recognition of vehicles, with perspective to generate a knowledge base for an automatic recognition of vehicles from similar type of data. Based on two datasets consisted of multi-spe ...
This paper describes a novel approach for integrated assembly modelling and planning. The main objective is to make assembly information accessible and exploitable by data management systems and computer-aided X tools in order to support product architects ...
