Work

Results: 156439



#Item
21Parts of this work previously appeared at ACM CCSBN06] and CT-RSABN07]. This is the full version. New Multi-Signature Schemes and a General Forking Lemma Mihir Bellare1

Parts of this work previously appeared at ACM CCSBN06] and CT-RSABN07]. This is the full version. New Multi-Signature Schemes and a General Forking Lemma Mihir Bellare1

Add to Reading List

Source URL: soc1024.ece.illinois.edu

Language: English - Date: 2017-09-18 20:31:22
22What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement:

What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement:

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2010-07-21 10:31:16
23Singularities of divisors on abelian varieties Olivier Debarre March 20, 2006 This is joint work with Christopher Hacon. We work over the complex numbers. Let D be an effective divisor on an abelian variety A of dimensio

Singularities of divisors on abelian varieties Olivier Debarre March 20, 2006 This is joint work with Christopher Hacon. We work over the complex numbers. Let D be an effective divisor on an abelian variety A of dimensio

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2006-03-20 04:52:30
24Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
25Chicken Catcher At Rossdown Farms, you will become part of our family. You will thrive in our team environment who collaboratively works hard to achieve the company’s goals; while maintaining work/life balance. Rossdow

Chicken Catcher At Rossdown Farms, you will become part of our family. You will thrive in our team environment who collaboratively works hard to achieve the company’s goals; while maintaining work/life balance. Rossdow

Add to Reading List

Source URL: www.rossdown.com

Language: English - Date: 2018-08-16 15:04:25
26What is a Vulnerability Disclosure Policy and Why You Need One VDPs work and they protect assets. That’s why the U.S. Department of Justice, the European Commission, and the U.S. Food & Drug Administration recommend th

What is a Vulnerability Disclosure Policy and Why You Need One VDPs work and they protect assets. That’s why the U.S. Department of Justice, the European Commission, and the U.S. Food & Drug Administration recommend th

Add to Reading List

Source URL: www.hackerone.com

Language: English - Date: 2018-08-30 11:58:33
27Specific Instructions: This test is designed to provide information on your typical behaviour within work situations. You will be presented with situations which you could experience at work. Please consider the situatio

Specific Instructions: This test is designed to provide information on your typical behaviour within work situations. You will be presented with situations which you could experience at work. Please consider the situatio

Add to Reading List

Source URL: europa.eu

Language: English - Date: 2016-12-08 05:13:34
28Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
29RobinHood: Tail Latency-Aware Caching Dynamically Reallocating from Cache-Rich to Cache-Poor Daniel S. Berger (CMU) Joint work with: Benjamin Berg (CMU), Timothy Zhu (PennState), Siddhartha Sen (Microsoft Research), Mor

RobinHood: Tail Latency-Aware Caching Dynamically Reallocating from Cache-Rich to Cache-Poor Daniel S. Berger (CMU) Joint work with: Benjamin Berg (CMU), Timothy Zhu (PennState), Siddhartha Sen (Microsoft Research), Mor

Add to Reading List

Source URL: platformlab.stanford.edu

Language: English - Date: 2018-10-15 19:25:55
30On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg

On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg

Add to Reading List

Source URL: www.avacs.org

Language: English - Date: 2015-09-28 03:05:32