Filters








515,324 Hits in 4.5 sec

Reasoning about multi-stage programs

JUN INOUE, WALID TAHA
2016 Journal of functional programming  
First, does adding staging to a language compromise any equalities that hold in the base language? Unfortunately it does, and more care is needed to reason about terms with free variables.  ...  These results yield important insights into staging and allow us to prove the correctness of quite complicated multi-stage programs.  ...  Such a result would make a perfect complement to the Erasure Theorem, for it lets us completely forget about staging when reasoning about an erased program.  ... 
doi:10.1017/s0956796816000253 fatcat:rxkbdc3p5zhzne2xhbpg4inwwy

Reasoning about Multi-stage Programs [chapter]

Jun Inoue, Walid Taha
2012 Lecture Notes in Computer Science  
We settle three basic questions that naturally arise when verifying multi-stage functional programs.  ...  Do all reasoning principles valid in a single-stage language carry over to its multi-stage extension? Conditions for Sound Erasure.  ...  Such a result would make a perfect complement to the Erasure Theorem, for it lets us completely forget about staging when reasoning about an erased program.  ... 
doi:10.1007/978-3-642-28869-2_18 fatcat:oyvgfk7bgjfkhiq2msbhckrh5i

A Modal Analysis of Metaprogramming, Revisited (Invited Talk)

Brigitte Pientka, Zena M. Ariola
2020 International Conference on Formal Structures for Computation and Deduction  
Unfortunately, designing language extensions to support type-safe multi-staged metaprogramming remains very challenging.  ...  In this talk, we outline a modal type-theoretic foundation for multi-staged metaprogramming which supports the generation and the analysis of polymorphic code.  ...  This allows us to statically reason about different stages of computation.  ... 
doi:10.4230/lipics.fscd.2020.2 dblp:conf/fscd/Pientka20 fatcat:heiyhxjkwrdl3n75l6rvaa4zuu

Benchmarking and performance enhancement framework for multi-staging object-oriented languages

Ahmed H. Yousef, Tamer A. El-lateef, Mona F. Ismail
2013 Ain Shams Engineering Journal  
This paper focuses on verifying the readiness, feasibility, generality and usefulness of multi-staging programming in software applications.  ...  We present a benchmark designed to evaluate the performance gain of different multi-staging programming (MSP) languages implementations of object oriented languages.  ...  Multi-stage programming background The goal of staging is to improve a program based on a priori information about how it will be used.  ... 
doi:10.1016/j.asej.2012.08.008 fatcat:7ginreaovbb7xdqn54ndxttwvu

UNDERSTANDING OF HETEROGENEOUS MULTI-STAGE META-PROGRAMS

Vytautas Štuikys, Robertas Damaševičius, Giedrius Ziberkas
2012 Information Technology and Control  
The paper analyzes an approach to understanding heterogeneous meta-programs and multi-stage metaprograms.  ...  The models and processes enable not only to better understand the multi-stage heterogeneous meta-programs but also to contribute to their evolution.  ...  Structurally, multi-stage meta-programs are derived from one-stage meta-programs.  ... 
doi:10.5755/j01.itc.41.1.916 fatcat:q7b6etugy5d4nebcpcxuq7eiay

Model Checking Normative Agent Organisations [chapter]

Louise Dennis, Nick Tinnemeier, John-Jules Meyer
2010 Lecture Notes in Computer Science  
We present the integration of a normative programming language in the MCAPL framework for model checking multi-agent systems.  ...  We show that different properties may be checked depending on the information available to the model checker about the internal state of the agents.  ...  Only one stage is active at a time and only rules that belong to that stage will be considered. The agent's reasoning cycle defines how the reasoning process moves from one stage to another.  ... 
doi:10.1007/978-3-642-16867-3_4 fatcat:utxrc2hktrd7nk425h7sab5qbq

A Process Model for Group Decision Making with Quality Evaluation [chapter]

Luís Lima, Paulo Novais, José Bulas Cruz
2009 Lecture Notes in Computer Science  
A Multi-valued Extended Logic Programming language is used for imperfect information representation and reasoning.  ...  A model embodying the quality evaluation of the information, along the several stages of the decision making process, is presented.  ...  We use an Extended Logic Programming language for the representation and reasoning with imperfect information.  ... 
doi:10.1007/978-3-642-02481-8_82 fatcat:h7j53szqsbdfhkozzhimtmudo4

Light-weight one-cycle timing error correction based on hardware software co-design

Li Zhanhui, Ding Yong, Yan Xiaolang, Meng Jianyi, Xiang Xiaoyan
2016 IEICE Electronics Express  
The collaborative approach applies TEDPI (timing error deletion programming interface) to pre-detect most of the errors through an offline error prediction model, and pre-correct them at compilation time  ...  Experimental results based on a three-stage commercial processor show that TEDPI has improved peak performance of the traditional EDAC system by 15.6% and reduced the energy consumption by 4.4% with less  ...  When an instruction only bring about errors in one stage, it needs to preexercise the pipelines once, so M is one; when it brings about errors in successive stages, such as errors in EX1 and EX2 stages  ... 
doi:10.1587/elex.13.20160411 fatcat:o4oswiecsbc7jddroai4d2ejge

Guest editor's preface

Steve Schneider
2003 Journal of Computer Security  
The properties required of such protocols are expressed in terms of behavioural equivalences, so that programs which differ only in terms of their secrets should be equivalent.  ...  They formulate the security properties required of such protocols, and identify different ways in which properties in the twoparty setting might extend to the multi-party situation.  ...  The logic provides axioms and inference rules for reasoning about assertions.  ... 
doi:10.3233/jcs-2003-11401 fatcat:dh2horqk6ffmjlktuelkl5rjqy

Authoring multi-stage code examples with editable code histories

Shiry Ginosar, Luis Fernando De Pombo, Maneesh Agrawala, Bjorn Hartmann
2013 Proceedings of the 26th annual ACM symposium on User interface software and technology - UIST '13  
Multi-stage code examples present multiple versions of a program where each stage increases the overall complexity of the code.  ...  An informal evaluation finds that taking snapshots of a program as it is being developed and editing these snapshots in hindsight help users in creating multi-stage code examples.  ...  different people prefer different metaphors for reasoning about time [27] ).  ... 
doi:10.1145/2501988.2502053 dblp:conf/uist/GinosarPAH13 fatcat:ydaww3tpibc5zozuqhxsot5vzq

Watch, Reason and Code

Xuguang Duan, Qi Wu, Chuang Gan, Yiwei Zhang, Wenbing Huang, Anton van den Hengel, Wenwu Zhu
2019 Proceedings of the 27th ACM International Conference on Multimedia - MM '19  
The 'code' stage is a multi-round decoder that the first step leverages to generate a draft program layout with possible useful statements and perceptions.  ...  The 'reason' stage takes as input the features from multiple diverse videos and generates a compact feature representation via a novel deviation-pooling method.  ...  After obtaining the compact feature, the 'code' model is used to predict the program code. We thus propose a multi-stage decoding pipeline loosely based on the human reviewing process.  ... 
doi:10.1145/3343031.3351094 dblp:conf/mm/DuanWGZHH019 fatcat:bp3b6i5mvzb53gpslmmvq7m7cy

OA-rehab: designing a personalized exercise program for people with osteoarthritis

J C Reid, M A Minor, J A Mitchell, T B Patrick, J Z Griffin, J C Cutts, M Morrow, N Thompson
1994 Proceedings. Symposium on Computer Applications in Medical Care  
We describe the design of a multi-media performance support system (PSS) based on the documented benefits of a personalized exercise program for people with arthritis, on the known value of self-efficacy  ...  and stages of change, and on principles of learning theory.  ...  Effective multi-media presentations should incorporate principles of instructional design [6] .  ... 
pmid:7950092 pmcid:PMC2247821 fatcat:6u4mnmbhr5fsdabf6qyc7saezm

MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard
2000 Theoretical Computer Science  
We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a "real" language.  ...  We argue that multi-stage languages are useful as programming languages in their own right, that they supply a sound basis for high-level program generation technology, and that they should support features  ...  An earlier version of this paper appeared in The Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation. pp 203-217.  ... 
doi:10.1016/s0304-3975(00)00053-0 fatcat:7qqlnaurpbco3nzzyh37jerip4

Strategic Planning of Layout of the Distribution Center: an Approach for Fruits and Vegetables Hall

Nurgül Demirtaş, Umut R. Tuzkaya
2012 Procedia - Social and Behavioral Sciences  
Decision support systems are used on a lot of stages of the layout of the distribution center which is handled as a whole.  ...  Studying about the operational efficiencies of a multi-product and a four-stage supply chain with multipleretailers, wholesalers, manufacturers, and suppliers , coordination of inventory policies in a  ...  The developing model will be multi objective. Because of the multi objective model, the model may be not solved by linear programming.  ... 
doi:10.1016/j.sbspro.2012.09.989 fatcat:kbqoggsiezh3heb4jsmr6ztxem

Teaching Multi-Core Dsp Implementation On Evm C6678 Board

Aleksei Kharin, Sergey Vityazev, Vladimir Vityazev
2018 Zenodo  
It is very important for the students at this first stage of multi-core programming to realize that multi-core overheads always take place and this should be in mind during parallelization strategy selection  ...  OpenEM utilizes the multicore Navigator resources which is the reason we talk about using OpenEM after the multicore Navigator despite being easier to use and to understand.  ... 
doi:10.5281/zenodo.1159447 fatcat:y5qsvxvlpbdodnefxewiw72vfy
« Previous Showing results 1 — 15 out of 515,324 results