XC - PDFSEARCH.IO - Document Search Engine

XC
Results: 822

#	Item
51	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-26 12:08:20 Concurrency control Computing Software engineering Model checkers Software Promela Monitor Mutual exclusion SPIN model checker Lock XC Printf format string
52	2005 VOLVO XC 90 MANUAL PDF-2VX9M8-IPUB11 \| 23 Page \| File Size 1,000 KB \| 23 Aug, 2016 TABLE OF CONTENT Introduction Brief Description Add to Reading List Source URL: ipart.club Language: English - Date: 2016-08-21 16:19:13 Transport Private transport Automotive industry Station wagons XC Sedans Volvo Cars Automobile platforms
53	Lecture 21: Parallel Programming Models for Scientific Computing William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-24 19:05:06 Computing Software engineering Computer programming Concurrent programming languages Parallel computing Procedural programming languages Programming paradigms Fortran Parallel programming model Thread XC Go
54	AOPA PILOT • 88 • NOVEMBER 2006 Lockheed 12–A Electra Junior Love story Add to Reading List Source URL: www.twaspirit.com Language: English - Date: 2014-03-02 17:51:52 Aircraft Aviation Lockheed Model 12 Electra Junior Homebuilt aircraft Light-sport aircraft Lockheed XC-35 British Aerospace Jetstream
55	IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Software engineering Computing Models of computation Software Finite automata Finite-state machine Transition system XC Verilog Clock Presentation Specification and Description Language
56	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Add to Reading List Source URL: www.sigops.org Language: English - Date: 2011-09-11 16:39:27 Concurrent programming languages Actor model Concurrent computing Trace XC
57 $9B@BL;)LSR Y)L&)@HR ;SR &;)M)LR );MSV@3M: X)L3WSV@3RYB>>)@R&;)R MM)@R3VS)RL\S)R V@&R LZ;M@)S\)R !)>B9@)@R-RV@&R3>);#9: \);S;3RMEL)@%R&R3VS)R)9@&>V@3)@R;@M: 3)M?SR \VR );@)LR 3)MW@&)L)@R )XC>=): LV@3R/W9L)@RMB$	9B@BL;)LSR Y)L&)@HR ;SR &;)M)LR );MSV@3M: X)L3WSV@3RYB>>)@R&;)RMM)@R3VS)RL\S)R V@&R LZ;M@)S\)R !)>B9@)@R-RV@&R3>);#9: \);S;3RMEL)@%R&R3VS)R)9@&>V@3)@R;@M: 3)M?SR \VR );@)LR 3)MW@&)L)@R )XC>=): LV@3R/W9L)@RMB Add to Reading List Source URL: www.synapse-online.ch Language: German - Date: 2012-08-16 02:39:28
58	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
59	EXTREME PRO COMPACT Class Designation: The class designation is: XC General Safety: All vehicles must conform to general NHRA safety rules. Body: Door cars only are permitted. Any year vehicle is allowed. Chassis: Any ty Add to Reading List Source URL: www.raceosw.com Language: English - Date: 2015-10-25 19:32:10 Vehicle modification Nitrous oxide engine Intercooler Clutch Nitrous oxide
60	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Concurrent programming languages Actor model Concurrent computing Phase transition Trace XC