Skip to Main content Skip to Navigation

hal-00743351v1  Book sections
Cyril Furtlehner. An Ising Model for Road Traffic Inference
Xavier Leoncini and Marc Leonetti. From Hamiltonian Chaos to Complex Systems: a Nonlinear Physics Approach, Springer, 2012
hal-00736036v2  Journal articles
Nicolas ChampagnatAmaury LambertMathieu Richard. Birth and death processes with neutral mutations
International Journal of Stochastic Analysis, Hindawi, 2012, 2012, Article ID 569081, 20 p. ⟨10.1155/2012/569081⟩
hal-00718943v1  Journal articles
Zoé DreyCharles Consel. Taxonomy-Driven Prototyping of Home Automation Applications : a Novice-Programmer Visual Language and its Evaluation
Journal of Visual Languages and Computing, Elsevier, 2012, Journal of Visual Languages & Computing, 23 (6), ⟨10.1016/j.jvlc.2012.07.002⟩
hal-00760584v2  Journal articles
Oyunchimeg ShagdarSuhua TangAkio HasegawaTatsuo ShibataMasayoshi Ohashi et al.  Association Control for Wireless LANs: Pursuing Throughput Maximization and Energy Efficiency
International Journal On Advances in Networks and Services, IARIA, 2012, 5 (3&4)
hal-00761602v1  Conference papers
Aleksey BuzmakovSergei KuznetsovAmedeo Napoli. A New Approach to Classification by Means of Jumping Emerging Patterns
FCA4AI: International Workshop "What can FCA do for Artificial Intelligence?" - 2012, Dec 2012, Montpellier, France
hal-00414280v2  Journal articles
Aurélien AlfonsiJérôme Lelong. A closed-form extension to the Black-Cox model
International Journal of Theoretical and Applied Finance, World Scientific Publishing, 2012, 15 (8), pp.1250053:1-30. ⟨10.1142/S0219024912500537⟩
hal-00760757v1  Conference papers
Victor CodocedoIoanna LykourentzouAmedeo Napoli. Semantic querying of data guided by Formal Concept Analysis
Formal Concept Analysis for Artificial Intelligence, Dec 2012, Montpellier, France
hal-00981889v1  Conference papers
Anatoli JuditskyZaid HarchaouiArkadii S. Nemirovski. Conditional gradient algorithms for regularized learning
PreMoLab research meeting, Dec 2012, Moscow, Russia
hal-00682347v1  Journal articles
Zhaoyu GaoHaojin ZhuShuai LiSuguo DuXu Li. Security and Privacy of Collaborative Spectrum Sensing in Cognitive Radio Networks
IEEE Wireless Communications, Institute of Electrical and Electronics Engineers, 2012, 19 (6), pp.106-112. ⟨10.1109/MWC.2012.6393525⟩
hal-00675315v1  Journal articles
Flavien QuesnelAdrien LebreMario Südholt. Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
Concurrency and Computation: Practice and Experience, Wiley, 2012, pp.XX
hal-00827980v1  Book sections
Stéphane PaganoMarc Bonnet. Constitutive Equation Gap
Full-Field Measurements and Identification in Solid Mechanics, John Wiley & Sons, 26p., 2012, 978-1-84821-294-7
tel-00832663v1  Theses
Tuan Tu Tran. Bioinformatics Sequence Comparisons on Manycore Processors
Data Structures and Algorithms [cs.DS]. Université des Sciences et Technologie de Lille - Lille I, 2012. English
hal-00758844v1  Journal articles
Niels KarowskiAline Carneiro VianaAdam Wolisz. Optimized Asynchronous Multi-channel Discovery of IEEE 802.15.4-based Wireless Personal Area Networks
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2012
inria-00562462v4  Journal articles
Bartlomiej BlaszczyszynMohamed Kadhem Karray. Quality of Service in Wireless Cellular Networks Subject to Log-Normal Shadowing
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2012, 61 (2), pp.781 - 791. ⟨10.1109/TCOMM.2012.120512.110673⟩
tel-00783806v1  Theses
Karthick Parashar. System-level approaches for fixed-point refinement of signal processing algorithms
Signal and Image processing. Université Rennes 1, 2012. English
tel-00768281v1  Theses
Vincenzo Gulisano. StreamCloud: An Elastic Parallel-Distributed Stream Processing Engine
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidad Politécnica de Madrid, 2012. English
tel-00859843v1  Theses
Chakkrit Preuksakarn. Reconstructing plant architecture from 3D laser scanner data
Modeling and Simulation. Université Montpellier II - Sciences et Techniques du Languedoc, 2012. English. ⟨NNT : 2012MON20116⟩
hal-00763384v1  Conference papers
Guillaume AupyAnne BenoitYves Robert. Energy-aware scheduling under reliability and makespan constraints
International Conference on High Performance Computing (HiPC'2012), Dec 2012, Pune, India. pp.1-10, ⟨10.1109/HiPC.2012.6507482⟩
hal-00796259v1  Conference papers
Vinicius PinheiroKrzysztof RazdcaDenis Trystram. Campaign Scheduling
HiPC 2012 - 19th international Conference on High Performance Computing, Dec 2012, Pune, India. pp.1-10, ⟨10.1109/HiPC.2012.6507489⟩
hal-01241093v1  Conference papers
Pierre FraigniaudMagnús HalldórssonAmos Korman. On the Impact of Identifiers on Local Decision
Principles of Distributed Systems, 16th International Conference, , Dec 2012, Rome, Italy. ⟨10.1007/978-3-642-35476-2_16⟩
hal-00793201v1  Conference papers
Julien JaegerDenis Barthou. Automatic efficient data layout for multithreaded stencil codes on CPUs and GPUs
High Performance Computing conference, Dec 2012, India. pp.1-10
tel-00770791v1  Habilitation à diriger des recherches
Emmanuel Baccelli. IP-Disruptive Wireless Networking: Integration in the Internet
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2012
hal-00934144v1  Conference papers
Shlomi DolevSwan DuboisMaria Potop-ButucaruSébastien Tixeuil. Crash Resilient and Pseudo-Stabilizing Atomic Registers
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. pp.135-150, ⟨10.1007/978-3-642-35476-2_10⟩
hal-00722731v2  Conference papers
Clément VuchenerAurélien Esnard. Dynamic Load-Balancing with Variable Number of Processors based on Graph Repartitioning
IEEE International Conference on High Performance Computing (HiPC 2012), Dec 2012, Pune, India. pp.1-9, ⟨10.1109/HiPC.2012.6507501⟩
hal-00911098v1  Conference papers
Rossano GaetaMarco GrangettoRiccardo Loti. SIEVE: a distributed, accurate, and robust technique to identify malicious nodes in data dissemination on MANET
18th IEEE Int. Conference on parallel and distributed systems, Dec 2012, Singapore, Singapore. pp.331-338, ⟨10.1109/ICPADS.2012.53⟩
hal-00736922v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno SericolaErwan Le MerrerGilles Straub. FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems
Proceedings of the 16th International Conference On Principles Of Distributed Systems (OPODIS), Dec 2012, Rome, Italy. pp.12
tel-00785090v1  Theses
Eugen Feller. Autonomic and Energy-Efficient Management of Large-Scale Virtualized Data Centers
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2012. English
hal-00763940v1  Conference papers
Pierre-Antoine BouttierEric BlayoJacques Verron. Impact of non-linearities on incremental 4D-VAR data assimilation method in a high resolution ocean model
4ème Colloque National sur l'Assimilation des données, Dec 2012, Nice, France
tel-00767699v1  Theses
Gaurav Sharma. Semantic Description of Humans in Images
Computer Vision and Pattern Recognition [cs.CV]. Université de Caen, 2012. English
hal-00763248v1  Conference papers
Vincent ChabotMaëlle NodetArthur VidardNicolas Papadakis. Assimilation directe de séquences d'images bruités
Colloque National sur l'Assimilation de Données, Dec 2012, Nice, France
hal-00766266v1  Documents associated with scientific events
Vincent AcaryHidde de JongBernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems
Optimization: Computation, Theory and Modeling. Workshop III - Complementarity And Its Extensions, Dec 2012, Singapore, Singapore. 2012
hal-00764588v1  Documents associated with scientific events
Eugene Kazantsev. Boundary conditions control in ORCA2
4ème Colloque National sur l'Assimilation des données (2012), Dec 2012, Nice, France
hal-00908800v1  Conference papers
Rossano GaetaRiccardo LotiVincenzo CiancagliniLuigi Liquori. Modeling and Analysis of Large Scale Interconnected Unstructured P2P Networks
IEEE 18th International Conference on Parallel and Distributed Systems, ICPADS, 2012, Singapore, Dec 2012, Singapore, Singapore. pp.710-711, ⟨10.1109/ICPADS.2012.107⟩
hal-00772790v1  Conference papers
Emmanuel Jeannot. Performance Analysis and Optimization of the Tiled Cholesky Factorization on NUMA Machines
PAAP 2012 - IEEE International Symposium on Parallel Architectures, Algorithms and Programming, Dec 2012, Taipei, Taiwan
hal-00856471v1  Journal articles
Guillaume Aucher. DEL-sequents for Regression and Epistemic Planning
Journal of Applied Non-Classical Logics, Taylor & Francis, 2012, pp.29
hal-00861971v1  Conference papers
Guthemberg SilvestreSébastien MonnetRuby KrishnaswamyPierre Sens. AREN: a popularity aware replication scheme for cloud storage
IEEE International Conference on Parallel and Distributed Systems (ICPADS), Dec 2012, Singapore, Singapore. pp.189-196, ⟨10.1109/ICPADS.2012.35⟩
hal-00932795v1  Conference papers
Pierpaolo CincillaSébastien MonnetMarc Shapiro. Gargamel: boosting DBMS performance by parallelising write transactions
ICPADS 2012 - IEEE 18th International Conference on Parallel and Distributed Systems, Dec 2012, Singapour, Singapore. pp.572--579, ⟨10.1109/ICPADS.2012.83⟩
hal-00759889v1  Conference papers
Hoang Bao ThienAbdessamad Imine. On the Polling Problem for Social Networks
International Conference On Principles Of DIstributed Systems (OPODIS), Dec 2012, Rome, Italy
hal-00748691v1  Conference papers
Fdhila WalidRinderle-Ma StefanieAymen BaouabOlivier PerrinClaude Godart. On Evolving Partitioned Web Service Orchestrations
IEEE International Conference on Service-Oriented Computing and Applications, Dec 2012, Taipei, Taiwan
hal-00766171v1  Reports
Claude MarchéAsma Tafat. Weakest Precondition Calculus, Revisited using Why3
[Research Report] RR-8185, INRIA. 2012, pp.32
hal-01455229v1  Poster communications
Cordelia RobinsonYanyan YangDominique HeitzEtienne Mémin. Evaluation of an ensemble based 4D Var assimilation
Colloque National d’Assimilation de Données, Dec 2012, Nice, France
hal-00762947v1  Conference papers
Maëlle NodetBertrand BonanGaël DurandOlivier GagliardiniF Gillet-Chaulet et al.  Two data assimilation problems in glaciology
Colloque national sur l'assimilation de données, Dec 2012, Nice, France
hal-00740666v1  Conference papers
Alexandros MakrisNicolas Papadakis. Data assimilation with state alignment using high-level image structures detection
CVRS 2012 - International Conference on Computer Vision in Remote Sensing, Dec 2012, Xiamen, China. pp.78-83, ⟨10.1109/CVRS.2012.6421237⟩
hal-00749742v1  Journal articles
Olivier BarrièreAntoine EchelardJacques Lévy Véhel. Self-Regulating Processes
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2012, ⟨10.1214/EJP.v17-2010⟩
hal-00763092v1  Conference papers
Manamiary Bruno AndriamiarinaHayat DaoudMostefa BelarbiDominique MéryCamel Tanougast. Formal Verification of Fault Tolerant NoC-based Architecture
First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria
hal-00738246v1  Conference papers
Mario RicchiutoPietro Marco CongedoGianluca GeraciRemi Abgrall. Uncertainty propagation in shallow water long wave runup simulations
1st International Conference on Frontiers in Computational Physics: Modeling the Earth System, Dec 2012, Boulder, United States
hal-00753902v1  Conference papers
Quang Hai KhuatQuang Hoa LeDaniel ChilletSébastien Pillement. Spatio-Temporal Scheduling for 3D Reconfigurable \& Multiprocessor Architecture
International Design and Test Symposium, IDT 2012, University at Qatar, Dec 2012, Doha, Qatar
hal-00764909v1  Conference papers
Amira HenaienSorin Stratulat. Performing Implicit Induction Reasoning with Certifying Proof Environments
SCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
hal-00915320v1  Conference papers
Hatem GhabriGhazi MaatougMichaël Rusinowitch. Compiling symbolic attacks to protocol implementation tests
Fourth International Symposium on Symbolic Computation in Software Science, Adel Bouhoula and Tetsuo Ida and Fairouz Kamareddine, Dec 2012, Tunis, Tunisia. ⟨10.4204/EPTCS.122.4⟩
hal-00809065v1  Conference papers
Vincent DanosJerome FeretWalter FontanaRuss HarmerJonathan Hayman et al.  Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩
tel-00766329v2  Theses
Ayoub Ait Lahcen. Developing Component-Based Applications with a Data-Centric Approach and within a Service-Oriented P2P Architecture: Specification, Analysis and Middleware
Software Engineering [cs.SE]. Université Nice Sophia Antipolis; Université MoHammed V - Agdal-Rabat, 2012. English
hal-00936500v1  Conference papers
Emmanuel EckardLucie BarqueAlexis NasrBenoît Sagot. Dictionary-Ontology Cross-Enrichment Using TLFi and WOLF to enrich one another
CogALex-III - 3rd Workshop on Cognitive Aspects of the Lexicon, Dec 2012, Mumbai, India
hal-00649404v3  Journal articles
Gaëlle ChastaingFabrice GamboaClémentine Prieur. Generalized Hoeffding-Sobol Decomposition for Dependent Variables - Application to Sensitivity Analysis
Electronic Journal of Statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2012, 6, pp.2420-2448. ⟨10.1214/12-EJS749⟩
hal-00757065v1  Conference papers
Mohamed LabidiBing TangGilles FedakMaher KhemakemMohamed Jemni. Scheduling Data and Task on Data-Driven Master/Worker Platform
PDCAT 2012 - 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. pp.593-598, ⟨10.1109/PDCAT.2012.122⟩
hal-00755329v1  Conference papers
Laurence Danlos. Méthodologie pour le FDTB (French Discourse Tree Bank)
La linguistique de corpus à l'heure de la confrontation entre concepts, techniques et applications, Dec 2012, Bordeaux, France. 2 p
hal-00734131v1  Conference papers
Manamiary Bruno AndriamiarinaDominique MéryNeeraj Kumar Singh. Revisiting Snapshot Algorithms by Refinement-based Techniques
PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
lirmm-00757286v1  Conference papers
Ayoub Ait LahcenSalma MoulineDidier Parigot. Defining and Analyzing P2P Applications with a Data-Dependency Formalism
PDCAT'12: Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
tel-00788826v1  Theses
Jérome Soumagne. An In-situ Visualization Approach for Parallel Coupling and Steering of Simulations through Distributed Shared Memory Files
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Sciences et Technologies - Bordeaux I, 2012. English
tel-00768524v3  Theses
Arnaud Dessein. Computational Methods of Information Geometry with Real-Time Applications in Audio Signal Processing
Information Retrieval [cs.IR]. Université Pierre et Marie Curie - Paris VI, 2012. English