Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

Source URL: thev.net

• Signal processing
• Mathematics
• Digital signal processing
• Signal
• Mathematical logic
• Function
• Electrical engineering
• Proof theory
• Programming language semantics

Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog

Source URL: www.avacs.org

• Avionics
• Aircraft collision avoidance systems
• Warning systems
• Traffic collision avoidance system
• European Train Control System
• Carrier-sense multiple access with collision avoidance
• Communicating sequential processes
• Real-time strategy
• Transport
• Safety
• Technology

Treasury Providing a seamless and transparent flow of information to synchronize the front and back offices, Temenos’ award winning treasury solution delivers real-time links to the market for instant and accurate data

Source URL: www.temenos.com

• Economy
• Finance
• Money
• Financial markets
• Hedge
• Treasury management
• Set-off
• Society for Worldwide Interbank Financial Telecommunication
• Short

Why should my business use Fastly? What can I do with Fastly? As a Drupal user you value fast, reliable page loads. As a modern, real-time CDN, Fastly can deliver your content

Source URL: www.fastly.com

• Software
• Computing
• Cross-platform software
• World Wide Web
• Content delivery networks
• Fastly
• Internet security
• Drupal
• Varnish

Effec%ve  Real-­‐Time  Android   Applica%on  Audi%ng   Mingyuan  Xia,  Lu  Gong,  Yuanhao  Lyu,   Zhengwei  Qi,  Xue  Liu     McGill  University,  Shanghai  J

Source URL: mxia.me

• Computing
• Computer architecture
• System software
• Alphabet Inc.
• Android
• Smartphones

Fastly for Digital Publishing Increase visitor engagement and empower editors with faster, real-time content distribution Overview

Source URL: www.fastly.com

• Computing
• Internet
• Concurrent computing
• Internet security
• Computer networking
• Content delivery networks
• Internet broadcasting
• Fastly
• Drupal
• Transport Layer Security
• Website

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group

PDF Document

Source URL: real.mtak.hu

PDF Document

Source URL: www.real-info.com

PDF Document

Source URL: www.real-info.com