Joshi - PDFSEARCH.IO - Document Search Engine

Joshi
Results: 550

#	Item
11	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
12	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
13	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
14	RJ 09:0 Counterpoint A UNITY proof with pure nondeterminism Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03
15	Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Arithmetic Interval Bracket
16	Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Computing Software engineering Computer programming Programming languages Data types Java Programming language syntax Object-oriented programming languages Java syntax Const F ALGOL 68
17	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
18	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
19	Toward a Theory of Maximally Concurrent Programs ∗ [Shortened Version] Rajeev Joshi Jayadev Misra Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Algebra Mathematics Mathematical analysis Functional analysis Linear algebra Projection Constructible universe Lie algebras Lie groups
20	The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization, Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:41:20 Computer programming Theoretical computer science Software engineering Logic in computer science Computational complexity theory Boolean algebra NP-complete problems Formal methods Boolean satisfiability problem Conditional Reduction Algorithm

UPDATE