- Subscribe to this page:
- RSS
- Email Alert
recursive
(870 results)
White Papers, Webcasts, and Resources
-
Check out this webcast to learn more about fast and efficient business security strategies. You're in the midst of an arms race, make sure you win it.
-
White Papers
Recursion in Java: A Quantative Analysis
December 10, 2009 12:00am PST
Many problems are solved most readily with recursive algorithms, and recursive algorithms are often shorter and clearer than their iterative counterparts. Recursive algorithm description is...
Provided by: Research India Publications
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by: IT University of Copenhagen
-
White Papers
Compilation of Extended Recursion in Call-by-Value Functional Languages
February 7, 2009 12:00am PST
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions...
Provided by: University of Savoie
-
White Papers
Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation
January 1, 2008 12:00am PST
This paper considers the problem of translating XML queries into SQL when XML documents have been stored in an RDBMS using a schema-based relational decomposition. Surprisingly, there is no...
Provided by: University of Wisconsin
-
White Papers
Map-Reduce Extensions and Recursive Queries
March 24, 2011 12:00am PDT
The authors survey the recent wave of extensions to the popular map-reduce systems, including those that have begun to address the implementation of recursive queries using the same computing...
Provided by: Association for Computing Machinery
-
-
White Papers
Path Resolution for Nested Recursive Modules
February 23, 2010 12:00am PST
The ML module system facilitates the modular development of large programs, through decomposition, abstraction and reuse. To increase its flexibility, much work has been devoted to extending it...
Provided by: Nagoya University
-
White Papers
Path Resolution for Nested Recursive Modules
February 23, 2010 12:00am PST
The ML module system facilitates the modular development of large programs, through decomposition, abstraction and reuse. To increase its flexibility, much work has been devoted to extending it...
Provided by: Nagoya University
-
White Papers
Getting Recursive: A Quick Primer on Querying Hierarchical Data in Oracle Database 11g Release 2
February 1, 2010 12:00am PST
The Recursive database processing also known as the bill of materials or parts explosion problem is related to a range of application fields such as human resources, manufacturing, financial...
Provided by: Oracle
-
White Papers
Subcubic Algorithms for Recursive State Machines
January 12, 2008 12:00am PST
The authors show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in slightly...
Provided by: Association for Computing Machinery
-
White Papers
On the Error Floor Performance of SCTCM Systems With Non-Recursive Inner Codes
June 1, 2007 12:00am PDT
It has previously been shown that Serially Concatenated Trellis Coded Modulation (SCTCM) with a non-recursive inner convolutional code can achieve convergence close to capacity. In this paper, the...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
On the Error Floor Performance of SCTCM Systems With Non-Recursive Inner Codes
June 1, 2007 12:00am PDT
It has previously been shown that Serially Concatenated Trellis Coded Modulation (SCTCM) with a non-recursive inner convolutional code can achieve convergence close to capacity. In this paper, the...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Localized Recursive Estimation in Energy Constrained Wireless Sensor Networks
June 1, 2006 12:00am PDT
This paper proposes a localized recursive estimation scheme for parameter estimation in wireless sensor networks. Given any parameter of a target occurring at some location and time, a number of...
Provided by: Academy Publisher
-
White Papers
HARQ Throughput Enhancement Using Maximum Likelihood Block Detection With Recursive QR Packet Combining and M-Algorithm for Single-Carrier MIMO
February 3, 2011 12:00am PST
For achieving very high-speed and high quality packet transmission, the joint use of Multi-Input Multi-Output (MIMO) spatial multiplexing and Hybrid Automatic Repeat reQuest (HARQ) is very...
Provided by: Tohoku University
-
White Papers
A Dynamic Recursive Unified Internet Design (DRUID)
December 30, 2010 12:00am PST
The Dynamic Recursive Unified Internet Design (DRUID) is a future Internet design that unifies overlay networks with conventional layered network architectures. DRUID is based on the fundamental...
Provided by: Reed Elsevier
-
Software
Recursion Explained in Plain English 1.0 (Mobile)
September 5, 2009 12:00am PDT
This is an ebook covering the computer science topic of Recursion. It is designed for first year college students taking introductory Computer Science courses, or for High School students taking...
Provided by: George Armhold
-
White Papers
On Finitely Recursive Programs
January 19, 2009 12:00am PST
Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground queries are...
Provided by: Universita Degli Studi di Napoli Federico II
-
White Papers
Hybrid ARQ Scheme Based on Recursive Convolutional Codes and Turbo Decoding
June 1, 2007 12:00am PDT
The authors propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic recursive...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Hybrid ARQ Scheme Based on Recursive Convolutional Codes and Turbo Decoding
June 1, 2007 12:00am PDT
The authors propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic recursive...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Time-Complexity Semantics for Feasible Affine Recursions
March 20, 2007 12:00am PDT
The authors' ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2...
Provided by: Cornell University
-
White Papers
Recursively Partitioned Static IP Router-Tables
October 24, 2006 12:00am PDT
The authors propose a method - recursive partitioning - to partition a static IP router table so that when each partition is represented using a base structure such as a multibit trie or a hybrid...
Provided by: University of Florida
Keep Up with TechRepublic
Media Gallery
White Papers, Webcasts, and Downloads
-
DownloadsV-locity 3 Virtual Platform Disk Optimizer - 30 Day Trial
It helps when you have an understanding of the resources you have access to. This is the same idea behind V-Locity 3 Virtual Platform Disk Optimizer. It'll give you a better look at your computing resources. Download this free trial today.
From Diskeeper -
Downloads
V-locity 3 Virtual Platform Disk Optimizer - 30 Day Trial
From Diskeeper -
White Papers
Slicing Data Center Inefficiencies
From Hewlett-Packard (HP) -
White Papers
Optimize the Virtual Environment without Draining Your Resources
From Diskeeper
