Skip to Main content Skip to Navigation

ensl-00766801v1  Conference papers
Eric DutisseuilJean-Marc TanguyAdrian VoicilaRémi LaubeFrancois Bore et al.  34 Gb/s PDM-QPSK coherent receiver using SiGe ADCs and a single FPGA for digital signal processing
Optical Fiber Communication Conference, Mar 2012, nc, United States. pp.OM3H.7
hal-00701758v1  Conference papers
Rozenn Bouville BerthelotJérôme RoyanThierry DuvalBruno Arnaldi. 3DFC: a new container for 3D file formats compositing
Web3D 2012 (17th International Conference on 3D Web technology), Aug 2012, Los Angeles, United States. pp.27-36
hal-00875758v1  Journal articles
Claudio ValenzuelaBroderick CrawfordRicardo SotoEric MonfroyFernando Paredes. A 2-level metaheuristic for the set covering problem.
International Journal of Computers, Communications and Control, Agora University of Oradea, 2012, 7 (2), pp.377-387
hal-00767036v1  Conference papers
Claire-Hélène DemartyCédric PenetGuillaume GravierMohammad Soleymani. A benchmarking campaign for the multimodal detection of violent scenes in movies
European Conference on Computer Vision, Workshop on Information Fusion in Computer Vision for Concept Recognition, 2012, Italy
hal-00734449v1  Conference papers
Eugen FellerChristine MorinArmel Esnault. A Case for Fully Decentralized Dynamic VM Consolidation in Clouds
4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Dec 2012, Taipei, Taiwan
hal-00771641v1  Conference papers
Sofiene JelassiGerardo Rubino. A Case Study of Listening Quality of Temporally Interrupted VoIP Service
Proc. IEEE GlobeCom 2012, Dec 2012, Anaheim, CA, United States
hal-00734216v1  Journal articles
Manuel WimmerSalvador MartínezFrédéric JouaultJordi Cabot. A Catalogue of Refactorings for Model-to-Model Transformations
The Journal of Object Technology, Chair of Software Engineering, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩
hal-00714373v1  Conference papers
Jonathan MarchandBenoit CombemaleBenoit Baudry. A Categorical Model of Model Merging and Weaving
MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland
inria-00540648v3  Reports
Benoit CombemaleXavier CrégutMarc Pantel. A Design Pattern for Executable DSML
[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
hal-00739332v1  Conference papers
Benoit CombemaleXavier CrégutMarc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
hal-00743413v1  Journal articles
Jean Charles NaudDaniel MenardGabriel CaffarenaOlivier Sentieys. A Discrete Model for Correlation Between Quantization Noises
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2012
hal-00713769v1  Conference papers
François FouquetOlivier BaraisNoël PlouzeauJean-Marc JézéquelBrice Morin et al.  A Dynamic Component Model for Cyber Physical Systems
15th International ACM SIGSOFT Symposium on Component Based Software Engineering, Jul 2012, Bertinoro, Italy
hal-00752644v1  Conference papers
Timo StripfOliver OeyThomas BruckschloeglRalf KoenigMichael Huebner et al.  A Flexible Approach for Compiling Scilab to Reconfigurable Multi-Core Embedded Systems
International Workshop on Reconfigurable Communication-centric Systems-on-Chip, Jul 2012, york, United Kingdom. pp.1-8
inserm-00669682v1  Journal articles
Florent LalysLaurent RiffaudDavid BougetPierre Jannin. A framework for the recognition of high-level surgical tasks from video images for cataract surgeries.
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2012, 59 (4), pp.966-76. ⟨10.1109/TBME.2011.2181168⟩
hal-00725180v1  Conference papers
Luis GuijarroVicent PlaBruno TuffinPatrick MailléPierre Coucheney. A game theory-based analysis of search engine non-neutral behavior
NGI 2012: 8th Euro-NF Conference on Next Generation Internet, Jun 2012, Karlskrona, Sweden. pp.1-6
hal-00626962v4  Journal articles
Alexey OzerovEmmanuel VincentFrédéric Bimbot. A General Flexible Framework for the Handling of Prior Information in Audio Source Separation
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2012, 20 (4), pp.1118 - 1133. ⟨10.1109/TASL.2011.2172425⟩
hal-00655398v1  Conference papers
Laurent SimonEmmanuel Vincent. A general framework for online audio source separation
International conference on Latent Variable Analysis and Signal Separation, Mar 2012, Tel-Aviv, Israel
hal-00656613v1  Conference papers
Kamil AdilogluEmmanuel Vincent. A General Variational Bayesian Framework for Robust Feature Extraction in Multisource Recordings
IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2012, Kyoto, Japan
hal-00684620v1  Journal articles
Kamil AdilogluAnniés RobertWahlen ElioPurwins HendrikObermayer Klaus. A Graphical Representation and Dissimilarity Measure for Basic Everyday Sound Events
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2012, 20 (5), pp.1542-1552
hal-00726166v1  Conference papers
Laurent MicletNelly BarbotBaptiste Jeudy. A Lattice of Sets of Alignments Built on the Common Subword in a Finite Language
International Conference on Grammatical Inference, Sep 2012, United States. pp.164-176
hal-00685504v1  Conference papers
Omar ChebaroNikolai KosmatovNicky WilliamsBernard BotellaMuriel Roger. A lesson on structural testing with
6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
hal-00718716v1  Journal articles
Alysson BessaniRüdiger KapitzaDana PetcuPaolo RomanoSpyridon V. Gogouvitis et al.  A look to the old-world sky: EU-funded dependability cloud computing research
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2), pp.43-56. ⟨10.1145/2331576.2331584⟩
hal-00668975v1  Conference papers
Diana AllamRémi DouenceHervé GrallJean-Claude RoyerMario Südholt. A Message-Passing Model for Service Oriented Computing
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
hal-00767449v1  Conference papers
Chen NanxingCésar VihoChelly Fahmi. A Methodology for Passive Interoperability Testing: Application to SIP protocol
11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algeria
hal-00757174v1  Journal articles
Karima SedkiVéronique Delcroix. A model based on influence diagrams for multi-criteria decision making
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2012, 21 (4), pp.1250018. ⟨10.1142/S0218213012500182⟩
hal-00754044v1  Conference papers
Nicolas BeldiceanuHelmut Simonis. A Model Seeker: Extracting Global Constraint Models from Positive Examples
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.141-157, ⟨10.1007/978-3-642-33558-7_13⟩
hal-00754341v1  Conference papers
Helmut SimonisNicolas Beldiceanu. A Model Seeker: Extracting Global Constraint Models From Positive Examples
First workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France
hal-00796221v1  Conference papers
Tam Le NhanGerson SunyéJean-Marc Jézéquel. A Model-Based Approach for Optimizing Power Consumption of IaaS
IEEE NCCA 2012 IEEE Second Symposium on Network Cloud Computing and Applications, Dec 2012, London, United Kingdom. pp.978-0-7695-4943-9/12, ⟨10.1109/NCCA.2012.22⟩
hal-00734230v1  Conference papers
Salvador MartínezJoaquin Garcia‐alfaroCuppens FrédéricNora Cuppens-BoulahiaJordi Cabot. A model-driven approach for the extraction of network access-control policies
Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria
inria-00592132v3  Conference papers
Nicolas Tabareau. A Monadic Interpretation of Execution Levels and Exceptions for AOP
Modularity: AOSD'12, Mar 2012, Postdam, Germany
hal-00773336v1  Conference papers
Héctor CancelaFranco RobledoGerardo RubinoPablo Sartor. A Monte Carlo Sampling Plan for Estimating Diameter-dependent Network Parameters
Proceedings of the 4th International Workshop on Reliable Networks Design and Modeling, Oct 2012, St. Petersburg, Russia. pp.129-134
hal-01093851v1  Conference papers
Géraldine PichotBaptiste PoirriezJocelyne ErhelJean-Raynald de Dreuzy. A Mortar BDD method for solving flow in stochastic discrete fracture networks
Domain Decomposition Methods (DD21), SAGE team, Inria Rennes and LMNO, Caen, Jun 2012, Rennes, France
hal-00727791v2  Poster communications
The Music Information Retrieval Evaluation eXchange (MIREX), ISMIR 2012, Oct 2012, Porto, Portugal
hal-00702689v2  Conference papers
Teddy FuronPatrick Bas. A New Measure of Watermarking Security Applied on DC-DM QIM
IH - Information Hiding, May 2012, Berkeley, United States. pp.TBA
inserm-00858206v1  Conference papers
Aymeric StammPatrick PérezChristian Barillot. A new multi-directional fiber model for low angular resolution diffusion imaging
International Society for Magnetic Resonance in Medicine, May 2012, Australia. pp.908
inserm-00858205v1  Conference papers
Aymeric StammPatrick PérezChristian Barillot. A new multi-fiber model for low angular resolution diffusion MRI
International Symposium on Biomedical Imaging, May 2012, Spain. pp.936-9
hal-00750586v1  Conference papers
Andrea CherubiniFabien SpindlerFrançois Chaumette. A New Tentacles-based Technique for Avoiding Obstacles during Visual Navigation
ICRA: International Conference on Robotics and Automation, May 2012, St. Paul, Minnesota, United States. pp.4850-4855
hal-00753118v1  Journal articles
Sofiane MoadKamel MoadYassine Hadjadj-AoulAomar Maddi. A Novel Probability Function for Energy-Efficient Clustering Protocol in Wireless Sensor Networks
International Journal of Sensors, Wireless Communications and Control, Bentham Science, 2012, 2 (2), pp.130-141
hal-00767451v1  Conference papers
Chen NanxingCésar Viho. A Passive Interoperability Testing Approach to Constrained Application Protocol
15th CFIP (Colloque francophone sur l'ingénierie des protocoles) and 11th NOTERE (Nouvelles Technologies de la Répartition) NOTERE/CFIP, Oct 2012, Anglet, France
hal-00677842v1  Conference papers
Radu TudoranAlexandru CostanGabriel AntoniuLuc Bougé. A Performance Evaluation of Azure and Nimbus Clouds for Scientific Applications
CloudCP 2012 -- 2nd International Workshop on Cloud Computing Platforms, Held in conjunction with the ACM SIGOPS Eurosys 12 conference, Apr 2012, Bern, Switzerland
hal-01087824v1  Conference papers
Cyrille JegourelAxel LegaySean Sedwards. A Platform for High Performance Statistical Model Checking – PLASMA
TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. pp.498 - 503, ⟨10.1007/978-3-642-28756-5_37⟩
hal-00690717v1  Conference papers
Ismael FigueroaÉric TanterNicolas Tabareau. A Practical Monadic Aspect Weaver
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
hal-00764706v1  Conference papers
Viet Hoa NguyenFrançois FouquetNoël PlouzeauOlivier Barais. A Process for Continuous Validation of Self-Adapting Component Based Systems
7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria
hal-00644262v1  Conference papers
Marin BertierMarko ObrovacCédric Tedeschi. A Protocol for the Atomic Capture of Multiple Molecules at Large Scale
13th International Conference on Distributed Computing and Networking, Jan 2012, Hong-Kong, China
hal-00786933v1  Conference papers
Yann GlouchePaul Couderc. A robust RFID inventory
Smart SysTech 2012 : European Conference on Smart Objects, Systems and Technologies, Jun 2012, Munich, Germany
hal-01087988v1  Conference papers
Uli FahrenbergAxel Legay. A Robust Specification Theory for Modal Event-Clock Automata
FIT 2012 - 4th International Workshop on Foundations of Interface Technologies, Mar 2012, Tallinn, Estonia. pp.5 - 16, ⟨10.4204/EPTCS.87.2⟩
hal-00754043v1  Conference papers
Arnaud LetortNicolas BeldiceanuMats Carlsson. A Scalable Sweep Algorithm for the cumulative Constraint
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.439-454, ⟨10.1007/978-3-642-33558-7_33⟩
hal-00752606v1  Conference papers
Vivek Tovinakere DwarakanathOlivier SentieysSteven Derrien. A semiempirical model for wakeup time estimation in power-gated logic clusters
The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA, June 3-7, 2012, Jun 2012, San Fransisco, United States. pp.48-55
hal-00733082v1  Conference papers
Michel RaynalJulien Stainer. A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets
CISIS 2012 - Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, 2012, Palerme, Italy. pp.357-364
tel-00768862v1  Theses
Andrei Banciu. A Stochastic Approach For The Range Evaluation
Signal and Image processing. Université Rennes 1, 2012. English. ⟨NNT : 2012REN1E002⟩
hal-00722940v1  Conference papers
George GiakkoupisPhilipp Woelfel. A tight RMR lower bound for randomized mutual exclusion
STOC - 44th ACM Symposium on Theory of Computing, May 2012, New York, United States
hal-00684717v1  Conference papers
Moussa AmraniLevi LucioGehan SelimBenoit CombemaleJürgen Dingel et al.  A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-01093857v1  Conference papers
Thomas Dufaud. A two-level preconditioning framework based on a Richardson iterative process
Domain Decomposition Methods (DD21), SAGE team, Inria Rennes and LMNO, Caen, Jun 2012, Rennes, France
hal-00705289v1  Conference papers
Chen WangJean-Louis Pazat. A Two-Phase Online Prediction Approach for Accurate and Timely Adaptation Decision
International Conference on Service Computing, IEEE, Jun 2012, honolulu, Hawaii, United States
hal-00668999v1  Conference papers
Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
hal-00726121v1  Conference papers
Xavier DevroeyMaxime CordyGilles PerrouinEun-Young KangPierre-Yves Schobbens et al.  A Vision for Behavioural Model-Driven Validation of Software Product Lines
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
hal-00756984v1  Conference papers
Wael CherifAdlen KsentiniDaniel NegruMamadou Sidebe. A_PSQA: PESQ-like non-intrusive tool for QoE prediction in VoIP services
IEEE International Conference on Communication (ICC), Jun 2012, Ottawa, Canada
hal-01699341v1  Conference papers
Loïg JezequelEric Fabre. A#: A distributed version of A* for factored planning
CDC 2012 - IEEE 51st Annual Conference on Decision and Control, Dec 2012, Maui, United States. ⟨10.1109/CDC.2012.6426187⟩
hal-00740992v1  Book sections
Zein Al Abidin IbrahimPatrick Gros. About TV Stream Macro-Segmentation: Approaches and Results
Kompatsiaris, Yiannis and Merialdo, Bernard and Lian, Shiguo. TV Content Analysis: Techniques and Applications, CRC Press, 2012, 978-1-4398-5560-7. ⟨10.1201/b11723-10⟩
hal-00639983v1  Journal articles
Julie JaquiérySolenn StoeckelC. RispeLucie MieuzetFabrice Legeai et al.  Accelerated evolution of sex chromosomes in aphids, an X0 system.
Molecular Biology and Evolution, Oxford University Press (OUP), 2012, 29 (2), epub ahead of print. ⟨10.1093/molbev/msr252⟩
hal-01363562v1  Conference papers
Guillaume ChapuisOlivier FilangiJean Michel ElsenDominique LavenierPascale Le Roy. Accelerating QTL mapping with graphics cards
Journées Ouvertes en Biologie, Informatique et Mathématiques - JOBIM 2012, Jul 2012, Rennes, France. 516 p
tel-00847076v1  Theses
Naeem Abbas. Acceleration of a bioinformatics application using high-level synthesis
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0019⟩
hal-00751760v1  Conference papers
Caroline NadeauAlexandre KrupaPedro MoreiraNabil ZemitiPhilippe Poignet et al.  Active stabilization of ultrasound image for robotically-assisted medical procedures
Hamlyn Symposium on Medical robotics, Jul 2012, London, United Kingdom
hal-00756976v1  Journal articles
Martin KennedyAdlen KsentiniYassine Hadjadj-AoulGabriel-Miro Muntean. Adaptive Energy Optimization in Multimedia-centric Wireless Devices: a Survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2012
hal-00725049v1  Conference papers
Michel HurfinIzabela Elena MoiseJean-Pierre Le NarzulFrédéric Majorczyk. Adaptive Strategies for Speeding Up Sequences of Consensus
26th International Conference on Advanced Information Networking and Applications, Mar 2012, Fukuoka, Japan
hal-00728546v1  Conference papers
Jurgen Michael van Ham. Adding high-level concurrency to EScala
Aspect-oriented software development, Mar 2012, Potsdam, Germany. pp.19-20, ⟨10.1145/2162110.2162125⟩
hal-00788006v1  Conference papers
Pierre CoucheneyEmmanuel HyonCorinne Touati. Admission and Allocation Policies in Heterogeneous Wireless Networks with Handover
VTC2012-Spring: 2012 IEEE 75th Vehicular Technology Conference, May 2012, Yokohama, Japan. pp.1-5, ⟨10.1109/VETECS.2012.6240168⟩
hal-00763387v1  Conference papers
Adnan BouakazJean-Pierre TalpinJan Vitek. Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Proceedings of the 2012 12th International Conference on Application of Concurrency to System Design, Jun 2012, Hamburg, Germany. pp.183-192, ⟨10.1109/ACSD.2012.16⟩
inria-00633013v1  Journal articles
Hervé JégouFlorent PerronninMatthijs DouzeJorge SánchezPatrick Pérez et al.  Aggregating local image descriptors into compact codes
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2012, 34 (9), pp.1704-1716. ⟨10.1109/TPAMI.2011.235⟩
hal-00875226v1  Conference papers
Broderick CrawfordC. Leon de la BarraRicardo SotoEric Monfroy. Agile Software Teams Must be Creatives
IEEE Workshop on Engineering Applications, 2012, Bogotá, Colombia, Colombia
hal-00734573v1  Conference papers
Elena PlanasDavid Sanchez-MendozaJordi CabotCristina Gómez. Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy
hal-00756908v1  Conference papers
Raymond A. MarieSylvaine Alexandre. Algorithmes pour maîtriser la distribution des performances de systèmes
18th Congrès de Maîtrise des risques et sureté de fonctionnement, Oct 2012, Tours, France
hal-00741134v1  Conference papers
Erwan BousseDavid MentréBenoit CombemaleBenoit BaudryKatsuragi Takaya. Aligning SysML with the B Method to Provide V&V for Systems Engineering
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria