Object-Z

Results: 67



#Item
31Computing / 3D computer graphics / Graphics file formats / Vertex Buffer Object / Bitmap / Z-buffering / Heightmap / Pixel buffer / Computer graphics / Software / OpenGL

Extracted from: OpenGL ES 2 for Android A Quick-Start Guide This PDF file contains pages extracted from OpenGL ES 2 for Android, published

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2013-06-18 23:05:44
32Database theory / Relational model / Data / Network performance / Streaming / Relational database / Quality of service / Scheduling / Relational algebra / Data management / Computing / Database management systems

The VLDB Journal[removed]Digital Object Identifier (DOI[removed]s00778[removed]z Aurora: a new model and architecture for data stream management Daniel J. Abadi1 , Don Carney2 , Uˇgur C ¸ etintemel2 , Mitch Cherni

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2005-12-27 19:21:17
33Database management systems / Database theory / Insert / Select / View / Table / Data Definition Language / Relational database / Cursor / Data management / SQL / Relational database management systems

Introduction In this article we present the Z++ abstractions for the marriage of relational database and object-orientation. A happy marriage necessitated the compromise of confining Z++ to the Data Manipulation Language

Add to Reading List

Source URL: www.zhmicro.com

Language: English - Date: 2015-01-01 22:54:38
34Redshift / Quasar / Galaxy / Cosmic distance ladder / Astronomical spectroscopy / Active galactic nucleus / Gravitational lens / Dark matter / Pea galaxy / Physics / Astronomy / Physical cosmology

Mon. Not. R. Astron. Soc. 368, 341–[removed]doi:[removed]j[removed]10101.x Multi-object spectroscopy of the field surrounding PKS 2126−158: discovery of a z = 0.66 galaxy group

Add to Reading List

Source URL: www.atnf.csiro.au

Language: English - Date: 2006-04-24 03:13:20
35Group theory / Geometric group theory / Symmetry / Homological algebra / Geometric topology / Karen Vogtmann / Out / Mapping class group / Automorphism / Abstract algebra / Mathematics / Algebra

WHAT IS Outer Space? Karen Vogtmann To investigate the properties of a group G, it is often useful to realize G as a group of symmetries of some geometric object. For example, the classical modular group P SL(2, Z) can b

Add to Reading List

Source URL: www.math.cornell.edu

Language: English - Date: 2008-07-15 15:46:37
36Stellar evolution / Star types / Light sources / Stellar astronomy / Standard candles / Star / Cosmic distance ladder / Asymptotic giant branch / Wolf–Rayet star / Astronomy / Physics / Astrophysics

Object-X : The Brightest Mid-IR Point Source in M33 Rubab Khan1 , K. Z. Stanek1,2 , C. S. Kochanek1,2 , A. Z. Bonanos3 arXiv:1012.3457v1 [astro-ph.SR] 15 Dec[removed]ABSTRACT

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-01-25 12:01:25
37Program analysis / Type system / Type theory / Abstraction / C / Computing / Software engineering / Programming language theory

Checking the TWIN Elevator System by translating Object-Z to SMV S¨ oren Preibusch1 and Florian Kamm¨ uller2 1

Add to Reading List

Source URL: preibusch.de

Language: English - Date: 2008-02-24 12:57:15
38Computing / Software / Layer / Debian / Communications protocol / Object-oriented design / Circular dependency / Directed acyclic graph / Package / Software engineering / Object-oriented programming / Software design

O Z ONE : Package Layered Structure Identification in presence of Cycles Jannik Lavala , Nicolas Anquetila , Stéphane Ducassea a RMoD

Add to Reading List

Source URL: rmod.lille.inria.fr

Language: English - Date: 2010-12-21 11:42:03
39Data mining / Image processing / Nearest neighbor search / Markov chain / Bin / Information science / Information retrieval / Search algorithms

Reverse-Nearest Neighbor Queries on Uncertain Moving Object Trajectories Tobias Emrich1 , Hans-Peter Kriegel1 , Nikos Mamoulis2 , Johannes Niedermayer1 , Matthias Renz1 , and Andreas Z¨ufle1 1

Add to Reading List

Source URL: www.dbs.ifi.lmu.de

Language: English - Date: 2014-03-25 13:16:16
40Concurrent computing / Inter-process communication / Application programming interfaces / Middleware / Common Object Request Broker Architecture / Component-based software engineering / Object request broker / TAO / Message passing / Computing / CORBA / Software engineering

Zero-Copy for CORBA — Efficient Communication for Distributed Object Middleware Christian Kurmann, Thomas M. Stricker Laboratory for Computer Systems ETH - Swiss Federal Institute of Technology CH-8092 Z¨urich, Switze

Add to Reading List

Source URL: www.cs.inf.ethz.ch

Language: English - Date: 2003-05-08 05:04:17
UPDATE