Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
128 | Daniel Rice, Alicia Borgman, Adam Peloquin, Robert Auer |
Ground Soldier materiel task related encumbrance (MATRE) model creation through the use of ontology building and analysis tools. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
encumbrance, equipment, ground soldier, materiel, ontology, performance, task |
70 | Wen-Yuan Song, Lian Yan Shi, Jianshe Kang |
A Decision Method of Materiel Maintenance Based on Failure Life Cycle. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
maintenance decision, decision optimized, reliability centered maintenance, proactive maintenance, life cycle, root cause analysis |
70 | Michael Saboe |
The Use of Software Quality Metrics in the Materiel Release Process - Experience Report. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Justin M. Rettaliata, Thomas A. Mazzuchi, Shahram Sarkani |
Identifying requirement attributes for materiel and non-materiel solution sets utilizing discrete choice models. |
Inf. Knowl. Syst. Manag. |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Frédéric Le Corre |
CHRYSAOR : un Système Tutoriel Intelligent pour les Environnements Virtuels d'Apprentissage Humain. Application à la formation au matériel de laboratoire en hémostase : application à la formation au matériel de laboratoire en hémostase. (CHRYSAOR : a smart tutorial system for virtual learning environments. Application to training in laboratory equipment in hemostasis). |
|
2013 |
RDF |
|
44 | Brian K. Hobson, Donald W. Kroening |
Cross command collaboration effort (3CE). |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
common distributed environment, cross command modeling & simulation, standards, tools, business processes, data, requirements definition |
26 | Samira Ait Bensaid |
Formal Semantics of Hardware Compilation Framework. (Sémantique formelle d'une infrastructure de compilation matériel). |
|
2023 |
RDF |
|
26 | Minh Thanh Cong |
Hardware accelerated simulation and automatic design of heterogeneous architecture. (Simulation accélérée par matériel et conception automatique d'architectures hétérogènes). |
|
2023 |
RDF |
|
26 | Hernán Humberto Álvarez-Valera |
An energy saving perspective for distributed environments : Deployment, scheduling and simulation with multidimensional entities for Software and Hardware. (Une perspective d'économie d'énergie pour les environnements distribués : Déploiement, planification et simulation avec des entités multidimensionnelles pour les logiciels et le matériel). |
|
2022 |
RDF |
|
26 | Maysam Zoor |
Latency verification in execution traces of HW/SW partitioning model. (Vérification de la latence dans les traces d'exécution de modèle de partitionnement logiciel / matériel). |
|
2021 |
RDF |
|
26 | Julian Leonhard |
Analog hardware security and trust. (Sécurité et confiance du matériel analogique). |
|
2021 |
RDF |
|
26 | Thomas Baumela |
Integrating devices in FPGA using an end-to-end hardware/software co-designedmessage-based approach. (Intégration matériel/logiciel sur FPGA à l'aide d'une stratégie de communication par messages). |
|
2021 |
RDF |
|
26 | Muhammad Imran |
Material Stock Data Extraction using Geographic Imagery in Material Flow Analysis for Urban Infrastructure. (Extraction des données de stock de matériel par l'imagerie géographique dans l'AFM pour l'infrastructure urbaine). |
|
2020 |
RDF |
|
26 | Franck Kamenga |
Combinatorial optimization for integrating rolling stock management and railway trac scheduling in passenger stations. (Optimisation combinatoire intégrée de la gestion du matériel roulant et de la circulation ferroviaire dans les gares de passagers). |
|
2020 |
RDF |
|
26 | Wenlu Yang |
Personalized physiological-based emotion recognition and implementation on hardware. (Reconnaissance des émotions personnalisée à partir des signaux physiologiques et implémentation sur matériel). |
|
2018 |
RDF |
|
26 | Perrin N. Ntafam |
Méthodologie d'identification et d'évitement des cycles de gel du processeur pour l'optimisation de la performance du logiciel sur le matériel. (Avoidance and identification methodology of processor stall cycles for software-on-hardware performance optimization). |
|
2018 |
RDF |
|
26 | Muhammad Abdul Wahab |
Hardware support for the security analysis of embedded software: applications on information flow control and malware analysis. (Support matériel pour l'analyse de sécurité du comportement des applications: application au contrôle de flux d'information et à l'analyse des logiciels malveillants). |
|
2018 |
RDF |
|
26 | Ahmad Audi |
Implantation dans le matériel de fonctionnalités temps-réel dans une caméra intelligente ultralégère spécialisée pour la prise de vue aérienne. (Implementation of real-time functionalities in the hardware of an intelligent ultra-light camera specialized for aerial photography). |
|
2017 |
RDF |
|
26 | Thomas E. Lang, Ronald G. McGarvey |
Determining Reliable Networks of Prepositioning Materiel Warehouses for Public-Sector Rapid Response Supplies. |
Adv. Oper. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Tiening Wang, Shuangshuang Yu, Ning Li, Shengliang Xu, Chao Yun, Qinqin Wang |
Coordinative allocation model and method of equipment maintenance materiel. |
ICACI |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Ali Alhamwi |
Co-design Hardware/Software of Real time Vision System on FPGA for Obstacle Detection. (Conception conjointe matériel/logiciel de système de Vision en temps réel sur le FPGA pour la détection d'Obstacle). |
|
2016 |
RDF |
|
26 | Salaheddine Ouaarab |
Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel. (Protecting the content of externals memories in embedded systems, hardware aspect). |
|
2016 |
RDF |
|
26 | Fabien André |
Exploiting Modern Hardware for High-Dimensional Nearest Neighbor Search. (Exploitation du matériel moderne pour la recherche de plus proche voisin en haute dimensionnalité). |
|
2016 |
RDF |
|
26 | Papa-Sidy Ba |
Détection et Prévention de Cheval de Troie Matériel (CTM) par des Méthodes Orientées Test Logique. (Hardware Trojan Detection and Prevention through Logic Testing). |
|
2016 |
RDF |
|
26 | Alban Bourge |
Changement de contexte matériel sur FPGA entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué. (Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment). |
|
2016 |
RDF |
|
26 | Rodrigo Portella |
L'équilibre entre consommation énergétique, sécurité et surface de circuit dans la conception de matériel cryptographique léger. (Balancing energy, security and circuit area in lightweight cryptographic hardware design). |
|
2016 |
RDF |
|
26 | Benoît Morgan |
Protection des systèmes informatiques vis à vis des malveillances : un hyperviseur de sécurité assisté par le matériel. (Protection of the computer systems face to face hostilities: a hypersight of safety(security) assisted by the material(equipment)). |
|
2016 |
RDF |
|
26 | Guillaume Sarrazin, Nicolas Fournel, Patrice Gerin, Frédéric Pétrot |
Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques. |
Tech. Sci. Informatiques |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Mika Cohen, Michael Minock, Daniel Oskarsson, Björn Pelzer |
Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration. |
CAiSE Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Quoc-Cuong To |
Privacy-Preserving Query Execution using Tamper Resistant Hardware. Design and Performance Considerations. (Exécution de requêtes respectueuses de la vie privée grâce à l'utilisation de matériel sécurisé). |
|
2015 |
RDF |
|
26 | Bohdan Kaluzny, Raman Pall |
Simulating the Repatriation of Canadian Forces Materiel from Afghanistan. |
ICORES |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Mian Muhammad Hamayun |
Simulation Native des Systèmes Multiprocesseurs sur Puce à l'aide de la Virtualisation Assistée par le Matériel. (Native Simulation of Multiprocessor System-on-Chip using Hardware-Assisted Virtualization). |
|
2013 |
RDF |
|
26 | Chiraz Trabelsi |
Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation. (Hardware Control of partially reconfigurable FPGA-systems: from modeling to implementation). |
|
2013 |
RDF |
|
26 | Youenn Corre |
Automated Generation of Heterogeneous Multiprocessor Architectures: Software and Hardware Aspects. (Génération automatique d'architectures multiprocesseurs hétérogènes: aspects logiciel et matériel). |
|
2013 |
RDF |
|
26 | Guillaume Rizk |
Parallelization on graphic hardware : contributions to RNA folding and sequence alignment. (Parallélisation sur matériel graphique : contributions au repliement d'ARN et à l'alignement de séquences). |
|
2011 |
RDF |
|
26 | Jeffrey R. Yost |
Materiel Command and the Materiality of Commands: An Historical Examination of the US Air Force, Control Data Corporation, and the Advanced Logistics System. |
HC |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Quentin L. Meunier |
Étude de deux solutions pour le support matériel de la programmation parallèle dans les multiprocesseurs intégrés : vol de travail et mémoires transactionnelles. (Study of two Solutions for Hardware Support of Parallel Programming in Integrated Multiprocessors: Work-Stealing and Transactional Memory). |
|
2010 |
RDF |
|
26 | Summer E. Bartczak, Jason Turner, Ellen England |
Challenges in Developing a Knowledge Management Strategy: A Case Study of the Air Force Materiel Command. |
Int. J. Knowl. Manag. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Florent de Dinechin |
Matériel et logiciel pour l'évaluation de fonctions numériques :précision, performance et validation. |
|
2007 |
RDF |
|
26 | Yves Bestgen, Sophie Piérard |
Comment évaluer les algorithmes de segmentation automatique ? Essai de construction d'un matériel de référence. |
TALN (Posters) |
2006 |
DBLP BibTeX RDF |
|
26 | Guillaume Duc, Ronan Keryell, Cédric Lauradoux |
CryptoPage : Support matériel pour cryptoprocessus. |
Tech. Sci. Informatiques |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Ferid Gharsalli, Frédéric Rousseau 0001, Ahmed Amine Jerraya |
Conception des interfaces logiciel-matériel pour l'intégration des mémoires globales dans les systèmes monopuces. |
Tech. Sci. Informatiques |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Karim Ben Chehida, Michel Auguin, Sebastien Raimbault |
Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement. |
Tech. Sci. Informatiques |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ferid Gharsalli |
Conception des interfaces logiciel-matériel pour l'intégration des mémoires globales dans les systèmes monopuces. (Hardware-Software Interface Design for Global Memory Intégration in System on Chip). |
|
2003 |
RDF |
|
26 | Brian L. Robey, Pamela K. Fink, Sanjeev Venkatesan, Carol L. Redfield, Jerry W. Ferguson |
DRAIR ADVISER: A Knowledge-Based System for Materiel-Deficiency Analysis. |
AI Mag. |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Brian L. Robey, Pamela K. Fink, Sanjeev Venkatesan, Carol L. Redfield, Jerry W. Ferguson |
The DRAIR Advisor: A Knowledge-Based System for Materiel Deficiency Analysis. |
IAAI |
1993 |
DBLP BibTeX RDF |
|
26 | Souheil Marine |
IRENE : un langage pour la description, simulation et synthèse automatique du matériel VLSI. (IRENE, a language for VLSI hardware description, simulation and automatic synthesis). |
|
1986 |
RDF |
|
26 | Francis Martinez |
Vers une approche systématique de la synthèse d'image : aspects logiciel et matériel. (Towards a systematic approach in image synthesis : software and hardware aspects). |
|
1982 |
RDF |
|
26 | Philippe O. A. Navaux |
Processeur base de données MAGE : aspect matériel. |
|
1979 |
RDF |
|
26 | M. Chimnaud, A. Scrizzi |
Un système de communications: logiciel ou matériel?. |
Symposium on Programming |
1974 |
DBLP DOI BibTeX RDF |
|
22 | Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis |
Modelling defence logistics networks. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
Defence logistics, Modelling experience, CPN support tools, Coloured Petri nets |
22 | Robert M. Lehnherr, Steven E. Strukel |
The air assault expeditionary force (AAEF) experiment: examining the impact of technology on battle command using live, virtual and constructive simulation. |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
air assault expeditionary force (AAEF), army test and evaluation command (ATEC), soldier battle laboratory (SBL), spiral C, virtual, live, constructive |
22 | W. Scott Neal Reilly, Karen A. Harper, Stephen Marotta |
Modeling concurrent, interacting behavior moderators for simulation-based acquisition tasks. |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
IWARS, behavior moderators, human behavior modeling, individual differences, emotion modeling |
22 | Robert J. Harder, Howard C. Higley |
Application of ThinkLets to Team Cognitive Task Analysis. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Jonah Z. Lavi |
ECBS Education and Training Working Group Report . |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
22 | S. Wayne Sherer, Ara Kouchakdjian, Paul Arnold |
Experience Using Cleanroom Software Engineering. |
IEEE Softw. |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
Certification of reusable software components: summary of work in progress. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
reusable software component certification, Air Force, Certification Framework, cost benefit plan, certification tools, prototype, software reusability, business strategies, research and development |
22 | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
Certification of Reusable Software Components: Summary of Work In Progress. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|