Nil - PDFSEARCH.IO - Document Search Engine

Nil
Results: 965

#	Item
91	Plan 9 from Bell Labs Rob Pike Dave Presotto Sean Dorward Bob Flandrena Ken Thompson Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Software System software Network file systems 9P File system Operating system Server File server Shared resource Unix Procfs
92	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Concurrency control Computing Software Computer programming Lock Monitor File locking Synchronization Linearizability Mutual exclusion
93	EISA Example Inheritance Tax Relief (IHT) Shares in SEIS qualifying companies will generally qualify for Business Property Relief for Inheritance Tax purposes. Relief can be at rates of up to 100% after two years of hol Add to Reading List Source URL: www.eisa.org.uk Language: English - Date: 2014-08-26 12:33:35 Taxation in the United Kingdom Government Economy Taxation in Australia Income distribution Taxation in Canada Taxation in Israel Taxation in Norway Inheritance Tax Nil rate band Capital gains tax Estate tax in the United States
94	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
95	Microsoft Word - sosp067-decandia1.doc Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Data management Data Distributed data storage NoSQL Cloud storage Dynamo Distributed data store Chord Replication Consistent hashing Pastry
96	AXIS BANK - TRANSACTION BANKING Local Current Account (CALCA) - Schedule of Charges MAB Nil Add to Reading List Source URL: www.axisbank.com Language: English - Date: 2015-11-05 05:37:06 Economy Financial services Business Embedded systems Payment systems Banking Cheque Numismatics Debit card Cash machine Bank
97	Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 System software Computer architecture Software Network file systems File system Server XFS Inode Directory services
98	A Guide to INHERITANCE TAX PLANNING Protecting your wealth from a potential liability Add to Reading List Source URL: www.watermark-financial.co.uk Language: English - Date: 2015-04-23 15:18:21 Taxation in the United Kingdom Inheritance Tax Estate tax in the United States Nil rate band Gift Tax Trust law Finance Act Discounted gift trust Taxation of trusts
99	Kademlia: A Peer-to-peer Information System Based on the XOR Metric Petar Maymounkov and David Mazi`eres {petar,dm}@cs.nyu.edu http://kademlia.scs.cs.nyu.edu Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Distributed data storage Kademlia Chord Tapestry Pastry Trie Mainline DHT Distributed hash table
100	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 C POSIX library System calls File locking Write Readerswriter lock XC Travelling salesman problem Stat Open Inode