J

Results: 175847



#Item
1SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-06-22 03:22:28
2Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26  Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:42
3Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad   Operations Research Center

Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center

Add to Reading List

Source URL: devavrat.mit.edu

Language: English - Date: 2017-10-12 17:24:58
4Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
5CONFÉRENCE EN L’HONNEUR  de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Add to Reading List

Source URL: fl60.sciencesconf.org

- Date: 2017-05-07 06:14:40
    6October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350

    October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350

    Add to Reading List

    Source URL: www.fda.gov

    Language: English
    7NeuroImage–1647  Contents lists available at ScienceDirect NeuroImage j o u r n a l h o m e p a g e : w w w. e l s e v i e r. c o m / l o c a t e / y n i m g

    NeuroImage–1647 Contents lists available at ScienceDirect NeuroImage j o u r n a l h o m e p a g e : w w w. e l s e v i e r. c o m / l o c a t e / y n i m g

    Add to Reading List

    Source URL: saxelab.mit.edu

    Language: English - Date: 2010-03-29 09:23:02
    8A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

    A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

    Add to Reading List

    Source URL: www.neven.org

    Language: English - Date: 2012-04-18 06:07:38
    9IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

    IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    Language: English - Date: 2005-01-20 08:49:29
    10Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

    Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

    Add to Reading List

    Source URL: www.pepper-project.org

    Language: English - Date: 2017-11-11 14:59:54