Feature-Specific Profiling LEIF ANDERSEN, PLT @ Northeastern University, United States of America VINCENT ST-AMOUR, PLT @ Northwestern University, United States of America JAN VITEK, Northeastern University and Czech Tec

Source URL: users.eecs.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Profilers
• Control flow
• Profiling
• Software optimization
• Racket
• Arc
• Stack
• Matthias Felleisen

On the Security of Elliptic Curve Cryptosystems against Attacks with Special-Purpose Hardware Tim G¨ uneysu, Christof Paar, Jan Pelzl Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {gueneysu,cp

Source URL: www.hyperelliptic.org

• Cryptography
• Abstract algebra
• Algebra
• Finite fields
• Elliptic curve cryptography
• Computational hardness assumptions
• Group theory
• Public-key cryptography
• Elliptic-curve cryptography
• Elliptic curve
• Key size
• Discrete logarithm

An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke, Thorsten Kleinjung - University of Bonn Christof Paar, Jan Pelzl - University of Bochum Christine Priplata, Colin Stah

Source URL: www.hyperelliptic.org

• Cryptography
• Integer factorization algorithms
• Lenstra elliptic-curve factorization
• Quadratic sieve
• Elliptic-curve cryptography
• Elliptic curve
• Integer factorization
• General number field sieve
• RSA
• Trial division

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Advanced time-series analysis (University of Lund, Economic History Department) 30 Jan-3 February andMarch 2012 Lecture 9 Vector Autoregression (VAR) techniques: motivation and applications. Estimation procedure.

Source URL: peterfoldvari.com

Implicit Ownership Types for Memory Management Tian Zhaoa,∗ , Jason Bakerb , James Huntc , James Nobled , Jan Vitekb,∗ a University of Wisconsin – Milwaukee, USA University, West Lafayette, USA

Source URL: jiangxi.cs.uwm.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Data types
• Type theory
• Method
• Java
• Scope
• Object
• Class
• Java syntax

Gray-box Learning of Serial Compositions of Mealy Machines Andreas Abel and Jan Reineke Department of Computer Science Saarland University Saarbr¨

Source URL: embedded.cs.uni-saarland.de

Advanced time-series analysis (University of Lund, Economic History Department) 30 Jan-3 February andMarch 2012 Lecture 3 Monte Carlo simulations and Bootstrapping. 3.a. What is a Monte Carlo simulation? Imagine y

Source URL: peterfoldvari.com

Webinar agenda Inclusion of Migrants with Irregular Status: A Role for Cities 1. Presentation by Sarah Spencer, Director, Global Exchange on Migration and Diversity, COMPAS, University of Oxford 2. Presentation by Jan Br

Source URL: citiesofmigration.ca

Testing of Hybrid Real-time Systems Using FPGA Platform ∗ Jan Kr´akora and Zdenˇek Hanz´alek Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering Karlovo n´amˇ

Source URL: rtime.felk.cvut.cz