A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Reasoning about multi-stage programs
2016
Journal of functional programming
Preserved Fulltext
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
2020
International Conference on Formal Structures for Computation and Deduction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Ain Shams Engineering Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Information Technology and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
IEICE Electronics Express
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2003
Journal of Computer Security
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 26th annual ACM symposium on User interface software and technology - UIST '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Proceedings of the 27th ACM International Conference on Multimedia - MM '19
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
1994
Proceedings. Symposium on Computer Applications in Medical Care
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2000
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Procedia - Social and Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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