Skip to Main content Skip to Navigation

tel-01962318v1  Theses
Loic Frazza. 3D anisotropic mesh adaptation for Reynolds Averaged Navier-Stokes simulations.
Modeling and Simulation. Sorbonne Université UPMC, 2018. English
tel-02418551v1  Theses
Sandeep Manandhar. 3D Motion Estimation and Assessment in Fluorescence Microscopy Volume Sequences
Image Processing [eess.IV]. Université de Rennes 1 [UR1], 2019. English
tel-01988073v2  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. PSL Research University, 2018. English. ⟨NNT : 2018PSLEE062⟩
tel-02105743v1  Theses
João Paulo de Araujo. A communication-efficient causal broadcast publish/subscribe system
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université; LIP6 - Laboratoire d'Informatique de Paris 6, 2019. English
tel-00484788v2  Theses
Sebastien Pavel. A Hierarchical Component Model with Interaction Protocols
Software Engineering [cs.SE]. Université de Nantes, 2008. English
tel-00497248v1  Theses
Yu Huafeng. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
tel-02089352v1  Theses
Lina Maria Garcès Rodriguez. A reference architecture for healthcare supportive home systems from a systems-of-systems perspective
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS493⟩
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
tel-00464475v1  Theses
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
tel-02093561v1  Theses
Saad El Jaouhari. A secure design of WoT services for smart cities
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0120⟩
tel-01962082v1  Theses
Rafael Keller Tesser. A Simulation Workflow to Evaluate the Performance of Dynamic Load Balancing with Over-decomposition for Iterative Parallel Applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidade Federal Do Rio Grande Do Sul, 2018. English
tel-02146340v1  Theses
Valdemar Vicente Graciano Neto. A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS489⟩
tel-01813434v1  Theses
Wen Sun. A study of interacting stochastic networks :large scale, long time behavior and fluctuations
Probability [math.PR]. Université Pierre et Marie Curie, 2018. English
tel-00424552v1  Theses
Tristan Le Gall. Abstract lattices for the verification of systèmes with stacks and queues
Software Engineering [cs.SE]. Université Rennes 1, 2008. English
tel-02411487v1  Theses
Andreea Beica. Abstractions of Biochemical Reaction Networks
Quantitative Methods [q-bio.QM]. PSL University, 2019. English