
	Where results make sense

Topic: Program synthesis

Related Topics

Logic programming

Genetic programming

Artificial intelligence

Expert system

Artificial being

Distributed artificial intelligence

Artificial life

Genetic algorithm

Natural language processing

Power to the people

Knowledge representation

Swarm intelligence

Machine learning

Computer vision

Package deal fallacy

	Automatic program synthisizer - Patent 5038296
		The program generating mean generates variable attributes required in the partial programs as the definition or retrieval conditions of variable attributes on the basis of the program synthesis goals and outputs the conditions to the variable attribute managing means.
		The automatic program synthesizer B comprises a program synthesis rule memory means 22, a program synthesis goal generating means 23, a program generating means 24, a variable name generating means 25, a variable attribute memory means 26, an interpolation program synthesis rule memory means 27, and a variable attribute managing means 28.
		Upon reception of the interpolation program synthesis goal 32, the program generating means 24 generates a program in accordance with the same technique as in reception of the program synthesis goal 23a and sends it as an interpolation program 33 to the variable attribute managing means 28.
	www.freepatentsonline.com /5038296.html (4312 words)

	Program synthesis - Wikipedia, the free encyclopedia
		Program synthesis comprises a range of technologies for the automatic generation of executable computer programs from high-level specifications of their behaviour.
		However, sometimes specific programming languages are limited such that one has to introduce repetition of a concept or pattern in order to keep using the same language.
		Program generation tends to focus on automating the repetition seen in the first example, when a better approach is perhaps to find a higher-order abstraction, which is multiplication in this case.
	en.wikipedia.org /wiki/Program_synthesis (266 words)

	Logic Program Synthesis - DEVILLE, LAU (ResearchIndex) (Site not responding. Last check: 2007-10-10)
		363 Programming in Prolog (context) - Clocksin, Mellish - 1984
		10 Induction of Schemata for Program Synthesis (context) - Tinkham - 1990
		6 Clich'e programming in Prolog (context) - Barker-Plummer - 1990
	citeseer.ist.psu.edu /deville93logic.html (1604 words)

	Program Synthesis
		The idea of presenting human-understandable task specifications to a computer system and receiving in return a program that is known to meet the specifications submitted is hard to fully appreciate, in terms of both the intellectual accomplishment represented and the economic impact such capability would have.
		The KIDS program, together with the associated research effort, is a sophisticated example of the constrained program synthesis concept.
		We will not comment extensively on the other research in program synthesis and the opportunities there, as many of the critical technologies needed are those of other domains of AD and discussed under other areas.
	www.cs.duke.edu /AutoDedFD/report/node12.html (746 words)

	CS 394P: Program Synthesis by Deduction
		The purpose of this assignment is to experiment with deductive synthesis of programs that consist of calls to subroutines from a library, similar to the programs synthesized by Amphion (Stickel et al.
		Programs are specified by stating a set of facts, such as the types of inputs, then stating the goal of the program.
		Use the program to find the bearing to San Antonio after starting at Austin and traveling 70000 meters W. A helicopter starts at Austin and flies 80000 meters at bearing 20 to pick up a clue; then it flies 100000 meters NW and picks up a treasure.
	www.cs.utexas.edu /users/novak/asg-deduct.html (617 words)

	FLORIDA BAY PROGRAM MANAGEMENT COMMITTEE
		Synthesis Reports addressing each central question should be completed within one-year and should be put on electronic media (websites, CD ROMs, etc) for review.
		Briefly, synthesis is being pursued through a number of smaller, more focussed activities instead of focusing exclusively on each question.
		The Program will draft a proposal based on these discussions to be used in discussions with cooperating agencies aimed at securing support for this work.
	www.aoml.noaa.gov /ocd/sferpm/pmcreportfy98.html (2716 words)

	Publication Series - TCRP Synthesis Report - TRB.org
		The synthesis focuses on avoidance and resolution of disputes, examines ways of settling disputes at their inception, and considers the experiences of the transit industry in the use of alternative dispute resolution techniques.
		TRB Transit Cooperative Research Program (TCRP) Synthesis 23: Inspection Policy and Procedures for Rail Transit Tunnels and Underground Structures describes the current state of the practice for specific management policies and procedures and engineering/physical techniques used to inspect rail transit tunnels and underground structures.
		TRB Transit Cooperative Research Program (TCRP) Synthesis 21: Improving Transit Security examines the nature and extent of transit crime, effective strategies to combat problem situations, and case studies of specific control practices deemed successful by transit agency professionals (with no distinctions drawn between bus and rail modes) are discussed.
	trb.org /news/blurb_browse.asp?id=6 (3890 words)

	National Synthesis Process for the Federal-State Cooperative (COOP) Program
		Therefore, it is vital that we maintain strong support for the COOP Program by continually demonstrating to the Administration, Congress, and the public, the Program's relevance and effectiveness from local, State, regional, and national perspectives.
		There are many fine examples of synthesis activities based on the COOP Program work, such as the statistical analysis of urban runoff quality in the mid-eighties, the more recent compilation of flood frequency equations, and much of the retrospective data used in NAWQA.
		A scholarly synthesis of national information, for publication as a Water Supply Paper or in a scientific journal A synthesis product is NOT a publication which is designed to describe USGS programs or activities.
	water.usgs.gov /admin/memo/information/wrd96.02.html (2302 words)

	Publication Series - NCHRP Synthesis Report - TRB.org
		This synthesis summarizes the current state of the practice by means of a survey of transportation planning agencies in the United States, Canada, and the United Kingdom.
		This synthesis presents a review of the current practices associated with the techniques and policies employed by state and local transportation agencies to address the many project development issues required for the reconstruction of existing urban and suburban freeways and expressways.
		The synthesis documents relevant background and recent information with regard to management practices that can help protect, preserve, or enhance the environment while at the same time allow road maintenance organizations to carry out their fundamental mission of maintenance and repair in a cost-effective manner.
	trb.org /news/blurb_browse.asp?id=5 (9755 words)

	Biomass Program: Synthesis Gas Fermentation
		Biomass can be converted to synthesis gas (consisting primarily of carbon monoxide, carbon dioxide, and hydrogen) via a high temperature gasification process.
		Anaerobic bacteria are then used to convert the synthesis gas into ethanol.
		Bioresource Engineering Inc. has developed synthesis gas fermentation technology that can be used to produce ethanol from cellulosic wastes with high yields and rates.
	www1.eere.energy.gov /biomass/synthesis_gas_fermentation.html (396 words)

	Simulation-Based Test Program Synthesis Reduces Analog Test Definition Time From 6 Months to 6 Weeks (Site not responding. Last check: 2007-10-10)
		Simulation-based test program synthesis reduced the time needed to define diagnostic tests for analog controller cards used on New York City subway cars from 6 months to 6 weeks.
		The lack of availability of simulation-based test synthesis tools for analog and mixed signal circuits would have made it necessary for the test designer to manually analyze each circuit in order to determine the voltage that would be generated at each node in response to various signals.
		Fortunately, last year a simulation-based synthesis tool was developed, and it offers the ability to automate analog and mixed signal circuit test simulation, fault analysis and fault isolation, and generates detailed test strategy reports.
	www.intusoft.com /DeepCreek.htm (1700 words)

	NASA IS/AR Task: Program Synthesis (Site not responding. Last check: 2007-10-10)
		The AutoBayes system generates data analysis programs (and documentation) from high-level data models and specifications, to be uplinked or generated onboard as science opportunities unfold.
		Automated program synthesis generates complex software from clear specifications and libraries of trusted subroutines, and aids verification and validation (VandV) through documentation, testing, and Code certification.
		The programs can be uplinked from the ground or generated on-board as science opportunities unfold.
	is.arc.nasa.gov /AR/tasks/PgmSyn.html (489 words)

	WSDOT - Research Funding
		The program initiates a number of synthesis studies annually that address concerns in the area of commercial truck and bus safety.
		A synthesis is a relatively short document (60-80 pages) that summarizes existing practice in a specific technical area based typically on a literature search and a survey of relevant organizations (e.g., state DOTs, enforcement agencies, commercial truck and bus companies, or other organizations appropriate for the specific topic).
		NCHRP is an applied, contract research program that develops near-term, practical solutions to acute problem areas that affect highway planning, design, construction, operation, and maintenance nationwide.
	www.wsdot.wa.gov /research/funding.htm (1462 words)

	Untitled Document (Site not responding. Last check: 2007-10-10)
		This fits under the synthesis umbrella because while the space of available algorithms might be known (and thus no new code is "synthesized"), the particular algorithms that would be best on a particular platform vary from platform to platform.
		Semantic Web Service Composition via Logic-based Program Synthesis This paper goes more in depth on what defines a web service, what challenges come with the increasing number of web services, and one of the solutions as an approach to web service composition via logic-based program synthesis.
		Automatic parallelization: parallelization is a form of software synthesis: the programmer supplies a sequential program with annotations on data layout and synchronization requirements, and the compiler produces a parallel SPMD program with the appropriate data partitioning and communication calls for the compilation target.
	www.cs.berkeley.edu /~bodik/cs294/description.html (1430 words)

	S.E.X. - synthesis essay
		The synthesis of ideas is also made organic in discussions.
		I was part of a design team with an MSU faculty member that created a substantial part of an on-line kineseology course with quizzes, practice assessments, and numerous video clips.
		The program synthesis outline above shows a sort of specific chronological evolution of courses and projects for me. As I look at it, it makes me ask.
	www.msu.edu /~fosterm8/synthesis.htm (1265 words)

	LOPSTR Home Page
		Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs.
		The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope.
		LOPSTR 00 was the Program Development stream of CL 2000, the First International Conference on Computational Logic, Monday 24th July to Friday 28th July, 2000, Imperial College, London, UK.
	www.cs.man.ac.uk /~kung-kiu/lopstr (1150 words)

	Master's Program Synthesis of Learning
		I began my first semester in my graduate program on the “rebound”—fresh off a break up from the classroom (thanks to budget cuts), but still with the hope in my heart of finding something better (sort of like after being dumped by a long time beau).
		Be it because of the influences of technology, the diversification of our society, the globalization of culture, or the expanding definitions of what it means to learn, teach, and lead—education is a discipline constantly on the move (the premises behind the course Concept of a Learning Society confirmed that for me).
		So, while I leave this program with a very concrete palate of newfound knowledge and skills, I also leave with a mind overflowing with questions and thoughts unresolved, unanswered, but definitely not un-thought of.
	www.msu.edu /user/lovela11/synthesis.htm (1333 words)

	U.S. Climate Change Science Program: Library
		Synthesis and Assessment Product 1.2 (Past Climate Variability and Change in the Arctic and at High Latitudes): Draft prospectus is issued along with invitation to comment.
		Synthesis and Assessment Product 2.4 (Trends in emissions of ozone-depleting substances, ozone layer recovery, and implications for ultraviolet radiation exposure): Draft prospectus is issued along with invitation to comment.
		Synthesis and Assessment Product 2.1 (Scenarios of Greenhouse Gas Emissions and Atmospheric Concentrations and Review of Integrated Scenario Development and Application): Peer-review comments on first draft of Part B (dtd 28 March 2006) along with the responses of the author team.
	www.climatescience.gov /Library/default.htm (4602 words)

	Test Program Synthesis for Path Delay Faults in Microprocessor Cores
		We propose to self-test a processor core by running an automatically synthesized test program which can achieve a high path delay fault coverage.
		Based on the processor's instruction set architecture, RTL netlist as well as gate-level netlist on which the path delay faults are modeled, the method generates deterministic tests (in the form of instruction sequences) by cleverly combining structural and instruction-level test generation techniques.
		The experimental results for two microprocessors indicate that the test instruction sequences can be sucessfully generated for a high percentage of testable path delay faults.
	www.gigascale.org /pubs/26.html (270 words)

	Difmap: An Interactive Program for Synthesis Imaging
		I didn't want users to have to continually switch between programs, so I decided instead to write an integrated difference mapping environment in which all of the functionality of the Caltech VLBI package would be incorporated within a single program.
		From a programming standpoint, experience with Difmap has shown that there is no need for packages to partition tasks into separate programs.
		To allow multiple programmers to work on a single program, and to keep the size of the resulting executable small, commands or modules can now be written as dynamically loadable entities, which can then be loaded on-the-fly into the running kernel of the program.
	www.cv.nrao.edu /adass/adassVI/shepherdm.html (2902 words)

	Program-Transformation.Org
		Program transformation techniques are used in a many areas of software engineering ranging from program synthesis, via program optimization and program refactoring, to reverse engineering and documentation generation.
		Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of program transformation in order to share results across communities.
		There are a number of EntryPoints that focus on specific aspects of program transformation.
	www.program-transformation.org /Transform/WebHome (401 words)

	US Climate Change Science Program: What's New (Site not responding. Last check: 2007-10-10)
		Synthesis and Assessment Product Product 2.1 (Scenarios of Greenhouse Gas Emissions and Atmospheric Concentrations and Review of Integrated Scenario Development and Application): Peer-review comments on first draft of Part B (dtd 28 March 2006) along with the responses of the author team.
		Synthesis and Assessment Product 3.3 (Weather and Climate Extremes in a Changing Climate): Final prospectus is issued along with comments on the draft prospectus.
		Synthesis and Assessment Product 2.1 (Scenarios of Greenhouse Gas Emissions and Atmospheric Concentrations and Review of Integrated Scenario Development and Application): Public review draft (Parts A and B) released along with invitation for public review and comment.
	www.climatescience.gov /new.htm (5737 words)

	Compositional Program Synthesis (Site not responding. Last check: 2007-10-10)
		The notion behind compostional program synthesis is that software development is best described as the process of adding capabilities to an existing structure.
		The FrankenSort experiment is a early investigation into the use of Compositional Program Synthesis for real-world applications.
		The more recent synthesis work has demonstrated that most interactions can be categorized with a limited vocabulary of behaviors.
	www.pnambic.com /CPS (271 words)

	MCH Library - Healthy Tomorrows and MCH Training Program (Site not responding. Last check: 2007-10-10)
		The HTPCP evaluation is part of MCHB's larger effort to document the impact of its investment in Title V Block Grant programs and its discretionary grant programs.
		The MCH Training Program is a significant component of the overall Title V program.
		Also available for downloading are technical documents used during the evaluation, such as the record review data collection form, site visit interview questions, Title V director focus group questions, and former trainee interview questions, as well as the findings of phase I of the evaluation and individual training priority fact sheets.
	www.mchlibrary.info /documents/sprans.html (1024 words)

	MAEE > Program Description
		The Portfolio gives the candidate the opportunity to demonstrate that he/she has engaged in a rigorous program of study and has acquired the knowledge and expertise befitting a person with a Master of Arts in English Education.
		Each caption explains, in approximately a paragraph, the relationship between the artifact and the candidate’s philosophy, and/or the area of growth illustrated by the artifact, and/or the synthesis of course work and program goals achieved by the artifact.
		In rare occasions, if scheduling permits, the grade for the Capstone experience may be withheld if only one area of the Portfolio or Presentation is lacking and if revision of that area would enable the entire Capstone Portfolio and Presentation to earn a P before the end of the semester.
	www.uncp.edu /maee/program/capstone.htm (1442 words)

	LINGUIST List 11.768: Athabaskan Prosody, Logic/Program Synthesis
		The aim of LOPSTR (http://www.cs.man.ac.uk/~kung-kiu/lopstr) is to stimulate and promote international research and collaboration on logic-based program development, and the workshop is open to contributions in logic-based program development in any paradigm.
		Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
		For programming-in-the-small, the following is a non-exhaustive list: - specification - analysis - synthesis - optimisation - verification - composition - transformation - reuse - specialisation - applications For programming-in-the-large, the above topics are particularly of current interest in the context of: - component-based software development - software architectures - design patterns and frameworks.
	www.linguistlist.org /issues/11/11-768.html (723 words)

Try your search on: Qwika (all wikis)