Point

Results: 61883



#Item
1starting point  TCP/IP State Transition Diagram (RFC793) CLOSED

starting point TCP/IP State Transition Diagram (RFC793) CLOSED

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-02-01 01:50:48
2Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:38
3The Abyss Ltd. (“The Abyss”, “we”, “our”) Registered office at: Orange Point Building, Second Floor, Dun Karm Street, Birkirkara By-Pass, Birkirkara BKR 9037, Malta Phone: +E-Mail: support@the

The Abyss Ltd. (“The Abyss”, “we”, “our”) Registered office at: Orange Point Building, Second Floor, Dun Karm Street, Birkirkara By-Pass, Birkirkara BKR 9037, Malta Phone: +E-Mail: support@the

Add to Reading List

Source URL: www.theabyss.com

Language: English - Date: 2018-06-28 12:36:33
4Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Add to Reading List

Source URL: perso.ensta-paristech.fr

Language: English - Date: 2012-12-19 06:23:54
5DIGGING FOR GROUNDHOGS: HOLES IN YOUR LINUX SERVER CHECK POINT THREAT INTELLIGENCE AND RESEARCH LEAD RESEARCHERS: STANISLAV SKURATOVICH, ALIAKSANDR TRAFIMCHUK

DIGGING FOR GROUNDHOGS: HOLES IN YOUR LINUX SERVER CHECK POINT THREAT INTELLIGENCE AND RESEARCH LEAD RESEARCHERS: STANISLAV SKURATOVICH, ALIAKSANDR TRAFIMCHUK

Add to Reading List

Source URL: blog.checkpoint.com

Language: English - Date: 2015-10-19 15:19:46
6Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Add to Reading List

Source URL: ce.sharif.edu

Language: English - Date: 2018-07-11 05:37:17
7Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France  NSV, July 22-23, 2017

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2017-07-31 08:52:27
8Prof. Laurent Vanbever Networked Systems Group A test framework to verify end point implementations Semester thesis proposal

Prof. Laurent Vanbever Networked Systems Group A test framework to verify end point implementations Semester thesis proposal

Add to Reading List

Source URL: nsg.ee.ethz.ch

Language: English - Date: 2018-09-25 12:44:08
9Introduction Interval+Error Advanced Gappa Conclusion  Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 04:25:02