Mathematical object - PDFSEARCH.IO - Document Search Engine

Mathematical object
Results: 251

#	Item
1	Object Support in an Array-Based GPGPU Extension for Ruby Matthias Springer Hidehiko Masuhara Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Japan Add to Reading List Source URL: m-sp.org Language: English - Date: 2018-09-27 01:14:42 Computing Software engineering Computer programming Parallel computing Graphics hardware Object-oriented programming languages GPGPU Cross-platform software CUDA General-purpose computing on graphics processing units AOS and SOA Thread
2	Commun. Math. Phys. 315, 109–Digital Object Identifier (DOIs00220Communications in Mathematical Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2015-09-01 05:49:42
3	Commun. Math. Phys. Digital Object Identifier (DOIs00220Communications in Mathematical Add to Reading List Source URL: christian.mendl.net Language: English - Date: 2013-03-12 21:07:24
4	Commun. Math. Phys. 264, 465–Digital Object Identifier (DOIs00220Communications in Mathematical Add to Reading List Source URL: www.doctoryau.com - Date: 2008-03-23 01:14:57
5	1. Object Calculus In this section we will introduce a calculus of objects that gives a simple but powerful mathematical model to study object based languages. Object calculus is to OO languages what Add to Reading List Source URL: www.nada.kth.se - Date: 2007-05-22 07:26:13
6	Commun. Math. Phys. 280, 737–Digital Object Identifier (DOIs00220Communications in Mathematical Add to Reading List Source URL: 129.187.111.185 - Date: 2008-05-15 12:12:39
7	I NTERACTIVE MATHEMATICS C LASS P AD 300* ON THE Barry Kissane Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2005-02-27 03:50:46 Graphing calculators Office equipment Mathematics Casio ClassPad 300 Programmable calculators Equipment Technology Calculator Software calculator Mathematical object Classpad Graph of a function
8	Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof
9	EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208, Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:05:54 Software engineering Software Numerical analysis Mathematical optimization Numerical software Distributed computing architecture Operations research Paradiseo Algorithm Solver Design Patterns User interface

UPDATE