Real-time - PDFSEARCH.IO - Document Search Engine

Real-time
Results: 14348

#	Item
11	Chapter 8 T Verification of Real-time Probabilistic Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-01 04:16:38 Finite automata Probability theory Probability Timed automaton Markov processes Probabilistic automaton Markov decision process Model checking Automata theory Probabilistic logic
12	Thomson Reuters Elektron Data Platform Real-Time Venue Data For MiFID II MiFID II is redefining best practice in our industry Organizations bound by MiFID II are now finding that rules around pre- and post-trade transpar Add to Reading List Source URL: mifidii.thomsonreuters.com Language: English - Date: 2018-10-21 02:07:04 Economy Finance Money Financial markets Financial regulation European Union Markets in Financial Instruments Directive Systemic risk Tradeweb Thomson Reuters MarketAxess Securities research
13	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain
14	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Real-time computing Scheduling Technology Computer architecture System software Embedded operating systems Automotive software OSEK Worst-case execution time Real-time operating system Uppaal Model Checker Model checking
15	EVO: Event-based 6-DOF Parallel Tracking and Mapping in Real-time Department of Informatics - Institute of Neuroinformatics Henri Rebecq, Timo Horstschaefer, Guillermo Gallego, Davide Scaramuzza Add to Reading List Source URL: rpg.ifi.uzh.ch Language: English - Date: 2018-09-20 18:03:34 3D computer graphics 3D imaging Depth map Nintendo DSi 3D reconstruction
16	SYNAPTOGENESIS ON THE SPINNAKER, MAYEffects Of Real-time Synaptic Plasticity Using Spiking Neural Network Architecture Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Neuroscience Computational neuroscience Nervous system Neural networks Artificial neural networks Neuroplasticity Computational statistics Spiking neural network Synaptic weight Spike-timing-dependent plasticity Neural circuit Hebbian theory
17	Varnish What is Varnish? Varnish is a state-of-the art web accelerator for dynamic content, such as websites, APIs, and mobile applications. Varnish is designed for high-performance content delivery and real-time managem Add to Reading List Source URL: www.fastly.com Language: English - Date: 2017-05-05 00:24:01 Computing Concurrent computing Distributed computing Content delivery networks Reverse proxy Fastly Internet security Varnish VCL Web accelerator
18	arXiv:1702.07825v2 [cs.CL] 7 MarDeep Voice: Real-time Neural Text-to-Speech ¨ Arık† Sercan O. Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-03-08 20:05:08 Artificial neural networks Linguistics Cognitive science Artificial intelligence Computational linguistics Phonetics Orthography Phonology Speech synthesis WaveNet Speech recognition Recurrent neural network
19	Hi, You may have heard all the hype about the tidal wave that is the evolution of the Securities Token, but asked, is it real? For Tokeny it has been very real for some time and I can start to share with you at least o Add to Reading List Source URL: tokeny.com Language: English - Date: 2018-10-08 10:48:20 Cryptocurrencies Decentralization Computing Digital media Financial technology World Wide Web Blockchain Everipedia Initial coin offering Draft:Ambisafe Software
20	Anomaly detection based on real-time exploitation of billing systems Add to Reading List Source URL: mavroud.is Language: English - Date: 2018-10-23 09:34:50 Technology Information and communications technology Computing Machine learning Anomaly detection Data mining Data security Mobile telecommunications Smartphone Mobile phone Anomaly

UPDATE