Stephen Bush - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged generic programming

Generic Optimality Conditions for Semialgebraic Convex ProgramsJérôme Bolte, Aris Daniilidis, Adrian S. Lewis. mor, 36(1):55-70, 2011. [doi]

Efficient run-time dispatching in generic programming with minimal code bloatLubomir D. Bourdev, Jaakko Järvi. SCP, 76(4):243-257, 2011. [doi]

Corrective hints for type incorrect generic Java programsNabil El Boustani, Jurriaan Hage. PEPM 2010: 5-14 [doi]

Experiments with a Generic Dantzig-Wolfe Decomposition for Integer ProgramsGerald Gamrath, Marco E. Lübbecke. wea 2010: 239-252 [doi]

Special Issue on Generic Programming EditorialRalf Hinze. JFP, 20(3-4):211-212, 2010. [doi]

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010Bruno C. d. S. Oliveira, Marcin Zalewski, editors, ACM, 2010.

A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded SystemsDuhee Lee, Chang-Gun Lee, Kanghee Kim. rtss 2009: 93-104 [doi]

A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessorsAryabartta Sahu, M. Balakrishnan, Preeti Ranjan Panda. date 2009: 1018-1023 [doi]

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path ProblemsChangjing Wang, Jinyun Xue. faw 2009: 27-39 [doi]

Minimizing dependencies within generic classes for faster and smaller programsDan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup. OOPSLA 2009: 425-444 [doi]

Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsPietro Ferrara. SEFM 2009: 169-178 [doi]

Synthesis of Functions Using Generic ProgrammingPieter W. M. Koopman, Rinus Plasmeijer. AAIP 2010: 25-49 [doi]

Automatic software fault localization using generic program invariantsRui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund. SAC 2008: 712-717 [doi]

Oto, a generic and extensible tool for marking programming assignmentsGuy Tremblay, F. Guérin, A. Pons, Aziz Salah. SPE, 38(3):307-333, 2008. [doi]

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party DevelopersMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum. PADL 2008: 133-149 [doi]

Generalized Semi-Infinite Programming: on generic local minimizersHarald GÃ¼nzel, Hubertus Th. Jongen, Oliver Stein. jgo, 42(3):413-421, 2008. [doi]

micrOMEGAs 2.0.7: a program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 177(11):894-895, 2007. [doi]

micrOMEGAs2.0: A program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 176(5):367-382, 2007. [doi]

Practical generic programming in OCamlJeremy Yallop. ml 2007: 83-94 [doi]

Modular and generic programming with interpreterlibPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. ASE 2007: 473-476 [doi]

On Optimising Shape-Generic Array Programs Using Symbolic Structural InformationKai Trojahner, Clemens Grelck, Sven-Bodo Scholz. IFL 2007: 1-18 [doi]

Towards Generic Programming with Sized TypesAndreas Abel. mpc 2006: 10-28 [doi]

A generic view of Dantzig-Wolfe decomposition in mixed integer programmingFrançois Vanderbeck, Martin W. P. Savelsbergh. orl, 34(3):296-306, 2006. [doi]

Design patterns as higher-order datatype-generic programsJeremy Gibbons. ICFP 2006: 1-12 [doi]

A Simple Metric for Ad Hoc Network AdaptationStephen Bush. IEEE Journal on Selected Areas in Communications Journal, 23(12), Dec 2005.

A Simple Metric for Ad Hoc Network AdaptationStephen Bush. IEEE Journal on Selected Areas in Communications Journal, 23(12), Dec 2005.

Programmable Agents for Generic Distributed AuthorisationNick Antonopoulos, James Heather, Roger M. A. Peel. ic 2005: 174-180

Alphabets in generic programmingJuha Kärkkäinen. stringology 2005: 163-173

Generic programming for high-performance scientific applicationsLie-Quan Lee, Andrew Lumsdaine. concurrency, 17(7-8):941-965, 2005. [doi]

Code Flexibility and Program Efficiency by Genericity: Improving Cgal s ArrangementsEfi Fogel, Ron Wein, Dan Halperin. esa 2004: 664-676 [doi]

Parametric Fortran - A Program Generator for Customized Generic Fortran ExtensionsMartin Erwig, Zhe Fu. PADL 2004: 209-223 [doi]

Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java ProgramsDiarmuid O Donoghue, James F. Power. csreaESA 2004: 192-198

Generic proofs for combinator-based generic programsFermín Reig. sfp 2006: 17-32

The implementation of generic smart pointers for advanced defensive programmingAnthony Savidis. SPE, 34(10):977-1009, 2004. [doi]

Universes for Generic Programs and Proofs in Dependent Type TheoryMarcin Benke, Peter Dybjer, Patrik Jansson. njc, 10(4):265-289, 2003.

A Generic Program for Minimal Subsets with ApplicationsRudolf Berghammer. LOPSTR 2003: 144-157 [doi]

GUPRO - Generic Understanding of ProgramsJürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter. ENTCS, 72(2):47-56, 2002. [doi]

The Complexity of Generic Primal Algorithms for Solving General Integer ProgramsAndreas S. Schulz, Robert Weismantel. mor, 27(4):681-692, 2002. [doi]

Discussion: The Role of Types in Generic Programmingifip2-1 2003: 121-126

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR MethodJinyun Xue. aplas 2001: 159-169

Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected PapersMehdi Jazayeri, Rüdiger Loos, David R. Musser, editors, Volume 1766 of Lecture Notes in Computer Science, Springer, 2000.

A Generic Processor for Program Validation and DebuggingGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo. discipl 2000: 63-107

The Ciao Modular, Standalone Compiler and Its Generic Program Processing LibraryDaniel Cabeza Gras, Manuel V. Hermenegildo. TCS, 30(3):144-162, 1999. [doi]

Generic System Support for Deductive Program DevelopmentAbdelwaheb Ayari, David A. Basin. TACAS 1996: 313-328

Generic Program Representation and Evaluation of Systolic Computations on MulticomputersBrian J. d Auriol, Virendrakumar C. Bhavsar. pdpta 1996: 1213-1224

Generic Programming (Abstract)Alexander A. Stepanov. ershov 1996: 40

A Generic Program for Sequential Decision ProcessesOege de Moor. plilp 1995: 1-23

Deriving Programs Using Generic AlgorithmsV. R. Yakhnis, J. A. Farrell, S. S. Shultz. IBMSJ, 33(1):158-181, 1994.

Generic ProgrammingDavid R. Musser, Alexander A. Stepanov. issac 1989: 13-25

Corrective Hints for Type Incorrect Generic Java ProgramsNabil El Boustani, Jurriaan Hage. PEPM 2010:

runs on WebDSL