Document Actions
1994
- IPF : un langage pour le traitement d'image sur architecture SIMD : définition et performances
- Restriction of a Markov random field on a graph and multiresolution image analysis
- Robust multiresolution estimation of parametric motion of models applied to complex scenes
- A deterministic approach to stochastic approximation
- Efficient parallel non-linear multigrid relaxation algorithms for low-level vision applications
- An optimal algo-tech-cuit for the knapsack problem
- Optimal tiling
- Étude d'algorithmes de suivi temporel de segmentation basée mouvement pour la compression de séquences d'images
- When all the observers of a distributed computation do agree
- Machines spécialisées pour la comparaison de séquences biologiques
- Local states in distributed computations: a few relations and formulas
- Typage des graphes de décisions ternaires
- Control of polynomial dynamic systems: an example
- Lissage de processus markoviens sur un graphe
- Simulation d'éclairage dans un environnement contenant des milieux semi-transparents
- A sparse knapsack algo-tech-cuit and its synthesis
- On weak lumpability of denumerable Markov chains
- Cache organization influence on loop blocking
- Direct-mapped versus set-associative pipelined caches
- Performability analysis of fault-tolerant computer systems
- Computing the toughness and the scattering number for interval and other graphs
- Etude d'algorithmes de quantification vectorielle arborescente pour la compression d'images fixes
- Differential algebraic equations a new look at the index
- Efficient treatment of failures in RPC systems
- From high level programming model to FPGA machines
- A general approach to trace-checking in distributed computing systems
- MYOAN: an implementation of the KOAN shared virtual memory on the Intel Paragon
- Ré-exécution et analyse de calculs répartis
- Wavelet estimators: adapting unknown smoothness
- Subtyping with union types, intersection types and recursive types II
- On the fly testing of regular patterns in distributed computations
- Computing On-Line the Lattice of Maximal Antichains of Posets
- Event-based diagnosis for evolutive systems
- On properties of a class of spectral characteristics of matrices and applications to ordinary differential equations
- Determination of stability zones for linear systems of ordinary differential equations depending on two parameters
- A component model for synchronous VLSI system design
- Verification of regular architectures using ALPHA: a case study
- HPF to C-PANDORE translator
- Mechanical proofs of security properties
- Arborescent canonical form of boolean expressions
- The ALPHA Language
- Using atic analysis to derive imperative code from ALPHA
- Regular array synthesis using ALPHA
- Loop nest synthesis using the polyhedral library
- Accélération de l'algorithme de Newton-GMRES pour les équations de
- Using Wavelet Network in Nonparametric Estimation
- Stability of the Krylov bases and subspaces
- Étude Comparative des Architectures des Microprocesseurs Intel Pentium et PowerPC 601
- Large Elliptic Dichotomy of Matrix Spectrum
- Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems
- Type Inference with Set Theoretic Type Operators
- A terminology for 2D grids
- The Arrowhead Torus
- Index, éditeur structuré et actes médiévaux
- États globaux inévitables: un concept pour la détection de propriétés instables des calculs répartis
- VSDF: synchronous data flow for VLSI
- On parabolic and elliptic spectral dichotomy
- Lyapunov's stability of large matrices by projection methods
- New estimates of the spectral dichotomy
- Polynomial Algorithms for the Synthesis of Bounded Nets
- Broadcasting in the Arrowhead Torus
- Wavelets in identification. wavelets, splines, neurons, fuzzies: how good for identification ?
- Optimization of number of processors in VLSI arrays
- Dependency tracking and filtering in distributed computations
- 3D layout of reachability graphs of communicating processes / Dessin en 3 dimensions de graphes d'accessibilité de processus communicants
- Tolerating node failures in cache only memory architectures
- Visual servoing using dynamic image parameters
- Shared Virtual Memory and Message Passing Programming on a Finite Element Application
- On the Computation of Wavelet Coefficients
- New Fast Smoothers for Multiscale Systems
- Parcours de polyèdre paramétré avec l'élimination de Fourier-Motzkin
- On-the-fly analysis of distributed computations
- A recursive variance reduction algorithm for estimating communication network reliability
- Localisation des discontinuités en vue d'un maillage optimal pour la radiosité
- Irregular Loop Patterns Compilation on Distributed Shared Memory Multiprocessors
- Synchronization Minimization in a SPMD Execution Model
- Réalisation d'une bibliothèque C de fonctions ondelettes
- Prototyping of VLSI Components from a Formal Specification
- Matrices AVL pour la classification et l'alignement de séquences protéïques
- Exécution de codes irréguliers par migration de tâches
- Parallelization of a Wave Propagation Application using a Data Parallel Compiler
- The Pandore Compiler: Overview and Experimental Results
- For a New Real-Time Methodolog
- Sequential consistency in distributed systems : theory and implementation
- Expressing and Detecting Control Flow Properties of Distributed Computations
- Some software tools to control the accuracy in scientific computing
- Transient characteristics of an M/M/infinite system applied to statistical multiplexing on an ATM link
- Applying the Synchronous Approach for Real Time Active Visual Reconstruction
- Imagining CLP(Lambda, alpha-beta-equivalence)
- A Pragmatic Reconstruction of LambdaProlog
- On the use of advanced logic programming languages in computational linguistics
- The Architecture of an Implementation of LambdaProlog: Prolog/Mali
- Programmation par objets et parallélisme de données dans Paladin
- Comparison of accurate dot product algorithms
- Measuring Concurrency of Regular Distributed Computations
- An Implementation of Global Flush Primitives Using Counters
- Prioritized transitions for updates
- Conception et implantation d'un serveur SMDS sur architectures modulaires
- Détection de rupture de modèle appliquée à l'asservissement visuel
- Causal Deliveries With Real-Time Delivery Constraints
- Commutation et réseaux ATM
- Locating singular points and characterizing deformable flow fields in an image sequence
- Proposition d'une architecture pour l'expérimentation de systèmes distribués extensibles
- Computing wavelet density estimator for stochastic processes
- The ALPHA Compiler and Uncompiler: technical reports