Institute for System Programming - PDFSEARCH.IO - Document Search Engine

Institute for System Programming
Results: 57

#	Item
1	Regional Research Institute West Virginia University Technical Document Series Using a Spreadsheet SAM for GAMS CGE Modeling Add to Reading List Source URL: rri.wvu.edu Language: English - Date: 2014-12-17 16:53:05 Mathematics Computer algebra systems General Algebraic Modeling System Computable general equilibrium Social accounting matrix Gams Economic model Spreadsheet Parameter Variable General equilibrium theory Draft:Extended mathematical programming
2	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
3	Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Pavel Shved Institute for System Programming, RAS email: Add to Reading List Source URL: syrcose.ispras.ru Language: English - Date: 2009-06-01 08:17:59 C++ Method Virtual method table Backward compatibility Binary code compatibility Portable Executable Binary file Entry point Functional ASCII C dynamic memory allocation
4	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
5	Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-01-25 02:16:42
6	Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-01-25 01:14:39
7	Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform · OpenTS — an advanced tool for parallel and Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-05-19 05:08:50
8	Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform · OpenTS — an advanced tool for parallel and Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-05-19 05:08:50
9	Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform · OpenTS — an advanced tool for parallel and Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2007-09-25 02:37:02
10	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system