Results 1 - 10
of
753
Feature-Oriented Programming and the AHEAD Tool Suite
, 2004
"... Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of features, like many consumer products (e.g., personal computers, automobiles). FOP technology translates such declarative spec ..."
Abstract
-
Cited by 66 (3 self)
- Add to MetaCart
Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of features, like many consumer products (e.g., personal computers, automobiles). FOP technology translates such declarative specifications into efficient programs.
Feature-Oriented Programming and the AHEAD Tool Suite
"... Abstract 1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of features, like many consumer products (e.g., personal computers, automobiles). FOP technology translates such decla ..."
Abstract
- Add to MetaCart
such declarative specifications into efficient programs. AHEAD is a model of FOP that is based on step-wise refinement, which advocates that complex programs can be synthesized from simple programs by incrementally adding features. The AHEAD Tool Suite (ATS) supports program development in AHEAD. AHEAD and ATS
Feature-Oriented Programming and the AHEAD Tool Suite
"... Abstract 1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of features, like many consumer products (e.g., personal computers, automobiles). FOP technology translates such decla ..."
Abstract
- Add to MetaCart
such declarative specifications into efficient programs. AHEAD is a model of FOP that is based on step-wise refinement, which advocates that complex programs can be synthesized from simple programs by incrementally adding features. The AHEAD Tool Suite (ATS) supports program development in AHEAD. AHEAD and ATS
Scaling Step-Wise Refinement
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2004
"... Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and mu ..."
Abstract
-
Cited by 454 (41 self)
- Add to MetaCart
and multiple noncode representations. AHEAD shows that software can have an elegant, hierarchical mathematical structure that is expressible as nested sets of equations. We review a tool set that supports AHEAD. As a demonstration of its viability, we have bootstrapped AHEAD tools from equational
Realization of the SISO Architecture for PBCH of 3GPP-LTE using PlanAhead Tool and Virtex-5 Device
"... Abstract Wireless network has been improved after 3G by means of higher data rates with better coverage and by reducing latency. LTE is the technology that provides backward compatibility with 3G and 4G technologies. Compared with 3G, it offers high data rates of the order of 50Mbps for uplink and ..."
Abstract
- Add to MetaCart
Abstract Wireless network has been improved after 3G by means of higher data rates with better coverage and by reducing latency. LTE is the technology that provides backward compatibility with 3G and 4G technologies. Compared with 3G, it offers high data rates of the order of 50Mbps for uplink and 100Mbps for downlink. LTE is able to provide services in scalable bandwidth (1.4,
Realization of Physical Downlink Control Channel (PDCCH) for LTE under SISO Environment using PlanAhead Tool and
"... Abstract − Long Term Evolution (LTE) permits mobile service providers to provide services in an efficient manner such that the data rate is increased with a wider bandwidth. The control channels of LTE include three channels namely ..."
Abstract
- Add to MetaCart
Abstract − Long Term Evolution (LTE) permits mobile service providers to provide services in an efficient manner such that the data rate is increased with a wider bandwidth. The control channels of LTE include three channels namely
Folded Low Resource HARQ Detector Design and Tradeoff Analysis with Virtex 5 using PlanAhead Tool
"... Abstract—Physical Hybrid Automatic Repeat reQuest (HARQ) Indicator Channel (PHICH) is used to report the correct reception of the uplink user data to the User Equipment (UE) in the form of Acknowledgment (ACK) or Negative ACK (NACK). In Long Term Evolution –Advanced (LTE-A) base station and UE have ..."
Abstract
- Add to MetaCart
Abstract—Physical Hybrid Automatic Repeat reQuest (HARQ) Indicator Channel (PHICH) is used to report the correct reception of the uplink user data to the User Equipment (UE) in the form of Acknowledgment (ACK) or Negative ACK (NACK). In Long Term Evolution –Advanced (LTE-A) base station and UE have multiple antenna ports to provide transmit and receive diversities. An algorithm for decoding the HARQ value at UE is designed using maximum likelihood (ML) and maximal ratio combining (MRC) methods. Further, novel low complexity receiver architectures based on the VLSI Digital Signal Processing (DSP) techniques- folding method and parallel processing with folding method to reduce the operational units is proposed to reduce resource consumption. Tradeoff analysis of the proposed structures in terms of the timing cycles, operational resource requirement and resource complexity is discussed. The proposed system is optimal compared to other possible ways as it employs parallel processing with folding approach. It is a suitable solution for the area optimized hardware implementation of physical downlink channel receiver structures LTE-A whose delay results also meet the frame timing constraint. The proposed architectures are used to implement in Field Programmable Gate Array (FPGA) Virtex-5 xc5vlx50tff1136-1 device for single/multiple antenna configurations at base station and UE.
TransAhead: A Computer-Assisted Translation and Writing Tool G G
"... We introduce a method for learning to predict text completion given a source text and partial translation. In our approach, predictions are offered aimed at alleviating users ’ burden on lexical and grammar choices, and improving productivity. The method involves learning syntax-based phraseology an ..."
Abstract
- Add to MetaCart
and translation equivalents. At run-time, the source and its translation prefix are sliced into ngrams to generate and rank completion candidates, which are then displayed to users. We present a prototype writing assistant, TransAhead, that applies the method to computer-assisted translation and language learning
Electronic Documents: What Lies Ahead
- Proc. 4th International Conference on Asian Digital Libraries (ICADL 2001), Banglore
, 2001
"... The progressive research and development in computing and information processing technologies have fuelled its way to the emergence of a new range of electronic documents that are expected to fully exploit the electronic medium’s basic properties of added interactivity and flexibility. Coupled with ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
is to investigate how various state-of-the-art and emerging tools and features can be integrated into one single user interface environment to satisfy end users ’ varying needs in interacting with electronic information. Apart from being able to draw out a host of essential features of future e
Turn-boundary projection: Looking ahead
"... Coordinating with others is hard; and yet we accomplish this every day when we take turns in a conversation. How do we do this? The present study introduces a new method of measuring turn-boundary projection that enables researchers to achieve more valid, flexible, and temporally informative data on ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
the current speaker finished speaking. This suggests that observer gaze is closely aligned with perceptual processes of turn-boundary projection, and thus may equip the field with the tools to explore how we manage to take turns.
Results 1 - 10
of
753