Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Partition d'un entier

Publications associées (23)

Proving non-termination

The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of verification tools. While this is well-understood in safety verification, th ...

2008

Extended law of corresponding states in short-range square wells: A potential energy landscape study

Giuseppe Foffi

We study the statistical properties of the potential energy landscape of a system of particles interacting via a very short-range square-well potential (of depth - u0) as a function of the range of attraction Δ to provide thermodynamic insights of the Noro ...

2006

A Dynamically Constrained Genetic Algorithm For Hardware-software Partitioning

Guillaume Zufferey, Pierre-André Mudry

In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level language our algorithm determines, using a dynamically-weighted fitness function ...

Association for Computing Machinery2006