• 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 21 - 30 of 853
Next 10 →

SimpleConcepts: A Lightweight Extension to C++ to Support Constraints on Generic Types

by Reed Milewicz , Marjan Mernik , Peter Pirkelbauer
"... Abstract. Generic programming plays an essential role in C++ software through the use of templates. However, both the creation and use of template libraries is hindered by the fact that the language does not allow programmers to specify constraints on generic types. To date, no proposal to update t ..."
Abstract - Add to MetaCart
the language to provide concepts has survived the committee process. Until that time comes, as a form of early support, this paper introduces SimpleConcepts, an extension to C++11 that provides support for concepts, sets of constraints on generic types. SimpleConcepts features are parsed according to an island

Parallel array classes and lightweight sharing mechanisms

by Steve W Otto - In Proceedings of the First Annual Objet-Oriented Numerics conference , 1993
"... ABSTRACT We discuss a set of parallel array classes, MetaMP, for distributed-memory architectures. The classes are implemented in C++ and interface to the PVM or Intel NX message-passing systems. An array class implements a partitioned array as a set of objects distributed across the nodes-a " ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
ABSTRACT We discuss a set of parallel array classes, MetaMP, for distributed-memory architectures. The classes are implemented in C++ and interface to the PVM or Intel NX message-passing systems. An array class implements a partitioned array as a set of objects distributed across the nodes-a "

Supporting Lightweight Adaptations in Context-aware Wireless Sensor Networks

by Amirhosein Taherkordi, Romain Rouvoy, Quan Le-trung, Frank Eliassen
"... Context-aware environments are being populated with Wireless Sensor Networks (WSNs), observing sensory context elements, and adapting their behavior accordingly. Although adaptation has been known as a common approach for addressing context-awareness, the resource-scarceness of WSNs raises the requi ..."
Abstract - Add to MetaCart
the requirements for lightweight adaptations. The related work in the field of updating WSN applications mostly focuses on i) developing techniques to distribute a monolithic program to a set of nodes or ii) reprogramming the whole sensor nodes, which have been seen as impractical and inefficient solutions for a

A Self-Applicable Partial Evaluator for the Logic Programming Language Godel

by Corin Alistair Gurr
"... Partial evaluation is a program specialisation technique that has been shown to have great potential in logic programming, particularly for the specialisation of meta-interpreters by the so-called “Futamura Projections”. Meta-interpreters and other meta-programs are programs which use another progra ..."
Abstract - Cited by 37 (1 self) - Add to MetaCart
program as data. In this thesis we describe a partial evaluator for meta-programs in the logic programming language Gödel. Gödel is a declarative, general-purpose language which provides a number of higher-level programming features, including extensive support for meta-programming with a ground

2.2 The Lightweight Coordination Calculus (LCC)..................... 11

by Sindhu Joseph, Adrian Perreau De Pinninck, Dave Robertson, Carles Sierra, Chris Walton , 2006
"... In this deliverable we introduce ambient LCC, a language to program interaction models for P2P networks. The language is based on process algebra concepts and is specially designed to support the execution of electronic institutions. An algorithm that automatically translates electronic institution ..."
Abstract - Add to MetaCart
In this deliverable we introduce ambient LCC, a language to program interaction models for P2P networks. The language is based on process algebra concepts and is specially designed to support the execution of electronic institutions. An algorithm that automatically translates electronic institution

Next Generation Weather Radar Program Operational Support Facility

by Dual-Polarization Radar Fundamentals, Edward A. Brandes
"... this report is to provide an introduction to radar polarimetrySthe theory and physical basis for the measurementsSand to discuss possible applications (algorithms). [Important supplements to this discussion are given by Oguchi (1983), Bringi and Hendry (1990), Zrni# (1991), and Doviak and Zrni# (199 ..."
Abstract - Add to MetaCart
to be roughly applicable to other precipitation types (hail and snow) as well. The growth of raindrops is determined largely by collision and coalescence processes which reduce the number of small drops and shift the distribution to larger drops. Growth is countered by breakup once the drops reach a certain

Lightweight compilation of (C)LP to JavaScript

by Jose F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo - UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING , 2003
"... We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in vi ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features

The SIRTF Telescope Test Facility

by Daniel R. Coulter, Steven A Macenka, Steven A, Mark J. Lysek, Melora E. Larson
"... this paper we describe the key features of the Telescope Test Facility developed at the Jet Propulsion Laboratory. Information on the cryogenic performance including details of the test cycle time and cryogen hold time be included. Emphasis will be on the operation of the facility. Data will be pres ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
and demonstrate an ultra-lightweight cryogenic infrared telescope for the Space Infrared Tel Facility This effort, which is part of the NASA Code X supported Telescope Technology Program, has three principal elements. The first is the design and development of the Infrared Telescope Technology Testbed which is a

Aspects of System Support for Distributed Computing

by John Dempsey, Vinny Cahill , 1997
"... The aim of this paper is to introduce our research into the problem of providing support for different elements of distributed computing, such as distribution and synchronisation, and how this relates to Aspect-Oriented Programming. Our previous research has provided support for individual features ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
support for implementing different features of distributed applications using meta-object classes and meta-level programming. However, the question arises as to how we can combine a number of meta-object classes (and the features they represent) to create a single application. We are also interested

Interdisciplinary Facilities that Support Collaborative Teaching and Learning

by Mike M. Asoodeh, Roy Bonnette
"... It has become widely accepted that the computer is an indispensable tool in the study of science and technology. Thus, in recent years curricular programs such as Industrial Technology and associated scientific disciplines have been adopting and adapting the computer as a tool in new and innovative ..."
Abstract - Add to MetaCart
ways to support teaching, learning, and research. Industrial Technology is a management-oriented technical curriculum built upon studies from a variety of disciplines related to manufacturing technology. Included are a sound knowledge and understanding of material and production processes; principles
Next 10 →
Results 21 - 30 of 853
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