المؤلفون: Edelkamp, Stefan

المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65172Test

المؤلفون: Edelkamp, Stefan

المساهمون: Leue, Stefan, Lluch-Lafuente, Alberto

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57678Test

المؤلفون: Edelkamp, Stefan

المساهمون: Schuppan, Viktor, Bošnački, Dragan, Aljazzar, Husain, Wijs, Anton, Fehnker, Ansgar

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044Test

المؤلفون: Edelkamp, Stefan

المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-61892Test

المؤلفون: Edelkamp, Stefan

المساهمون: Lluch-Lafuente, Alberto, Leue, Stefan

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-57668Test

المؤلفون: Edelkamp, Stefan

المساهمون: Jabbar, Shahid, Mehler, Tilman

الإتاحة: http://nbn-resolving.de/urn:nbn:de:101:1-201607076945Test

المؤلفون: Delzanno, Giorgio, Rensink, Arend, Traverso, Riccardo, Bošnački, Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto, Wijs, Anton

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 159, Iss Proc. GRAPHITE 2014, Pp 44-57 (2014)
Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 44-57
STARTPAGE=44;ENDPAGE=57;TITLE=Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014)

مصطلحات موضوعية: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Theoretical computer science, Consensus Protocols, Computer science, METIS-305983, IR-91953, lcsh:QA75.5-76.95, Model Checking, Consensus, Standard model (cryptography), Graph rewriting, Basis (linear algebra), EWI-24980, lcsh:Mathematics, GROOVE, lcsh:QA1-939, Transformation language, Logic in Computer Science (cs.LO), SPIN, Computer Science - Distributed, Parallel, and Cluster Computing, Paxos, Graph Transformation, Graph (abstract data type), Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3764e316b103cf68aa1be40a6be4b3f0Test
https://doaj.org/article/c1b7e14ec0734eadb66de8fee09cd3d2Test

المؤلفون: Edelkamp, Stefan, Weiss, Armin

المساهمون: Sankowski, Piotr, Zaroliagis, Christos

المصدر: Edelkamp, S J & Weiss, A 2016, BlockQuicksort : Avoiding Branch Mispredictions in Quicksort . in P Sankowski & C Zaroliagis (eds), 24th Annual European Symposium on Algorithms (ESA 2016) : ESA 2016, August 22–24, 2016, Aarhus, Denmark . vol. 57, 38, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 38:1–38:16 . https://doi.org/10.4230/LIPIcs.ESA.2016.38Test

مصطلحات موضوعية: 000 Computer science, knowledge, general works, 010201 computation theory & mathematics, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::610b6a53fd7a481a0f015786b6e4eabfTest
https://kclpure.kcl.ac.uk/ws/files/123577916/BlockQuicksort_Avoiding_Branch_Mispredictions_EDELKAMP_PublishedAugust2016_VoR_CC_BY_.pdfTest

المؤلفون: Cimatti, Alessandro, Edelkamp, Stefan, Fox, Maria, Magazzeni, Daniele, Plaku, Erion

مصطلحات موضوعية: 000 Computer science, knowledge, general works, Computer Science

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5d8036bc1153054faa04428dc0adda8fTest

المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto

المصدر: Model Checking Software (9783540733690); 2007, p223-242, 20p