Tim Sheard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged staged computation

Using a computational domain and a three-stage node location procedure for multi-sweeping algorithmsE. Ruiz-Gironés, Xevi Roca, Josep Sarrate. aes, 42(9):700-713, 2011. [doi]

An Educational Testbed for the Computational Analysis of Collaboration in Early Stages of Software Development ProcessesThomas Kowark, Jürgen Müller 0003, Stephan Müller, Alexander Zeier. hicss 2011: 1-10 [doi]

Soft Set Theory for Feature Selection of Traditional Malay Musical Instrument SoundsNorhalina Senan, Rosziati Ibrahim, Dr. Nazri Mohd Nawi, Iwan Tri Riyadi Yanto, Tutut Herawan. icica 2010: 253-260 [doi]

Mint: A Multi-stage Extension of Java (Purdue University Computer Science Colloquia)Mathias Ricken. March 2010.

Mint: Java multi-stage programming using weak separabilityEdwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. PLDI 2010: 400-411 [doi]

A Two-stage Metascheduler Architecture for Computational GridsMohamed Amine Belkoura, NoÃ© Lopez-Benitez. gca 2009: 47-52

Soft error rate computation in early design stages using boolean satisfiabilitySyed Z. Shazli, Mehdi Baradaran Tahoori. glvlsi 2009: 101-104 [doi]

Multi-stage Programming for Mainstream Languages (TR09-02)Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. Technical Report TR09-02, 2009.

Computations with disjunctive cuts for two-stage stochastic mixed 0-1 integer programsLewis Ntaimo, Matthew W. Tanner. jgo, 41(3):365-384, 2008. [doi]

The radix-r one stage FFT kernel computationMarwan A. Jaber, Daniel Massicotte. icassp 2008: 3585-3588 [doi]

Virtual Film Stages Regarding Computational Intelligence as Communication Medium & the Application Analysis on the Sample from TurkeyPelin Yildiz. wce 2007: 55-60

Developing new formulations and relaxations of single stage capacitated warehouse location problem (SSCWLP): Empirical investigation for assessing relative strengths and computational effortR. R. K. Sharma, V. Berry. eor, 177(2):803-812, 2007. [doi]

MetaOCaml server pages: Web publishing as staged computationChristopher League. SCP, 62(1):66-84, 2006. [doi]

Sparse Spatial Sampling for the Computation of Motion in Multiple StagesAlireza S. Mahani, Reza Khanbabaie, Harald Luksch, Ralf Wessel. bc, 94(4):276-287, 2006. [doi]

Two-stage stochastic problems with correlated normal variables: computational experiencesIstván Deák. anor, 142(1):79-97, 2006. [doi]

A Language Independent Framework for Context-sensitive FormattingMark G. J. van den Brand, Taeke Kooiker, Jurgen J. Vinju, Niels P. Veerman. CSMR 2006: 103-112 [doi]

Staged computation with names and necessityAleksandar Nanevski, Frank Pfenning. JFP, 15(5):893-939, 2005. [doi]

Special Issue on Computational Approaches for Early Stages of Design Kumiyo Nakakoji. kbs, 18(8):381-382, 2005. [doi]

Natural AlgorithmsJoshua J. Arulanandham. phd dissertation, University of Auckland, 2005.

Relationally Staged Computations in Calculi of Mobile ProcessesNeil Ghani, Kidane Yemane, Björn Victor. ENTCS, 106:105-120, 2004. [doi]

Inlining as staged computationStefan Monnier, Zhong Shao. JFP, 13(3):647-676, 2003. [doi]

On Stage Ordering in Staged ComputationZhenghao Wang, Richard R. Muntz. GPCE 2003: 77-96 [doi]

A modal analysis of staged computationRowan Davies, Frank Pfenning. JACM, 48(3):555-604, 2001. [doi]

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroMLSteven E. Ganz, Amr Sabry, Walid Taha. ICFP 2001: 74-85

MetaML and multi-stage programming with explicit annotationsWalid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]

On the Logical Foundations of Staged Computation (Abstract of Invited Talk)Frank Pfenning. PEPM 2000: 33 [doi]

Reasoning about Staged ComputationFrank Pfenning. saig 2000: 5-6 [doi]

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract)Walid Taha. PEPM 2000: 34-43 [doi]

Two-Stage Computational Cost Reduction Algorithm Based on Mahalanobis Distance ApproximationsFang Sun, Shinichiro Omachi, Nei Kato, Hirotomo Aso, Shunichi Kono, Tasuku Takagi. icpr 2000: 2696-2699 [doi]

Visualization of Methods: Computation on Multi-Stage NetworksNikolay N. Mirenkov, Tatiana Mirenkova, Masamitsu Sato. pdpta 1997: 1497-1504

A Modal Analysis of Staged ComputationRowan Davies, Frank Pfenning. POPL 1996: 258-270 [doi]

Software Toolkit for Input Stage Measurement in Symbolic ComputationM. Caciotta, F. Iannucci. eurocal 1985: 466-467

runs on WebDSL