Florian Stenger - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program optimization

Parametricity for Haskell with Imprecise Error SemanticsFlorian Stenger, Janis Voigtländer. tlca 2009: 294-308 [doi]

An exact penalty on bilevel programs with linear vector optimization lower levelZ. Ankhili, A. Mansouri. eor, 197(1):36-41, 2009. [doi]

Detecting Change in Program Behavior for Adaptive OptimizationNitzan Peleg, Bilha Mendelson. IEEEpact 2007: 150-162 [doi]

Multistage Stochastic Programs via Stochastic Parametric OptimizationVlasta Kanková. or 2008: 63-68 [doi]

A branch-reduce-cut algorithm for the global optimization of probabilistically constrained linear programsMyun-Seok Cheon, Shabbir Ahmed, Faiz A. Al-Khayyal. mp, 108(2-3):617-634, 2006. [doi]

Global Optimization of Probabilistically Constrained Linear ProgramsShabbir Ahmed. cp 2006: 1 [doi]

Learning computer programs with the bayesian optimization algorithmMoshe Looks, Ben Goertzel, Cassio Pennachin. gecco 2005: 747-748 [doi]

RDVIS: A Tool that Visualizes the Causes of Low Locality and Hints Program OptimizationsKristof Beyls, Erik H. D Hollander, Frederik Vandeputte. iccS 2005: 166-173 [doi]

Investigation of Particle Swarm Optimization for Dynamic Reconfiguration of Field-Programmable Analog CircuitsPeter Tawdross, Andreas König. his 2005: 259-264 [doi]

Optimization of html automatically generated by wysiwyg programsJacqueline Spiesser, Les Kitchen. WWW 2004: 355-364 [doi]

Program Optimization in the Domain of High-Performance ParallelismChristian Lengauer. Dagstuhl 2004: 73-91 [doi]

Optimizations for Faster Execution of Esterel ProgramsDumitru Potop-Butucaru, Robert de Simone. memocode 2003: 227-236 [doi]

Field programmable gate arrays and analog implementation of BRIN for optimization problemsH. S. Ng, Sui-Tung Mak, Kai-Pui Lam. iscas 2003: 73-76 [doi]

Public-domain Matlab program to generate highly optimized VHDL for FPGA implementationKah-Howe Tan, Wen-Fung Leong, S. Kadam, Michael A. Soderstrand, Louis G. Johnson. iscas 2001: 514-517 [doi]

Optimizing General Chain ProgramsAnke D. Rieger. jlp, 40(2-3):251-271, 1999.

Optimization of SIMD Programs with Redundant ComputationsJörn Eisenbiegler. europar 1998: 456-462 [doi]

Event suppression by optimizing VHDL programsKwang-Il Park, Kyu Ho Park. tcad, 17(8):682-691, 1998. [doi]

Dynamic Currency Determination in Optimized ProgramsDhananjay M. Dhamdhere, K. V. Sankaranarayanan. TOPLAS, 20(6):1111-1130, 1998. [doi]

Locality Optimization for Program InstancesClaudia Leopold. ipps 1998: 225-233

Forward Dependence Folding as a Method of Communication Optimization in SPMD ProgramsZdzislaw Szczerbinski. para 1998: 543-550

Dynamic Program Description as a Basis for Runtime OptimizationJörn Gehring. europar 1997: 958-965

PREOPT-W: A Simulation Program for Off-line Optimization of Binary Gradient Separations in HPLC-I. Fundamentals and OverviewRafael Cela, Marta Lores. CANDC, 20(2):175-191, 1996. [doi]

Optimizing the Performance of Dynamically-Linked ProgramsW. Wilson Ho, Wei-Chau Chang, Lilian H. Leung. usenix 1995: 225-233

Simple and Effective Link-Time Optimization of Modula-3 ProgramsMary F. Fernandez. PLDI 1995: 103-115

A General Technique for Automatically Optimizing Programs Through the Use of Proof PlansPeter Madden, Ian Green. AISC 1995: 64-79

Optimization of GAPLog ProgramsFredrik Eklund, Andreas Kågedal. wlp 1994: 32-35

Accurate Static Estimators for Program OptimizationTim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison. PLDI 1994: 85-96

A Synchronous Model for Static Optimizations of Multicomputer ProgramsSalvatore Orlando, Marco Vanneschi. pepc 1992: 193-214

Optimizing Programs with Partial SpecificationsMark T. Vandevoorde. larch 1993: 262-281

Optimizing Programs over the Constructive RealsVernon A. Lee Jr., Hans-Juergen Boehm. PLDI 1990: 102-111

The Placement Optimization Program: A Practical Solution to the Disk File Assignment ProblemJoel L. Wolf. sigmetrics 1989: 1-10

Communication and code optimization in SIMD programsAllan L. Fisher, Peter T. Highnam. icpp 1988: 84-88

Optimizing Equational ProgramsRobert Strandh. RTA 1987: 13-24

SIMPAR: A Versatile Technology Independent Parameter Extraction Program Using a New Optimized Fit-StrategyW. Maes, Kristin M. De Meyer, Luc H. Dupas. tcad, 5(2):320-325, 1986. [doi]

Automatic Generation of Optimized ProgramsBarbara L. Gates, J. A. van Hulzen. eurocal 1985: 583-584

Optimizing Semi-Join Programs for Distributed Query ProcessingW. S. Luk, Lydia Luk. icod 1983: 298-316

Characterization of Program Loops in Code OptimizationDhananjay M. Dhamdhere, J. S. Keith. Comp. Lang., Syst. \& Struct., 8(2):69-76, 1983.

Synthesis and Optimization of Programs by Means of ::::P::::-FunktionsAndré Thayse. TC, 31(1):34-40, 1982.

The Use of Metasystem Transition in Theorem Proving and Program OptimizationValentin F. Turchin. icalp 1980: 645-657

A Good Program = A Structured Program + Optimization CommandsTakeshi Chusho. ifip 1980: 269-274

Program Optimization Using InvariantsShmuel Katz. TSE, 4(5):378-389, 1978.

Optimization Among Provably Equivalent ProgramsPaul Young. JACM, 24(4):693-700, 1977. [doi]

Nonexistence of Program Optimizers in Several Abstract SettingsDonald A. Alton. jcss, 12(3):368-393, 1976.

Equivalence and Optimization of Recursive Program SchemataZbigniew Zwinogrodzki. mfcs 1976: 569-575

Program Optimization Using InvariantsShmuel Katz. eci 1976: 287-309

Non-existence of program optimizers in an abstract settingDonald A. Alton, John L. Lowther. programm 1974: 253-265

Optimization of Structured ProgramsMarvin V. Zelkowitz, William G. Bail. SPE, 4(1):51-57, 1974.

Optimization among Provably Equivalent Programs (Preliminary Abstract)Paul Young. focs 1973: 197-199

Equivalence and optimization of programsA. A. Letichervsky. ershov 1974: 111-123

A Contribution to the Problem of the Optimization of ProgramsPeter Bachmann. ifip 1971: 397-401

runs on WebDSL