Recherche
Accéder directement au contenu
Pied de page
Documentation
FR
Français (FR)
Anglais (EN)
Se connecter
Collection
LAAS-TRUST
Recherche
Loading...
Recherche avancée
Information de documents
Titres
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Type de document
Sous-type de document
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)
Ajouter
Auteur
Auteur (multicritères)
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : personID (entier)
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Ajouter
Structure
Structure (multicritères)
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Structure/équipe de recherche : Pays
Structure/regroupement d'équipes : Pays
Structure/laboratoire : Pays
Structure/regroupement de laboratoires : Pays
Structure/institution : Pays
Structure/regroupement d'institutions : Pays
Ajouter
Autres
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Conférence invitée (oui/non)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme du programme
Projet ANR : Code décision (référence)
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Date de production : année
Date de mise en ligne : année
Date de publication : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Ajouter
Lancer la recherche
Recherche experte (SolR)
Recherche experte (SolR)
Lancer la recherche
Vers la recherche avancée
Déposer
LAAS-TRUST : Trustworthy systems: foundations and practices
Accueil
Présentation LAAS-TRUST
Consultation
Liste des articles
Liste par auteur
Consultation par période
Consultation domaines
Consultation par type de document
Politiques éditoriales
Questions juridiques
Sherpa Romeo
Liens
Equipe TRUST
Département RISC: Réseaux, Informatique, Systèmes de Confiance
LAAS
HAL-LAAS
×
×
×
Loading...
×
Derniers dépôts
Grégor Quétel, Eric Alata, Pierre-François Gimenez, Laurent Pautet, Thomas Robert. A Parser-Based Data Collector for Intrusion Detection.
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
, May 2024, Eppe-Sauvage, France.
⟨hal-04871463⟩
Bernard Berthomieu, Dmitry A Zaitsev. Sleptsov Nets are Turing-complete.
Theoretical Computer Science
, 2024, 986, pp.114346.
⟨10.1016/j.tcs.2023.114346⟩
.
⟨hal-04139308v2⟩
Binqi Sun, Tomasz Kloda, Marco Caccamo. Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems.
Euromicro Conference on Real-Time Systems (ECRTS 2024)
, Jul 2024, Lille, France.
⟨10.4230/LIPIcs.ECRTS.2024.17⟩
.
⟨hal-04803812⟩
Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo. Minimizing cache usage with fixed-priority and earliest deadline first scheduling.
Real-Time Systems
, 2024, 60, pp.625-664.
⟨10.1007/s11241-024-09423-7⟩
.
⟨hal-04803808⟩
Binqi Sun, Tomasz Kloda, Marco Caccamo. Strict Partitioning for Sporadic Rigid Gang Tasks.
IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024)
, May 2024, Hong Kong, China. pp.252-264,
⟨10.1109/RTAS61025.2024.00028⟩
.
⟨hal-04803805⟩
Documents en texte intégral
68
Notices
19
SHERPA/RoMEO
Titre du journal ou ISSN
Éditeur