Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·

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

• Mathematics
• Mathematical analysis
• Distribution
• Functional analysis
• Parameter space
• Linear temporal logic
• BorelKolmogorov paradox

Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems Bo-Yin Yang1,
, Chen-Mou Cheng2 , Bor-Rong Chen2 , and Jiun-Ming Chen3 1 3

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Circulant matrix
• RSA
• Elliptic Curve Digital Signature Algorithm
• QUAD

This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We

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

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA

Source URL: nantero.com

• Computing
• Computer hardware
• Technology
• NVDIMM
• Non-volatile random-access memory
• Intel
• Dynamic random-access memory
• Processor

Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Source URL: deepse.dei.polimi.it

• Engineering
• Software requirements
• Software quality
• Design for X
• Systems engineering
• Reliability engineering
• Survival analysis
• Economic model
• Requirement
• Systems science
• Design

Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University

Source URL: rivoire.cs.sonoma.edu

• Central processing unit
• Computer architecture
• Parallel computing
• Computing
• Computer engineering
• Vector processor
• Data parallelism
• Vector
• Microarchitecture

Location map Eichenweg 1, Zollikofen Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

Source URL: www.bit.admin.ch

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

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

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL

Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap

Source URL: wirelesslab.sjtu.edu.cn

• Electromagnetism
• Energy
• Electrical engineering
• Rechargeable batteries
• Analog circuits
• Battery charging
• Energy conversion
• Electric battery
• Electric power
• Battery charger
• Lithium-ion battery
• Voltage

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory