Publications associées à High Level Extraction of SoC Architectural Information from Generic C Algorithmic Descriptions

Analysis of Coupled Scalar Systems by Displacement Convexity

Rüdiger Urbanke, Nicolas Macris, Rafah El-Khatib

Potential functionals have been introduced recently as an important tool for the analysis of coupled scalar systems (e.g. density evolution equations). In this contribution we investigate interesting properties of this potential. Using the tool of displace ...

Ieee2014

Fighting Back: Using Observability Tools to Improve the DBMS (Not Just Diagnose It)

Frederick Ryan Johnson

Observability tools increase the transparency of the system and help practitioners identify a wide variety of bugs and bottlenecks. In this paper we claim that such tools (DTrace, in our case) can play a much more active role: the same features which allow ...

ACM2012

Structural Analysis from Classroom to Laboratory

Luc Patiny, Julien Wist

The analysis of spectroscopic data to elucidate chemical structures requires intensive practice. A Web portal is described that allows uploading, storing, simulating, and sharing of spectroscopic data. The Web portal can also be used to create, embed, and ...

2012

Automatic detection of conflicts in spoken conversations: ratings and analysis of broadcast political debates

Fabio Valente, Alessandro Vinciarelli

Automatic analysis of spoken conversations has recently searched for phenomena like agreement/disagreement in collaborative and non- conflictual discussions (e.g., meetings). This work adds a novel dimension investigating conflicts in spontaneous conversat ...

2012

On the Construction of Polar Codes

Emre Telatar, Seyed Hamed Hassani, Ramtin Pedarsani

We consider the problem of efficiently constructing polar codes over binary memoryless symmetric (BMS) channels. The complexity of designing polar codes via an exact evaluation of the polarized channels to find which ones are "good" appears to be exponenti ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

On The Power of Hardware Transactional Memory to Simplify Memory Management

Aleksandar Dragojevic

Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memory (HTM) can be used to simplify and streamline memory reclamation for such da ...

ACM2011

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Seth Gilbert, Dan Alistarh, Morteza Zadimoghaddam

We give two new randomized algorithms for tight renaming, both of which work against an adaptive adversary. The first uses repeated sampling over a sequence of arrays of decreasing size to assign unique names to each of

n

processes with step complexity $ ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Repeater Insertion Techniques for 3D Interconnects

Giovanni De Micheli, Vasileios Pavlidis

A new approach for inserting repeaters in 3-D interconnects is proposed. The allocation of repeaters along an interplane interconnect is iteratively determined. The proposed approach is compared with two other techniques based on conventional methods used ...

2010

Static Analysis of x86 Executables

Johannes Kinder

This dissertation is concerned with static analysis of binary executables in a theoretically well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct control flow graph in presence of indirect jumps, pointer arithmetic ...

Technische Universität Darmstadt2010

On Using Static Analysis to Detect Type Errors in PHP Applications

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstructing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features t ...

2010

High Level Extraction of SoC Architectural Information from Generic C Algorithmic Descriptions

Graph Chatbot

Chattez avec Graph Search

Analysis of Coupled Scalar Systems by Displacement Convexity

Fighting Back: Using Observability Tools to Improve the DBMS (Not Just Diagnose It)

Structural Analysis from Classroom to Laboratory

Automatic detection of conflicts in spoken conversations: ratings and analysis of broadcast political debates

On the Construction of Polar Codes

On The Power of Hardware Transactional Memory to Simplify Memory Management

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Repeater Insertion Techniques for 3D Interconnects

Static Analysis of x86 Executables

On Using Static Analysis to Detect Type Errors in PHP Applications

Automatic detection of conflicts in spoken conversations: ratings and analysis of broadcast political debates

Analysis of Coupled Scalar Systems by Displacement Convexity

Structural Analysis from Classroom to Laboratory

On the Construction of Polar Codes

On The Power of Hardware Transactional Memory to Simplify Memory Management

Repeater Insertion Techniques for 3D Interconnects

On Using Static Analysis to Detect Type Errors in PHP Applications

Fighting Back: Using Observability Tools to Improve the DBMS (Not Just Diagnose It)

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Static Analysis of x86 Executables