(redirected from Recursive Data Structure)
Category filter:
RDSRadio Data System
RDSRoyal Dutch Shell
RDSRMS (Root-Mean-Square) Delay Spread
RDSRespondent Driven Sampling (statistical method)
RDSRespiratory Distress Syndrome
RDSRelational Database Service (various companies)
RDSRise of Destiny (card game)
RDSReference Data Set
RDSRoyal Dublin Society (Ireland)
RDSRed Dot Sight
RDSRemote Data Service
RDSRemote Desktop Service (software)
RDSRadio Data Service (on FM 57 kHz subcarrier)
RDSResearch Development and Statistics (UK)
RDSRapid Deployment Solution (software)
RDSRemote Desktop Support (computing)
RDSRéseau des Sports (French language all-sports network - Canada)
RDSResidential Design Services (various locations)
RDSRecursive Dominator Split
RDSRemote Desktop Server
RDSRadiant Data Server
RDSRemote Data Storage
RDSRack Density System
RDSRecruiting Data System
RDSRadio Distribution Search
RDSRemote Data Sharing
RDSRemote Document Server
RDSRaima Database Server
RDSRemote Desktop Session
RDSRemote Development Services
RDSRadio Data Service
RDSResearch Down Syndrome (Illinois)
RDSReview of Diabetic Studies (Society for Biomedical Diabetes Research)
RDSReizdarmSyndrom (German)
RDSRetiree Drug Subsidy (US DHHS)
RDSRecords Disposition Schedule
RDSReliable Datagram Socket (open source protocol)
RDSRomania Data Systems
RDSRetained Duty System (UK Fire & Rescue Service Duty System)
RDSRural Development Service (UK)
RDSRegional Development School (various locations)
RDSRandom Dot Stereogram
RDSRed Dragons (skateboarding)
RDSRate Determining Step
RDSRecursive Data Structure (computing)
RDSResearch Defence Society (UK)
RDSRadiation Detection System
RDSRural Development Strategy (World Bank)
RDSRelational Database Systems
RDSRobotron Datenbank Software (various locations)
RDSRealistic Disaster Scenario (insurance)
RDSReflets De Soie (French: Silk Reflections)
RDSRent Deposit Scheme (UK)
RDSRemote Diagnostic Service (various locations)
RDSRemote Development Service (ColdFusion)
RDSReplicative DNA Synthesis
RDSRéalités du Dialogue Social (French: Realities of Social Dialogue)
RDSRunning Digital Sum
RDSRadio Digital System
RDSSubchronic Reference Dose
RDSRio Dell Scotia (railway; California)
RDSReproductive and Developmental Sciences (various locations)
RDSRailway Development Society (UK)
RDSReport Definition Syntax
RDSRapid Design Service, Inc.
RDSRotary Drive System (aeromodelling)
RDSRemote Display System
RDSRisk Disclosure Statement (finance)
RDSResiduum Hydrotreating (technology)
RDSRussian Dolls Search
RDSResist Dispense System
RDSRoom Data Sheet (architectural drawings)
RDSRemote Dispense System
RDSRefractometric Dried Substance
RDSRelative Dispersion Slope
RDSRotorcraft Drive System
RDSRaman Difference Spectroscopy
RDSRequirements Documentation System
RDSRogers Department Store (Michigan)
RDSResource Directory Server
RDSReplicate Data Server
RDSRetinal Degeneration Gene, Slow
RDSRadar Distribution Switchboard
RDSRequirements Definition Study
RDSRadiological Defense Study
RDSRapid Deployment Suite
RDSRapid Dissemination System
RDSRequirement Development Sheet
RDSReplacement Determination System
RDSRegistry, Distribution and Sales (IACO Section)
RDSRecords & Design System
RDSRecovery Default Swap (finance)
RDSRequisition Distribution System
RDSRequest for Data Services
RDSReverse Directory Service (website)
RDSRemote Detail Scanners
RDSRandom-Digit Sample
RDSRevised DTD Software
RDSRange Data System
RDSRapport de Sûreté (French: Safety Analysis Report; nuclear installations)
RDSRenegade Death Squad (gaming clan)
RDSRetail Delivery System
RDSRecycling & Disposal Service, Inc. (Washington)
RDSRapport Dialup Switch
RDSRaptor Design Studio (Fremont, OH)
RDSRed Dot Strategies, LLC (investing)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
Each level of the recursive data structure is green, yellow, or red, with the color based on the state of the structure at that level.
The project's goal was to automatically transform or compile Prolog programs to obtain code that updates recursive data structures much the same way an imperative program would.
This article includes a performance evaluation, which shows that our system achieves significant performance improvements in Prolog programs that manipulate recursive data structures. A performance analysis is also done by using informal, hand transformation of sample Scheme programs, which suggests that significant performance improvements would be possible there as well.
To examine how these assumptions can be used to approximate clause probabilities, let us consider the class of predicates that manipulate recursive data structures by using simple recursion.
Experience with the transformation system reported here indicates that updates to reusable recursive data structures are performed significantly faster by UIP code than by standard code.
Compile-time memory reuse in single-assignment programming languages: Updating recursive data structures in place.
This language of a functional programming style supports concurrent processing of dynamic, recursive data structures and combines functionality with the possibilities of the run-time optimization.
This yields analyses of high precision and provides a logical chararterization of abstract interpretations involving tensor products and uniform properties of recursive data structures. An effective method for proving properties of a program based on fixed-point iteration is obtained by grouping logically equivalent formulae of the same type into equivalence classes, obtaining a lattice of properties of that type, and then defining an abstract interpretation over these lattices.
(p are used to represent properties of recursive data structures, but note that for recursive data structures we do not have that the structure of the type is the same as the structure of the formulae.
The irreducible formulae describing recursive data structures can intuitively be read as "each element satisfies [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and for each i [element of] I there is an element satisfying ??i." The following equivalences concerning recursive structures are variations of the axioms ??
The modeling of uniform properties of recursive data structures builds on the work by Abramsky [1991b] on characterizing powerdomains logically, which in turn is inspired by Winskel's work on the relationship between modalities and powerdomains [Winskel 1983]; see also Gunter and Scott [1990].
Except for recursive data structures, his logic is similar to ours, but has a different notion of irreducibility that allows an extra rule for function properties, viz.,