SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
181	Microsoft Wordips-annual-report.doc Add to Reading List Source URL: www.sws.bom.gov.au Language: English - Date: 2006-02-12 18:13:46 Astronomy Planetary science Radio telescopes Solar System Space weather Radio propagation Ionosphere Square Kilometre Array Niue Australian Defence Force Solar phenomena Outer space
182	Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-03 05:32:06 Computing Concurrency control Software Software transactional memory Non-blocking algorithm Lock Parallel computing Concurrency Concurrent data structure Separation logic Thread Concurrent computing
183	SamparkInfo: an information system for an Indian NGO Final Report B37.13 Add to Reading List Source URL: static.sws.bfh.ch Language: German - Date: 2007-05-31 00:40:34
184	Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-04-04 10:35:42 Concurrency control Computing Transaction processing Data management Software Compare-and-swap Non-blocking algorithm Linearizability Software transactional memory Stack Reagent Atomicity
185	Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computer architecture Computing Software Embedded operating systems Finite automata Finite-state machine OSEK Real-time operating system Model checking Kernel Protection ring Embedded system
186	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology
187	On the Wisdom of Experts vs. Crowds: Discovering Trustworthy Topical News in Microblogs Muhammad Bilal Zafar MPI-SWS, Germany Parantapa Bhattacharya Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2015-10-19 09:08:22 Computing Software Information science Twitter Social media Web 2.0 Social networking services Social networks Hashtag TrustRank Twitter usage Twitter bomb
188	Logical Relations for Fine-Grained Concurrency (Expanded Technical Appendix) Aaron Turon Jacob Thamsborg Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-09-13 04:49:13 Symbol Table of stars with Bayer designations Character encoding Digital typography
189	All-Termination(SCP) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:21 Declarative programming Software engineering Computer programming Functional programming Lisp Perl XS Cons Recursion
190	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style

UPDATE