Abstract. This work addresses the early exploration phase, before the hardware is available, of the design of a System on a Chip. We detect threads in C programs using a software only technique. The computed threads are used as a basis for partitioning the applications. The threads are built using proling and hot-paths information. We use a speculative model that, contrary to previous approaches, does not assume a shared memory. The speculation is performed on control ow and data structure layout. The output of the proposed method is a set of threads characterized by their execution time, the amount of memory and commu-nication required, etc. Preliminary results show that the approach is able to capture and to char-acterize the main comput...
As highly parallel multicore machines become commonplace, programs must exhibit more concurrency to ...
Abstract. We present a static analysis by Abstract Interpretation to check for run-time errors in pa...
This paper presents a mechanism to dynamically detect the loops that are executed in a program. This...
International audienceThis work addresses the early exploration phase, before the hardware is availa...
This work addresses the early exploration phase, before the hardware is available, of the design of ...
International audienceThis work addresses the early exploration phase, before the hardware is availa...
Part 1: Session 1: Parallel Programming and AlgorithmsInternational audienceInstruction traces play ...
As a result of the increasing size and complexity of embedded systems, object-oriented techniques ar...
In recent years research in the area of parallel architectures and parallel languages has become mor...
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements ...
This thesis introduces the data-triggered threads (DTT) programming and execution model. Unlike thre...
In recent years, microprocessor manufacturers have shifted their focus from single-core to multi-cor...
The data-triggered threads (DTT) programming and execution model can increase parallelism and elimin...
Chip multiprocessors (CMPs), or multi-core processors, have become a common way of reducing chip com...
Trace-level speculative multithreaded processors exploit trace-level speculation by means of two thr...
As highly parallel multicore machines become commonplace, programs must exhibit more concurrency to ...
Abstract. We present a static analysis by Abstract Interpretation to check for run-time errors in pa...
This paper presents a mechanism to dynamically detect the loops that are executed in a program. This...
International audienceThis work addresses the early exploration phase, before the hardware is availa...
This work addresses the early exploration phase, before the hardware is available, of the design of ...
International audienceThis work addresses the early exploration phase, before the hardware is availa...
Part 1: Session 1: Parallel Programming and AlgorithmsInternational audienceInstruction traces play ...
As a result of the increasing size and complexity of embedded systems, object-oriented techniques ar...
In recent years research in the area of parallel architectures and parallel languages has become mor...
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements ...
This thesis introduces the data-triggered threads (DTT) programming and execution model. Unlike thre...
In recent years, microprocessor manufacturers have shifted their focus from single-core to multi-cor...
The data-triggered threads (DTT) programming and execution model can increase parallelism and elimin...
Chip multiprocessors (CMPs), or multi-core processors, have become a common way of reducing chip com...
Trace-level speculative multithreaded processors exploit trace-level speculation by means of two thr...
As highly parallel multicore machines become commonplace, programs must exhibit more concurrency to ...
Abstract. We present a static analysis by Abstract Interpretation to check for run-time errors in pa...
This paper presents a mechanism to dynamically detect the loops that are executed in a program. This...