671 results  save search


...
pastel-00005340v1  Theses
Geraldo Silveira Filho. Contributions to direct methods of estimation and control from visual data
domain_other. École Nationale Supérieure des Mines de Paris, 2008. English
...
hal-01650272v1  Conference papers
Jaemin JoJinwook SeoJean-Daniel Fekete. A Progressive k-d tree for Approximate k-Nearest Neighbors
Workshop on Data Systems for Interactive Analysis (DSIA), Oct 2017, Phoenix, United States
...
tel-00750637v1  Theses
Toufik Sarni. Vers une mémoire transactionnelle temps réel
Autre [cs.OH]. Université de Nantes, 2012. Français
...
hal-02427489v1  Conference papers
Saif Un Noor ProttoyDamien SaucezWalid Dabbous. NUTS: Network Updates in Real Time Systems
ACM SOSR 2019 - Symposium on SDN Research, Apr 2019, San Jose, United States
...
hal-02430883v1  Conference papers
Saad El JaouhariPatrick HardyGuillaume PasquierPierrick GuitterEric Poiseau et al.  World First Retransmission of Medical Images in an Operating Room via DICOM-RTV: Technical Details
COMPSAC 2019 - 43rd IEEE Annual Computer Software and Applications Conference, Jul 2019, Milwaukee, United States. pp.294-299, ⟨10.1109/COMPSAC.2019.10222⟩
inria-00100019v1  Book sections
Vincent DebruyneFrançoise Simonot-LionYvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
inria-00100020v1  Conference papers
Vincent DebruyneFrançoise Simonot-LionYvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
IFIP Workshop on Architecture Description Languages 2004 - WADL'04, 2004, Toulouse/France, pp.53-62
inria-00100119v1  Reports
Ning Jia. Politiques (m,k)-firm et combinatoire des mots
[Stage] A04-R-411 || jia04a, 2004
inria-00100461v1  Conference papers
Paolo CastelpietraYe-Qiong SongFrançoise Simonot-LionMondher Attia. Carosse-Perf: A Modular Approach For Simulation Of In-Vehicle Embedded Architectures
15th European Simulation Multiconference - ESM'2001, SCS, 2001, Prague/Czech Republic, pp.453-460
...
tel-00752388v1  Theses
Loeïz Glondu. Physically-based and Real-time Simulation of Brittle Fracture for Interactive Applications
Modeling and Simulation. École normale supérieure de Cachan - ENS Cachan, 2012. English
inria-00100137v1  Conference papers
Nicolas NavetBruno Gaujal. Optimizing the configuration of X-by-Wire networks using word combinatorics
EPFL Network Calculus Group Seminar, 2004, Lausanne/Suisse
inria-00100131v1  Conference papers
Ye-Qiong Song. Guaranteeing real-time QoS according to (m,k)-firm model
1st French Taiwanese Conference in Information Technologies, LIX, école polytechnique, Apr 2004, Paris/France, 20 p
inria-00100263v1  Conference papers
Mohamed KhalguiXavier RebeufFrançoise Simonot-Lion. A behavior model for IEC 61499 function blocks
Third Workshop on Modelling of Objects, Components, and Agents 2004 - MOCA'04, 2004, Aarhus/Denmark, 17 p
inria-00600937v1  Conference papers
Kondo-Hloindo Adjallah. Cumulative diagnosis strategy for predictive maintenance decision support
International Conference on Computers and Industrial Engineering - CIE'39, Jul 2009, Troyes, France. pp.1216 - 1219, ⟨10.1109/ICCIE.2009.5223731⟩
inria-00600944v1  Conference papers
Kondo-Hloindo Adjallah. Requirements and issues of data and Information for the decision support in industrial asset management
International Conference on Computers and Industrial Engineering - CIE'39, Jul 2009, Troyes, France
...
hal-01250010v1  Conference papers
Raul GorcitzEmilien KofmanThomas CarleDumitru Potop-ButucaruRobert de Simone. On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
13th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2015, Madrid, Spain. ⟨10.1007/978-3-319-22975-1_8⟩
...
inria-00102208v1  Conference papers
Olfa MosbahiJacques JarayLeila Jemni Ben Ayed. A Formal Development Method of Control Systems using Event B Approach
4th ACS/IEEE International Conference on Computer Systems and Applications, Mar 2006, DUBAI
...
inria-00301410v1  Conference papers
Ales PlsekFrédéric LoiretLionel SeinturierPhilippe Merle. A Component Framework for Java-based Real-time Embedded Systems
ACM/IFIP/USENIX 9th International Middleware Conference, Dec 2008, Leuven, Belgium. pp.124-143
...
hal-01252832v1  Conference papers
Sylvain CastagnosAmaury L 'HuillierAnne Boyer. Toward a Robust Diversity-Based Model to Detect Changes of Context
27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), Nov 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.84⟩
...
hal-01053836v1  Conference papers
Christopher TrapaniJosé-Manuel Echeveste. Real Time Tempo Canons with Antescofo
International Computer Music Conference, Sep 2014, Athens, Greece. pp.207
...
tel-00011153v1  Theses
Cyril Duron. Ordonnancement en temps réel des activités des radars
Automatique / Robotique. Université de Metz, 2002. Français