FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
251	Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:52:45 Formal methods Theoretical computer science Software engineering Mathematics Predicate transformer semantics Refinement Abstract state machines NC 120-cell Cover
252	Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Bitcoin Blockchains Economy Money Computing Alternative currencies Digital currencies Ethereum Fork Mining pool Smart contract
253	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
254	ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2014-11-25 15:38:07 Algebra Abstract algebra Mathematics Algebraic geometry Cohomology theories Homological algebra Sheaf theory Algebraic topology Divisor tale cohomology Chow group Sheaf
255	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-27 19:23:46 Temporal logic Algebraic structures Mathematics Mathematical logic Theoretical computer science Linear temporal logic Logic in computer science Computation tree logic MVS Boolean domain Boolean algebra Finite-state machine
256	A Projective Geometry Architecture for Scientific Computation Bharadwaj S . Amrutur Rajeev Joshi Narendra K. Karmarkar Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 20:40:57 Computer architecture Parallel computing Mathematics Algebra Projective geometry Instruction set architectures Vector processor Projective space ARM architecture Module Vector space MIMD
257	arXiv:1711.03028v2 [cs.PL] 13 DecSimplicity: A New Language for Blockchains Russell O’Connor Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-12-14 21:52:44 Computing Cryptocurrencies Theoretical computer science Software engineering Blockchains Logic in computer science Bitcoin Alternative currencies Combinatory logic Ethereum Stack machine Stack
258	Idyll: A Markup Language for Authoring andPublishing Interactive Articles on the Web Add to Reading List Source URL: idl.cs.washington.edu Language: English Computing Software engineering Markup languages Open formats HTML Lightweight markup languages Technical communication JavaScript Markdown Data visualization Spreadsheet Ext JS
259	CrustaceanaNOTES AND NEWS A NEW SOUTHERN RECORD FOR A SAND CRAB, LEPIDOPA WEBSTERI BENEDICT, 1903 (DECAPODA, ALBUNEIDAE) BY Add to Reading List Source URL: faculty.utrgv.edu Language: English - Date: 2014-07-21 08:46:28 Hippoidea Blepharipodidae Albuneidae Anomura Sand crab
260	Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure Add to Reading List Source URL: www.staff.city.ac.uk Language: English - Date: 2014-10-28 05:49:57 Computing Computer programming Binary trees Information science Knowledge representation Tree Finger tree B-tree 23 tree Double-ended queue Search tree

UPDATE