Search Sciweavers | Sciweavers

6102 search results - page 6 / 1221

» Generating Optimizing Specializers

click to vote

AMAST
2008
Springer

85views Software Engineering» more AMAST 2008»

Generating Specialized Rules and Programs for Demand-Driven Analysis

13 years 9 months ago

Download www.cs.sunysb.edu

Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu

claim paper

Read More »

click to vote

MOC
2000

80views more MOC 2000»

On a unit group generated by special values of Siegel modular functions

13 years 7 months ago

Download www.ams.org

Abstract. There has been important progress in constructing units and Sunits associated to curves of genus 2 or 3. These approaches are based mainly on the consideration of propert...

Takashi Fukuda, Keiichi Komatsu

claim paper

Read More »

click to vote

CP
2010
Springer

130views Artificial Intelligence» more CP 2010»

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

13 years 6 months ago

Download www.cs.st-andrews.ac.uk

Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...

Ian P. Gent, Christopher Jefferson, Ian Miguel, Pe...

claim paper

Read More »

click to vote

PLILP
1995
Springer

109views Programming Languages» more PLILP 1995»

Efficient Multi-level Generating Extensions for Program Specialization

13 years 11 months ago

Download www.sato.kuis.kyoto-u.ac.jp

Robert Glück, Jesper Jørgensen

claim paper

Read More »