88 résultats  enregistrer la recherche


...
hal-00825931v1  Communication dans un congrès
Jérôme EuzenatAn API for ontology alignment
Frank van Harmelen, Sheila McIlraith, Dimitris Plexousakis. Proc. 3rd international semantic web conference (ISWC), Nov 2004, Hiroshima, Japan. Springer Verlag, 3298, pp.698-712, 2004, Lecture notes in computer science; The semantic web. <10.1007/978-3-540-30475-3_48>
...
hal-01254907v1  Communication dans un congrès
Michelle CheathamZlatan DragisicJérôme EuzenatDaniel FariaAlfio Ferrara et al.  Results of the Ontology Alignment Evaluation Initiative 2015
10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016
...
inria-00475919v1  Communication dans un congrès
François BodinToru KisukiPeter KnijnenburgMike O' BoyleErven RohouIterative compilation in a non-linear optimisation space
Workshop on Profile and Feedback-Directed Compilation, Oct 1998, Paris, France. 1998
...
inria-00603208v1  Communication dans un congrès
Jónathan HerasMaría PozaMaxime DenesLaurence RideauIncidence simplicial matrices formalized in Coq/SSReflect
Conference on Intelligent Computer Mathematics, Jul 2011, Bertinoro, Italy. 2011, <10.1007/978-3-642-22673-1_3>
hal-01301382v1  Communication dans un congrès
Pedro SilvaChristian PérezFrédéric DesprezEfficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds
16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'16), May 2016, Cartagena, Colombia. 2016, 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). <10.1109/CCGrid.2016.77>
...
hal-00918494v1  Communication dans un congrès
Bernardo Cuenca GrauZlatan DragisicKai EckertJérôme EuzenatAlfio Ferrara et al.  Results of the Ontology Alignment Evaluation Initiative 2013
Proc. 8th ISWC workshop on ontology matching (OM), Oct 2013, Sydney, Australia. No commercial editor., pp.61-100, 2013, Proc. 8th ISWC workshop on ontology matching (OM)
...
inria-00505640v1  Communication dans un congrès
Erven RohouAndrea OrnsteinMarco CorneroCLI-Based Compilation Flows for the C Language
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jul 2010, Samos, Greece. IEEE, pp.162-169, 2010, <10.1109/ICSAMOS.2010.5642069>
hal-01351589v1  Communication dans un congrès
Marc ShapiroCRDTs in practice
ACM. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, 2015, LADIS 2015. <http://ladisworkshop.org/node/10>
...
hal-01351512v1  Communication dans un congrès
Hagit AttiyaSebastian BurckhardtAlexey GotsmanAdam MorrisonHongseok Yang et al.  Specification and Complexity of Collaborative Text Editing
ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. <http://www.podc.org/podc2016/>. <10.1145/2933057.2933090>
...
tel-01351187v1  Thèse
Mahsa NajafzadehThe Analysis and Co-design of Weakly-Consistent Applications
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English
hal-01109740v1  Communication dans un congrès
Marc ShapiroMasoud Saeida ArdekaniPierre SutraExploring the spectrum of strongly-consistent transactional protocols
Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom. Workshop on Large-Scale Distributed Systems and Middleware (LADIS), 2014, Workshop on Large-Scale Distributed Systems and Middleware (LADIS). <http://2014.ladisworkshop.org/>
...
hal-01350668v1  Communication dans un congrès
Marc ShapiroMasoud Saeida ArdekaniGustavo PetriConsistency in 3D
LIPICS. Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. Int. Conf. on Concurrency Theory (CONCUR) 2016, CONCUR 2016, pp.15, 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016. <http://www.concur2016.ulaval.ca/>
...
hal-01350657v1  Communication dans un congrès
Alejandro TomsicTyler CrainMarc ShapiroPhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. ACM, pp.4, 2016, <http://www2.ucsc.edu/papoc-2016/>. <10.1145/2911151.2911166>
...
hal-01350652v1  Article dans une revue
Valter BalegasCheng LiMahsa NajafzadehDaniel PortoAllen Clement et al.  Geo-Replication: Fast If Possible, Consistent If Necessary
IEEE Data Engineering Bulletin, IEEE Computer Society, 2016, IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, 39 (1), pp.12. <http://sites.computer.org/debull/A16mar/p81.pdf>
...
hal-01350558v1  Communication dans un congrès
Deepthi Devaki AkkoorathAlejandro TomsicManuel BravoZhongmiao LiTyler Crain et al.  Cure: Strong semantics meets high availability and low latency
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, Int. Conf. on Distributed Computing Systems (ICDCS), pp.405-414, 2016, <http://www-higashi.ist.osaka-u.ac.jp/icdcs2016/>. <10.1109/ICDCS.2016.98>
hal-01109107v1  Communication dans un congrès
Valter BalegasNuno PreguiçaSérgio DuarteCarla FerreiraRodrigo Rodrigues et al.  The Case for Fast and Invariant-Preserving Geo-Replication
SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, Oct 2014, Nara, Japan. IEEE, pp.5, 2014, Reliable Distributed Systems Workshops (SRDSW), 2014 IEEE 33rd International Symposium on. <http://wpsds14.lsd.di.uminho.pt/>. <10.1109/SRDSW.2014.30>
...
hal-00760688v1  Communication dans un congrès
Catuscia PalamidessiMarco StronatiDifferential privacy for relational algebra: improving the sensitivity bounds via constraint systems
Wiklicky, Herbert and Massink, Mieke. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. Open Publishing Association, 85, pp.92-105, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.85.7>
inria-00544646v1  Communication dans un congrès
Luca SantinelliLiliana Cucu-GrosjeanTowards Probabilistic Real-Time Calculus
the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2010), Dec 2010, San Diego, United States. 2010
hal-00718493v1  Chapitre d'ouvrage
Gilles MathieuGrid Operations: evolution of operational model over the first year
Computing in High Energy and Nuclear Physics (CHEP-2006), Macmillan, pp.886-889, 2006, Macmillan Advanced Research Series, 0230630170
...
hal-00488202v1  Communication dans un congrès
Ariane Assele KamaGiovanni MelsRémy ChoquetJean CharletMarie-Christine JaulentUne approche ontologique pour l'exploitation de données cliniques
Sylvie DESPRES. IC 2010, Jun 2010, Nîmes, France. Ecole des Mines d'Alès, pp.183-194, 2010
hal-00922291v1  Article dans une revue
Pavel ShvaikoJérôme EuzenatOntology Matching
DLib magazine, CNRI, 2005, 12 (11), <10.1045/december2005-inbrief>