×

Found 39 Documents (Results 1–39)

Enumeration of complex Golay pairs via programmatic SAT. (English) Zbl 1467.68202

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 111-118 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Treasure hunt with barely communicating agents. (English) Zbl 1487.68042

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 14, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Exhaustive execution of CHR through source-to-source transformation. (English) Zbl 1457.68040

Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 59-73 (2015).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Fast exhaustive search for quadratic systems in \(\mathbb {F}_2\) on FPGAs. (English) Zbl 1339.94038

Lange, Tanja (ed.) et al., Selected areas in cryptography – SAC 2013. 20th international conference, Burnaby, BC, Canada, August 14–16, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-43413-0/pbk; 978-3-662-43414-7/ebook). Lecture Notes in Computer Science 8282, 205-222 (2014).
MSC:  94A60 11T06 68W30
PDFBibTeX XMLCite
Full Text: DOI

Fast exhaustive search for polynomial systems in \({\mathbb{F}_2}\). (English) Zbl 1297.94055

Mangard, Stefan (ed.) et al., Cryptographic hardware and embedded systems – CHES 2010. 12th international workshop, Santa Barbara, USA, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15030-2/pbk). Lecture Notes in Computer Science 6225, 203-218 (2010).
MSC:  94A60 11T06 68W30
PDFBibTeX XMLCite
Full Text: DOI

Parallel shortest lattice vector enumeration on graphics cards. (English) Zbl 1284.68638

Bernstein, Daniel J. (ed.) et al., Progress in cryptology – AFRICACRYPT 2010. Third international conference on cryptology in Africa, Stellenbosch, South Africa, May 3–6, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12677-2/pbk). Lecture Notes in Computer Science 6055, 52-68 (2010).
MSC:  68W10 94A60
PDFBibTeX XMLCite
Full Text: DOI

Generation of exhaustive rule sets using a reduct generating algorithm. (English) Zbl 0965.68092

Kłopotek, Mieczysław (ed.) et al., Intelligent information systems. Proceedings of the IIS 2000 symposium, Bystra, Poland, June 12-16, 2000. Heidelberg: Physica Verlag. Advances in Soft Computing. 65-74 (2000).
MSC:  68T20
PDFBibTeX XMLCite

Problems of reducing the exhaustive search. Transl. from the Russian by V. Minachin. (English) Zbl 0853.00021

Translations. Series 2. American Mathematical Society (AMS). 178. Providence, RI: American Mathematical Society (AMS). x, 189 p. (1997).
MSC:  00B15 68-06 68P10
PDFBibTeX XMLCite

Experiments with parallel graph coloring heuristics and applications of graph coloring. (English) Zbl 0862.90122

Johnson, David S. (ed.) et al., Cliques, coloring, and satisfiability. Second DIMACS implementation challenge. Proceedings of a workshop held at DIMACS, October 11–13, 1993. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 26, 309-334 (1996).
PDFBibTeX XMLCite

How to strengthen DES using existing hardware. (English) Zbl 0873.94014

Pieprzyk, Josef (ed.) et al., Advances in cryptology - ASIACRYPT ’94. 4th international conference on the theory and applications of cryptology, Wollongong, Australia, November 28 - December 1, 1994. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 917, 398-412 (1995).
MSC:  94A60 68P25
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software