AC - PDFSEARCH.IO - Document Search Engine

AC
Results: 359273

#	Item
401	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
402	Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff
403	Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:12:41
404	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk - Date: 2015-11-05 09:32:22
405	Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 06:23:46 Modeling and simulation Simulation Computer performance Benchmark Big data Computing Data Information
406	Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:22 Computer programming Declarative programming Software engineering Theoretical computer science Category theory Functional programming Recursion Type theory Corecursion Coinduction Fold SCons
407	Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:32:14 Formal methods Theoretical computer science Cognitive science Logic in computer science Cybernetics Logic Artificial intelligence Runtime verification Intelligent agent Model checking Motivation Autonomy
408	Social Trust: a Major Challenge for the Future of Autonomous Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-12 10:12:53 Reputation management Human behavior Psychology Emerging technologies Robotics Cognitive science Interpersonal relationships Social constructionism Trust Cristiano Castelfranchi Situation awareness Belief
409	On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:36:06 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

UPDATE