Concept
Code civil (France)
Publications associées (7)
Automated Formal Verification of Software Network Functions
Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...
EPFL2024Bound and Conquer: Improving Triangulation by Enforcing Consistency
Martin Vetterli, Adam James Scholefield, Alireza Ghasemi
We study the accuracy of triangulation in multi-camera systems with respect to the number of cameras. We show that, under certain conditions, the optimal achievable reconstruction error decays quadratically as more cameras are added to the system. Furtherm ...
2019SIMPLE code: Optical properties with optimal basis functions
Nicola Marzari, Gianluca Prandini, Paolo Umari
We present SIMPLE, a code developed to calculate optical properties of metallic and insulating extended systems using the optimal basis method originally proposed by E.L. Shirley in 1996. Two different approaches for the evaluation of the complex dielectri ...
ELSEVIER SCIENCE BV2019Code and its image: the functions of text and visualisation in a code-based design studio
Jeffrey Huang, Mark Meagher, Guillaume Labelle, Nathaniel Zuelzke, Trevor Patt
Traditionally, design learning in the architecture studio has taken place through a combination of individual work and joint projects. The introduction of code-based design practices in the design studio has altered this balance, introducing new models of ...
Routledge Journals, Taylor & Francis Ltd2015Functional synthesis for linear arithmetic and sets
Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defin ...
Springer Berlin Heidelberg2013FAST: An advanced code system for fast reactor transient analysis
Rakesh Chawla, Konstantin Mikityuk
One of the main goals of the FAST project at PSI is to establish a unique analytical code capability for the core and safety analysis of advanced critical (and sub-critical) fast-spectrum systems for a wide range of different coolants. Both static and tran ...
Elsevier2005Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronization is required. A synchronization logic, or policy, is at present entangled i ...
Springer2004