Jhala - PDFSEARCH.IO - Document Search Engine

Jhala
Results: 42

#	Item
21	An Empirical Study of Privacy-Violating Information Flows in JavaScript Web Applications Dongseok Jang Ranjit Jhala Add to Reading List Source URL: cseweb.ucsd.edu - Date: 2010-07-27 22:51:00
22	Branching Storylines in Virtual Reality Environments for Leadership Development Andrew Gordon, Mike van Lent, Martin van Velsen, Paul Carpenter, and Arnav Jhala The Institute for Creative Technologies, The University of Add to Reading List Source URL: people.ict.usc.edu - Date: 2010-03-29 14:57:25
23	Status Report: Dependent Types for JavaScript Ravi Chugh David Herman Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-06-10 20:26:33
24	On Subnormal Floating Point and Abnormal Timing Marc Andrysco,1 David Kohlbrenner,1 Keaton Mowery,1 Ranjit Jhala, Sorin Lerner, and Hovav Shacham Department of Computer Science and Engineering University of California, S Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2015-03-30 16:46:44 Software X86 architecture Data types X86 instructions X87 Intel Floating point X86 SIMD Computer architecture Computing Computer arithmetic
25	Reactive Planning Idioms for Multi-Scale Game AI Ben G. Weber, Peter Mawhorter, Michael Mateas, and Arnav Jhala Abstract— Many modern games provide environments in which agents perform decision making at several levels Add to Reading List Source URL: eis.ucsc.edu Language: English - Date: 2010-06-18 20:55:19 Military science fiction Software Windows games Multiplayer online games Video games with isometric graphics Reactive planning StarCraft Intelligent agent Cognitive architecture Games Digital media Blizzard games
26	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
27	Dependent Types for JavaScript Ravi Chugh David Herman Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-08-02 00:38:25 Cross-platform software Subroutines JavaScript Type system C Nim Function object JavaScript syntax Comparison of programming languages Software engineering Computing Computer programming
28	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-03-11 23:28:24 Random walk Action Model checking Information Communications protocol
29	The full text of the 11-point agreement Agreement reached among Unified CPN (Maoist), Nepali Congress, CPN-UML and United Democratic Madhesi Front As the term of the Constituent Assembly expired before the task of const Add to Reading List Source URL: www.satp.org Language: English - Date: 2013-03-19 01:13:54 Unified Communist Party of Nepal Nepali Congress Prachanda Sushil Koirala Communist Party of Nepal Jhala Nath Khanal Nepal President of France Nepalese Constituent Assembly election Politics Government Elections in Nepal
30	Asian Centre For Human Rights Embargoed for : 23 May, 2013 BRIEFING PAPERS ON NEPAL[removed]Proposed Elections in Nepal: Add to Reading List Source URL: www.achrweb.org Language: English - Date: 2013-05-23 01:51:58 Government of Nepal Unified Communist Party of Nepal Prachanda Communist Party of Nepal Nepalese Constituent Assembly election Jhala Nath Khanal Madhav Kumar Nepal Nepali Congress Baburam Bhattarai Nepal Government Elections in Nepal

UPDATE