researchr - search publication staged computation

researchr

You are not signed in
Sign in
Sign up

125 publication results matching 'staged computation'

On Stage Ordering in Staged ComputationZhenghao Wang, Richard R. Muntz. GPCE 2003: 77-96 [doi]
Staged computation with names and necessityAleksandar Nanevski, Frank Pfenning. JFP, 15(5):893-939, 2005. [doi]
Reasoning about Staged ComputationFrank Pfenning. saig 2000: 5-6 [doi]
Inlining as staged computationStefan Monnier, Zhong Shao. JFP, 13(3):647-676, 2003. [doi]
A modal analysis of staged computationRowan Davies, Frank Pfenning. JACM, 48(3):555-604, 2001. [doi]
A Modal Analysis of Staged ComputationRowan Davies, Frank Pfenning. POPL 1996: 258-270 [doi]
Staged Computation with Staged Lexical ScopeMorten Rhiger. ESOP 2012: 559-578 [doi]
MetaOCaml server pages: Web publishing as staged computationChristopher League. SCP, 62(1):66-84, 2006. [doi]
On the Logical Foundations of Staged Computation (Abstract of Invited Talk)Frank Pfenning. PEPM 2000: 33 [doi]
Relationally Staged Computations in Calculi of Mobile ProcessesNeil Ghani, Kidane Yemane, Björn Victor. ENTCS, 106:105-120, 2004. [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]
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroMLSteven E. Ganz, Amr Sabry, Walid Taha. ICFP 2001: 74-85
A Distributed Algorithm for Multi-Stage Computation OffloadingTobias Mahn, Dennis Becker, Hussein Al-Shatri, Anja Klein 0002. cloudnet 2018: 1-6 [doi]
MetaML and multi-stage programming with explicit annotations
… it possible for programmers to write staged computations without significantly … multi-stage programming language. MetaML is a “real” language. We have built an implementation and used it to solve multi-stage problems. MetaML allows …
Walid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]
Software Toolkit for Input Stage Measurement in Symbolic ComputationM. Caciotta, F. Iannucci. eurocal 1985: 466-467
The radix-r one stage FFT kernel computationMarwan A. Jaber, Daniel Massicotte. icassp 2008: 3585-3588 [doi]
A Two-stage Metascheduler Architecture for Computational GridsMohamed Amine Belkoura, NoÃ© Lopez-Benitez. gca 2009: 47-52
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]
Detecting Nonexistence of Rational Solutions of Linear Difference Equations in Early Stages of ComputationAmal Gheffar. cca, 48(3/4):90-97, 2014. [doi]
Staged Computation: The Technique You Did Not Know You Were UsingKonrad Hinsen, Matthew A. Turk. cse, 22(4):99-103, 2020. [doi]

Sign in or sign up to see more results.

runs on WebDSL