Skip to Main content Skip to Navigation


hal-01259906v1  Journal articles
Dingqi YangDaqing ZhangLongbiao ChenBingqing Qu. NationTelescope: monitoring and visualizing large-scale collective behavior in LBSNs
Journal of Network and Computer Applications (JNCA), Elsevier, 2015, 55, pp.170 - 180. ⟨10.1016/j.jnca.2015.05.010⟩
inria-00638305v1  Conference papers
Gregor von BochmannStefan HaarClaude JardGuy-Vincent Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata
Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. pp.169-183, ⟨10.1007/978-3-540-68524-1_13⟩
inria-00638306v1  Conference papers
Stefan HaarClaude JardGuy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata
Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. pp.171-185, ⟨10.1007/978-3-540-73066-8_12⟩
inria-00446942v1  Conference papers
Yaset OlivaJean-Christophe PrévotetFabienne NouvelSébastien PillementDaniel Chillet. Exploration for Dynamic Reconfiguration Management
Sophia Antipolis MicroElectronics Forum, SAME 2009, Sep 2009, Nice, France
hal-00741728v1  Conference papers
Fabrice LemonnierP. MilletGabriel Marchesan AlmeidaMichael HuebnerJurgen Becker et al.  Towards Future Adaptive Multiprocessor Systems-On-Chip: an Innovative Approach for Flexible Architectures
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Jul 2012, Samos, Greece
inria-00430950v1  Conference papers
Sébastien PillementDaniel ChilletYaset OlivaJean-Christophe Prévotet. High-Level Exploration for Dynamic Reconfiguration Management
Engineering of Reconfigurable Systems and Algorithms, Jun 2009, Las Vegas, United States
inria-00549107v1  Journal articles
F. Janabi-SharifiM. Marey. A Kalman-Filter-Based Method for Pose Estimation in Visual Servoing
IEEE Transactions on Robotics, IEEE, 2010, 26 (5), pp.939-947
hal-00876132v1  Conference papers
Karthick ParasharDaniel MenardOlivier Sentieys. A Polynomial Time Algorithm for Solving the Word-length Optimization Problem
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov 2013, San Diego, United States
ujm-00985443v1  Conference papers
Fang CaoCharles-Alban DeledalleJean-Marie NicolasFlorence TupinLoïc Denis et al.  Influence of Speckle Filtring of Polarimetric SAR Data on Different Classification Methods
International Geoscience and Remote Sensing Symposium, Jul 2011, Vancouver, Canada. pp.1052 - 1055, ⟨10.1109/IGARSS.2011.6049376⟩
inria-00329941v1  Conference papers
Erwan Le MerrerAnne-Marie KermarrecGilles TrédanBruno Sericola. Evaluating the Quality of a Network Topology through Random Walks
DISC 2008: 22nd International Symposium on Distributed Computing, Sep 2008, Arcachon, France. pp.509--511, ⟨10.1007/978-3-540-87779-0⟩
inserm-00804377v1  Conference papers
Sylvain PrimaOlivier Commowick. Using bilateral symmetry to improve non-local means denoising of MR brain images
10th IEEE International Symposium on Biomedical Imaging: From Nano to Macro (ISBI'2013), Apr 2013, San Francisco, United States. pp.1-8, ⟨10.1109/ISBI.2013.6556703⟩
inserm-00625192v1  Journal articles
Bernard Gibaud. The quest for standards in medical imaging.
European Journal of Radiology, Elsevier, 2011, 78 (2), pp.190-8. ⟨10.1016/j.ejrad.2010.05.003⟩
hal-01472914v1  Conference papers
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
inria-00463802v1  Conference papers
Yves Moinard. About the computation of forgetting symbols and literals
NMR 2006 ( 11th Workshop on Non-monotonic Reasoning), 2006, Lake District, United Kingdom. pp.209--217
inria-00429682v1  Conference papers
Rachid GuerraouiKévin HugueninAnne-Marie KermarrecMaxime Monod. Short Paper: On Tracking Freeriders in Gossip Protocols
9th IEEE International Conference on Peer to Peer Computing (P2P), Sep 2009, Seattle, WA, United States. ⟨10.1109/P2P.2009.5284543⟩
hal-00876141v1  Conference papers
Muhammad Mahtab AlamOlivier BerderDaniel MenardOlivier Sentieys. On the Energy Savings of Adaptive Transmit Power for Wireless Sensor Networks Radio Transceivers
26th International Conference on Architecture of Computing Systems (ARCS), Feb 2013, Prague, Czech Republic
hal-00741789v1  Conference papers
Istas PratomoSébastien Pillement. Gradient - An Adaptive Fault-tolerant Routing Algorithm for 2D Mesh Network-on-Chips
Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany
hal-00741791v1  Conference papers
Istas PratomoSébastien Pillement. Impact of Design Parameters on Performance of Adaptive Network-on-Chips
Dynamic Reconfigurable Network-on-Chip, Jul 2012, Madrid, Spain
inria-00463004v1  Journal articles
Yves Moinard. Forgetting literals with varying propositional symbols
Journal of Logic and Computation, Oxford University Press (OUP), 2007, 17 (5), pp.955--982
hal-01113243v1  Conference papers
Eduardo SilvaEverton CalvacanteThais BatistaFlavio OquendoFlavia Delicato et al.  On the Characterization of Missions of Systems-of-Systems
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642829⟩
hal-01093052v1  Journal articles
Virginia CostaAntonio MucherinoCarlile LavorAndrea CassioliLuiz Mariano Carvalho et al.  Discretization Orders for Protein Side Chains
Journal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.333-349
hal-01093056v1  Journal articles
Leo LibertiCarlile LavorNelson MaculanAntonio Mucherino. Euclidean Distance Geometry and Applications
SIAM Review, Society for Industrial and Applied Mathematics, 2014, 56 (1), pp.3-69
hal-01440881v1  Conference papers
Jesús PortocarreroFlavia C. DelicatoPaulo F. PiresElisa NakagawaFlavio Oquendo. Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. ⟨10.1145/2797433.2797445⟩
hal-00908593v1  Conference papers
Edouard Canot. DAE solver and symbolic computation
Journée Défis Applicatifs de l'ANDRA, AE-HPC, Apr 2013, Châtenay-Malabry, France
hal-01113407v1  Journal articles
Frederico LopesFlavia C. DelicatoThais BatistaEverton CavalcanteThiago Pereira et al.  OpenCOPI: Middleware Integration for Ubiquitous Computing
International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2013, 29 (2), pp.178-212. ⟨10.1080/17445760.2013.831415⟩
hal-01113408v1  Journal articles
Rosane S. HuergoPaulo F. PiresFlavia C. DelicatoBruno CostaEverton Cavalcante et al.  A Systematic Survey of Service Identification Methods
Service Oriented Computing and Applications, Springer, 2014, 8 (3), pp.199-219. ⟨10.1007/s11761-014-0161-y⟩
hal-00758039v1  Journal articles
Edmundo de Souza E SilvaRosa Maria LeãoRaymond A. Marie. Efficient Transient Analysis of Markovian Models using a Block Reduction Approach
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2013, 25 (4), pp.743-757. ⟨10.1287/ijoc.1120.0537⟩
hal-01440890v1  Conference papers
Bruno CostaPaulo F. PiresFlávia C. DelicatoFlavio Oquendo. Towards a View-Based Process for Designing and Documenting RESTful Service Architectures
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia
inria-00461386v1  Conference papers
Xavier Le GuillouMarie-Odile CordierSophie RobinLaurence Roze. Chronicles for On-line Diagnosis of Distributed Systems
ECAI'08 (18th European Conference on Artificial Intelligence), Jul 2008, Patras, Greece
inria-00600289v1  Conference papers
André Lage FreitasNikos ParlavantzasJean-Louis Pazat. Cost Reduction Through SLA-driven Self-Management
European Conference on Web Services (ECOWS), Sep 2011, Lugano, Switzerland. ⟨10.1109/ECOWS.2011.23⟩
hal-01479797v1  Journal articles
Xavier LucianiLaurent Albera. Joint Eigenvalue Decomposition of Non-Defective Matrices Based on the LU Factorization With Application to ICA
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2015, 63 (17), pp.4594-4608. ⟨10.1109/TSP.2015.2440219⟩
hal-01095887v1  Book sections
Matthieu GautierEmmanuel CasseauHervé YviquelGanda Stephane OuedraogoRaulet Mickaël et al.  Rapid Prototyping for Video Coding over Flexible Radio Links
Multimedia over Cognitive Radio Networks : Algorithms, Protocols, and Experiments, CRC Press, 2014
hal-01121500v1  Conference papers
Nehmeh RihamDaniel MenardAndrei BanciuThierry MichelRomuald Rocher. A Fast Method for Overflow Effect Analysis in Fixed-point Systems
Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2014, Madrid, Spain
inria-00460684v1  Conference papers
Xavier Le GuillouMarie-Odile CordierSophie RobinLaurence Rozé. Monitoring WS-CDL-based choreographies of Web Services
DX'09 (20th International Worshop On Principles of Diagnosis), 2009, Stockholm, Sweden, Sweden
hal-01113382v1  Conference papers
Paulo PiresEverton CavalcanteThomaz BarrosFlavia C. DelicatoThais Batista et al.  A Platform for Integrating Physical Devices in the Internet of Things
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014), Aug 2014, Milan, Italy. ⟨10.1109/EUC.2014.42⟩
hal-01113406v1  Conference papers
Pedro MaiaEverton CavalcantePorfírio GomesThais BatistaFlavia C. Delicato et al.  On the Development of Systems-of-Systems based on the Internet of Things: A Systematic Mapping
Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. ⟨10.1145/2642803.2642828⟩
hal-01113410v1  Journal articles
Pedro MaiaThais BatistaEverton CavalcanteAugusto BaffaFlavia C. Delicato et al.  A Web Platform for Interconnecting Body Sensors and Improving Health Care
Procedia Computer Science, Elsevier, 2014, Fourth International Conference on Selected Topics in Mobile & Wireless Networking (MoWNet'2014), 40, pp.135-142. ⟨10.1016/j.procs.2014.10.041⟩
inria-00463796v1  Conference papers
Philippe BesnardMarie-Odile CordierYves Moinard. Configurations for Inference between Causal Statements
KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management), 2006, Guilin, China. pp.292--304
inria-00534527v1  Conference papers
Karthick ParasharDaniel MenardRomuald RocherOlivier SentieysDavid Novo et al.  Fast Performance Evaluation of Fixed-Point Systems with Un-Smooth Operators
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov 2010, San Jose, United States