Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Filters
Author: IdHal (string) ×
All ×
17 results
save search
Document types
Reports
(10)
Conference papers
(5)
Journal articles
(1)
Videos
(1)
Author
Patrice Frison
(17)
Michel Adam
(2)
Françoise André
(1)
Jean-Pierre Banâtre
(1)
François Charot
(1)
Moncef Daoud
(2)
D. Deveaux
(1)
Pierrick Gachet
(1)
Eric Gautrin
(1)
Jean-Marc Jézéquel
(1)
Dominique Lavenier
(1)
Dominique Lavenier
(3)
Eric Picheral
(1)
Patrice Quinton
(5)
Frédéric Raimbault
(1)
Hélène Richy
(1)
Jean-Luc Scharbarg
(2)
Subject field
Computer Science [cs]
(16)
Humanities and Social Sciences
(1)
Laboratory
Institut de Recherche en Informatique et Systèmes Aléatoires
(17)
INRIA Rennes
(10)
Inria Rennes – Bretagne Atlantique
(2)
Inria Grenoble - Rhône-Alpes
(1)
Language
English
(9)
French
(8)
Type of deposit
Fulltext
(12)
Notice
(5)
Year
2018
(2)
2015
(2)
2014
(1)
2012
(1)
2001
(1)
1993
(1)
1991
(1)
1990
(1)
1989
(1)
1987
(1)
1986
(1)
1984
(1)
1983
(2)
1982
(1)
Search
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
ANR project: Call Acronym
ANR project: Project call name
ANR project: Reference
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Successfully saved
My saved searches / my alerts
An error occurred while saving
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
inria-00074995
v1
Reports
Patrice Frison
,
Eric Picheral
,
Hélène Richy
.
Integration d'un correcteur orthographique dans l'editeur structure GRIF
[Rapport de recherche] RR-1566, INRIA. 1991
hal-01753119
v1
Conference papers
Patrice Frison
,
Moncef Daoud
,
Michel Adam
.
Transition didactique de l’activité débranchée à la programmation avec AlgoTouch
Didapro 7 – DidaSTIC. De 0 à 1 ou l’heure de l’informatique à l’école
, Feb 2018, Lausanne, Suisse. pp.1-17
hal-00794320
v1
Conference papers
Jean-Marc Jézéquel
,
D. Deveaux
,
Patrice Frison
.
Increase software trustability with self-testable classes in Java
Proceedings of ASWEC 2001
, Aug 2001, Canberra, Australia
inria-00074576
v1
Reports
Dominique Lavenier
,
Frédéric Raimbault
,
Patrice Frison
.
I/O and computation overlap on SIMD systolic arrays
[Research Report] RR-2096, INRIA. 1993
inria-00075331
v1
Reports
Patrice Frison
,
Eric Gautrin
,
Dominique Lavenier
,
Jean-Luc Scharbarg
.
Réseaux systoliques spécifiques à base du processeur API15C
[Rapport de recherche] RR-1227, INRIA. 1990
inria-00075564
v1
Reports
Dominique Lavenier
,
Jean-Luc Scharbarg
,
Patrice Frison
.
Architecture systolique pour la correction automatique de libelle d'adresse
[Rapport de recherche] RR-0995, INRIA. 1989
hal-01691742
v1
Conference papers
Michel Adam
,
Moncef Daoud
,
Patrice Frison
.
Transition didactique de l'activité débranchée à la programmation avec AlgoTouch
Didapro 7 – DidaSTIC
, Feb 2018, Lausanne, Suisse
inria-00075771
v1
Reports
Patrice Frison
,
Dominique Lavenier
.
A systolic machine for string correction
[Research Report] RR-0780, INRIA. 1987
inria-00075976
v1
Reports
Patrice Frison
,
Pierrick Gachet
,
Patrice Quinton
.
Designing systolic arrays with diastol
[Research Report] RR-0578, INRIA. 1986
inria-00076225
v1
Reports
François Charot
,
Patrice Frison
,
Patrice Quinton
.
Systolic architectures for connected speech recognition
[Research Report] RR-0332, INRIA. 1984
inria-00076343
v1
Reports
Patrice Frison
.
Un processeur pour la reconnaissance de la parole
[Rapport de recherche] RR-0215, INRIA. 1983
inria-00076412
v1
Reports
Jean-Pierre Banâtre
,
Patrice Frison
,
Patrice Quinton
.
Un algorithme systolique pour la reconnaissance de mots connectes
[Rapport de recherche] RR-0148, INRIA. 1982
inria-00076344
v1
Reports
Françoise André
,
Patrice Frison
,
Patrice Quinton
.
Algorithmes systoliques de la theorie a la pratique
[Rapport de recherche] RR-0214, INRIA. 1983
hal-01139077
v1
Conference papers
Patrice Frison
.
A Teaching Assistant for Algorithm Construction
ITICSE '15 Innovation and Technology in Computer Science Education Conference 2015
, Jul 2015, Vilnius, Lithuania.
⟨10.1145/2729094.2742588⟩
hal-01194567
v1
Conference papers
Patrice Frison
.
AlgoTouch: a programming by demonstration tool for teaching algorithms
ITiCSE'2014 Innovation and Technology in Computer Science Education
, Jun 2014, Uppsala, Sweden.
⟨10.1145/2591708.2602654⟩
medihal-01198801
v1
Videos
Patrice Frison
.
Creating a loop with AlgoTouch
2015
hal-01194815
v1
Journal articles
Patrice Frison
,
Patrice Quinton
.
Parallel integrated circuits at Irisa in the 80's
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques
, Lavoisier, 2012, 31, pp.959-968.
⟨10.3166/tsi.31.959-968⟩
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Save
Cancel
Label
Compulsory field(s) not filled in.