|
||
---|---|---|
hal-01698372v1
Article dans une revue
Computability of the Avoidance Set and of the Set-Valued Identification Problem Journal of Uncertain Systems, World Academic Press, 2017, 11, pp.129 - 136 |
||
hal-01643297v1
Article dans une revue
Extended overlay architectures for heterogeneous FPGA cluster management Journal of Systems Architecture, Elsevier, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩ |
||
hal-01538135v1
Article dans une revue
La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision Lex Electronica, Centre de recherche en droit public, Université de Montréal, 2017, 22, pp.57-79 |
||
hal-01405531v1
Article dans une revue
A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩ |
||
hal-01657530v1
Communication dans un congrès
Saliency Attention and SIFT Keypoints Combination for Automatic Target Recognition on MSTAR dataset 3rd International Conference on Advanced Technologies for Signal and Image Processing - ATSIP’2017, Mar 2017, fez Morocco. ⟨10.1109/ATSIP.2017.8075558⟩ |
||
hal-01373335v1
Article dans une revue
Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩ |
||
hal-01475251v1
Communication dans un congrès
Soft timing closure for soft programmable logic cores: The ARGen approach ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands |
||
hal-01656613v1
Communication dans un congrès
A Cost-effective Approach for Efficient Time-sharing of Reconfigurable Architectures FPGA4GPC'2017, May 2017, Hambourg, Germany. ⟨10.1109/FPGA4GPC.2017.8008959⟩ |
||
hal-01719919v1
Communication dans un congrès
RACH overload congestion mechanism for M2M communication in LTE-A: issues and approaches 2017 International Symposium on Networks, Computers and Communications (ISNCC), May 2017, Marrakech, Morocco. ⟨10.1109/ISNCC.2017.8071981⟩ |
||
tel-01661569v1
Thèse
software/FPGA co-design for Edge-computing : Promoting object-oriented design Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩ |
||
hal-01961429v1
Communication dans un congrès
Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589 |
||
hal-01516228v1
Article dans une revue
Guaranteed computation of robot trajectories Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩ |
||
hal-01623030v1
Communication dans un congrès
Asserting causal properties in High Level Synthesis 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece |
||
hal-01595789v1
Communication dans un congrès
PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain |
||
hal-01698424v1
Article dans une revue
Thick set inversion Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩ |
||
hal-01655646v1
Communication dans un congrès
MULTI-LOOK PROCESSING FOR COHERENT CHANGE DETECTION WITH SYNTHETIC APERTURE SONAR UACE2017 - 4th Underwater Acoustics Conference and Exhibition, Sep 2017, SKIATHOS ISLAND, Greece |
||
hal-01780556v1
Communication dans un congrès
Using Parallel and Distributed Reachability in Model Checking Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-01559688v1
Communication dans un congrès
A Diagnosis Framework for Critical Systems Verification 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6 |
||
hal-01585318v1
Communication dans un congrès
Towards one Model Interpreter for Both Design and Deployment 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States |
||
tel-01812765v1
Thèse
Localisation et cartographie en simultané fiable, précise et robuste d'un robot sous-marin Robotics [cs.RO]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0066⟩ |
||
hal-01698582v1
Communication dans un congrès
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506 |
||
hal-01624855v7
Rapport
DOA estimation in fluctuating environments: an approximate message-passing approach [Research Report] ENSTA Bretagne; Lab-STICC. 2017 |
||
hal-01756186v1
Communication dans un congrès
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩ |
||
tel-03010085v1
Thèse
Reliable robot localization: a constraint programming approach over dynamical systems Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English |
||
hal-01653617v1
Communication dans un congrès
A High Abstraction Level Constraint for Object Localization in Marine Observatories CSCI 2017, Dec 2017, Las Vegas, United States |
||
|