Filtrer vos résultats
- 131
- 462
- 57
- 55
- 9
- 5
- 4
- 1
- 4
- 97
- 23
- 11
- 6
- 3
- 3
- 2
- 63
- 68
- 112
- 16
- 3
- 36
- 20
- 18
- 14
- 13
- 13
- 11
- 10
- 9
- 7
- 7
- 7
- 7
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 11
- 9
- 9
- 9
- 7
- 7
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Stable Transactional Memories and Fault Tolerant ArchitecturesProc. of Fourth ACM SIGOPS European Workshop, Fault Tolerance Support in Distributed Systems, 1990, Bologna, Italy
Communication dans un congrès
hal-01272465v1
|
|||
An even faster systolic array for matrix multiplicationParallel Computing, 1989, 12, pp.249-254
Article dans une revue
hal-00857014v1
|
|||
Efficient FORTRAN implementation of the Gaussian elimination and Householder reduction algorithms on the IBM 3090 vector multiprocessorRAIRO Modélisation mathématique et Analyse Numérique, 1989, 23 (1), pp.63-86
Article dans une revue
hal-00857024v1
|
|||
LU and QR factorization on the FPS T Series hypercubeCONPAR 88, 1989, Unknown, pp.516-525
Communication dans un congrès
hal-00857033v1
|
|||
A modular systolic linear array for Gaussian eliminationInternational Journal of Computer Mathematics, 1990, 36, pp.105-118
Article dans une revue
hal-00857039v1
|
|||
The Reachability Problem for Ground TRS and Some ExtensionsProceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT, Vol.1, 1989, Barcelona, Spain. pp.227-243
Communication dans un congrès
inria-00538873v1
|
|||
|
|
Lambda-Upsilon-Omega: An Assistant Algorithms AnalyzerApplied Algebra, Algebraic Algorithms and Error-Correcting Codes, 1989, Rome, Italy. pp.201-212, ⟨10.1007/3-540-51083-4_60⟩
Communication dans un congrès
hal-00917731v1
|
||
Hydrophobic cluster analysis : procedures to derive structural and functional information from 2-D-representation of protein sequencesBiochimie, 1990, pp.555-574
Article dans une revue
hal-00310194v1
|
|||
Mathematical modelling of growth of Escherichia coli at subinhibitory levels of chloramphenicol or tetracyclinesResearch in Microbiology, 1989, 140 (3), pp.243-254. ⟨10.1016/0923-2508(89)90079-X⟩
Article dans une revue
istex
hal-02332654v1
|
|||
Generic Virtual Memory Management for Operating System KernelsSymp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, ⟨10.1145/74850.74863⟩
Communication dans un congrès
hal-01248228v1
|
|||
Distributed Object-Support Operating Systems and Garbage CollectionWorkshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Communication dans un congrès
inria-00444612v1
|
|||
SWIM: a Natural Interface for the Scientifically Minded Language LearnerComputers and the Humanities, 1989, 23 (4/5), pp.411-422
Article dans une revue
hal-01480003v1
|
|||
Isolation ofSporosarcina ureae from a bronchial biopsy in a child with cystic fibrosisEuropean Journal of Clinical Microbiology and Infectious Diseases, 1990, 9 (4), pp.302-303. ⟨10.1007/bf01968068⟩
Article dans une revue
istex
hal-02332652v1
|
|||
Tools to Study the Efficiency of Space Subdivision Structures for Ray TracingPIXIM, 1989, Paris, France. pp.467-481
Communication dans un congrès
hal-01180228v1
|
|||
Scattering on on a ring of processorsParallel Computing, 1990, 13, pp.377-383
Article dans une revue
hal-00857041v1
|
|||
Recursive filtering and edge closing: two primary tools for 3-D edge detection1st European Conference on Computer Vision (ECCV'90), 1990, Nice, France, France
Communication dans un congrès
inria-00615549v1
|
|||
Using a Linear Viewpoint Determination Algorithm for a Model Based Vision System6th Scandinavian Conference on Image Analysis (SCIA '89), Jun 1989, Oulu, Finland. pp.961--968
Communication dans un congrès
inria-00548468v1
|
|||
Time discretization of the Zakai equation for diffusion processes observed in correlated noiseBensoussan, Alain and Lions, Jacques―Louis. Analysis and Optimization of Systems, Antibes 1990, 144, Springer, pp.228-237, 1990, Lecture Notes in Control and Information Sciences, ⟨10.1007/BFb0120045⟩
Chapitre d'ouvrage
istex
hal-00912046v1
|
|||
|
|
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systemsInformation and Computation, 1990, 88 (2), pp.187-201. ⟨10.1016/0890-5401(90)90015-A⟩
Article dans une revue
hal-02193891v1
|
||
SWIM: un système interactif de génération de phrases assistant l'apprentissage naturelle d'une langue.Journées de Cachan, 1989, Cachan, Unknown Region
Communication dans un congrès
hal-01480001v1
|
|||
See what I Mean? Interactive Sentence Generation as a Way of Visualizing the Meaning-Form RelationshipWCCE-90, 5th World Conference on Computers in Education, pp.1-12, 1990
Chapitre d'ouvrage
hal-01479999v1
|
|||
A fault-Tolerant Implementation of CSP Input-Output CommandsProc. of The Fourth International Conference on Fault-tolerant Computing Systems, 1989, Baden-Baden, Germany. pp.150--162
Communication dans un congrès
hal-01271152v1
|
|||
Performances des communications sur le T-NodeLa Lettre du transputer et des calculateurs distribués, 1990, 7
Article dans une revue
hal-00494989v1
|
|||
Automatic multidimensional segmentation of nuclear medicine images using fast recursive filtersEuropean Journal of Nuclear Medicine, 1990, 16, pp.419
Article dans une revue
inria-00615535v1
|
|||
Rome, multiple and evolutive object representation.Fifth AIICSR Conference, 1989, Slovakia. pp.1-1
Communication dans un congrès
hal-00583872v1
|
|||
Evaluating speedups on distributed memory architecturesParallel Computing, 1989, 10, pp.247-253
Article dans une revue
hal-00857022v1
|
|||
A new systolic architecture for the algebraic path problemSystolic Array Processors, 1989, Unknown, pp.73-82
Communication dans un congrès
hal-00857030v1
|
|||
[Mathematical study of the sensitivity curves of Escherichia coli exposed to polymyxins].Pathologie Biologie, 1990, 38 (5), pp.441-5
Article dans une revue
hal-02332651v1
|
|||
[Value of enzymuria during antibacterial therapy].Pathologie Biologie, 1989, 37 (5 Pt 2), pp.657-63
Article dans une revue
hal-02332656v1
|
|||
Codon usage changes and sequence dissimilarity between human and ratJournal of Molecular Evolution, 1990, 31, pp.81-91
Article dans une revue
hal-00698075v1
|