Publications associées à Merge algorithm

Complete Completion using Types and Weights

Viktor Kuncak, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...

ACM2013

On the spatial partitioning of urban transportation networks

Nikolaos Geroliminis, Yuxuan Ji

It has been recently shown that a macroscopic fundamental diagram (MFD) linking space-mean network flow, density and speed exists in the urban transportation networks under some conditions. An MFD is further well defined if the network is homogeneous with ...

Elsevier2012

On Complete Completion using Types and Weights

Viktor Kuncak, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

A 10-bit 50-MS/s Redundant SAR ADC with Split Capacitive-Array DAC

Mehdi Saberi, Yusuf Leblebici

A new architecture for successive-approximation register analog-to-digital converters (SAR ADC) using generalized non-binary search algorithm is proposed to reduce the complexity and power consumption of the digital circuitry. The proposed architecture is ...

Springer Verlag2012

On Fast Code Completion using Type Inhabitation

Viktor Kuncak, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

2012

Structured Derivation of Semi-Synchronous Algorithms

André Schiper, Martin Hutle, Zarko Milosevic, Fatemeh Borran, Hagit Albo Attiya

The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, ...

2011

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

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.

Merge algorithm

Complete Completion using Types and Weights

On the spatial partitioning of urban transportation networks

On Complete Completion using Types and Weights

A 10-bit 50-MS/s Redundant SAR ADC with Split Capacitive-Array DAC

On Fast Code Completion using Type Inhabitation

Structured Derivation of Semi-Synchronous Algorithms

FIRST RESULTS OF SPACE CHARGE SIMULATIONS FOR THE NOVEL MULTI-TURN INJECTION

Steady-State MSE Performance Analysis of Mixture Approaches to Adaptive Filtering

Ordered Sets in the Calculus of Data Structures

Graph Chatbot

Chattez avec Graph Search

Complete Completion using Types and Weights

On Fast Code Completion using Type Inhabitation

On Complete Completion using Types and Weights

A 10-bit 50-MS/s Redundant SAR ADC with Split Capacitive-Array DAC

On the spatial partitioning of urban transportation networks

Structured Derivation of Semi-Synchronous Algorithms

FIRST RESULTS OF SPACE CHARGE SIMULATIONS FOR THE NOVEL MULTI-TURN INJECTION

Ordered Sets in the Calculus of Data Structures

Steady-State MSE Performance Analysis of Mixture Approaches to Adaptive Filtering