• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 753
Next 10 →

Feature-Oriented Programming and the AHEAD Tool Suite

by Don Batory , 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

by unknown authors
"... 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

by unknown authors
"... 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

by Don Batory, Jacob Neal Sarvela, Axel Rauschmayer - 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

by S Syed , Ameer Abbas , A Kanimozhi , S J Thiruvengadam
"... 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

by Virtex Fpga, S. Syed Ameer Abbas, Geethu. K. S, S. J. Thiruvengadam
"... 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

by S. Syed Ameer Abbas, S. J. Thiruvengadam, S. Susithra, Sivakasi Tamilnadu
"... 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

by unknown authors
"... 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

by Chern Li Liew, Schubert Foo - 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

by Marisa Tice, Tania Henetz
"... 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.
Next 10 →
Results 1 - 10 of 753
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University