Filters








68,875 Hits in 2.9 sec

Imperative self-adjusting computation

Umut A. Acar, Amal Ahmed, Matthias Blume
2008 SIGPLAN notices  
All previous work on self-adjusting computation, however, relied on a purely functional programming model.  ...  Recent work on self-adjusting computation showed how to systematically write programs that respond efficiently to incremental changes in their inputs.  ...  Conclusions Self-adjusting computation has been a success story so far.  ... 
doi:10.1145/1328897.1328476 fatcat:af627tpl3vhmrhapxexzflorha

Imperative self-adjusting computation

Umut A. Acar, Amal Ahmed, Matthias Blume
2008 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08  
All previous work on self-adjusting computation, however, relied on a purely functional programming model.  ...  Recent work on self-adjusting computation showed how to systematically write programs that respond efficiently to incremental changes in their inputs.  ...  Conclusions Self-adjusting computation has been a success story so far.  ... 
doi:10.1145/1328438.1328476 dblp:conf/popl/AcarAB08 fatcat:c75hhva3cvdp3d5yp6xx3guxti

Self-adjusting stack machines

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
In Self-Adjusting Computation, Ordinary programs describe dynamic computations. Self-Adjusting Program C Source Compiler C Target + Run-time The self-adjusting program: 1.  ...  Self-adjusting computation is a language-based technique to derive dynamic programs from static programs. Summary of contributions: A self-adjusting semantics for low-level programs.  ...  Our Contributions A consistent self-adjusting semantics for low-level programs Our abstract machine semantics Describes trace editing & memory management implementation of run-time system But requires  ... 
doi:10.1145/2048066.2048124 dblp:conf/oopsla/HammerNCA11 fatcat:2bpr6pwunrd5nmfw5cwlxeoyku

Self-adjusting stack machines

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2011 SIGPLAN notices  
In Self-Adjusting Computation, Ordinary programs describe dynamic computations. Self-Adjusting Program C Source Compiler C Target + Run-time The self-adjusting program: 1.  ...  Self-adjusting computation is a language-based technique to derive dynamic programs from static programs. Summary of contributions: A self-adjusting semantics for low-level programs.  ...  Our Contributions A consistent self-adjusting semantics for low-level programs Our abstract machine semantics Describes trace editing & memory management implementation of run-time system But requires  ... 
doi:10.1145/2076021.2048124 fatcat:ksnj4mr6aza2lhvmmx7qlykzcy

A proposal for parallel self-adjusting computation

Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar Ghuloum
2007 Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07  
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques.  ...  All previously proposed self-adjusting computation techniques assume a sequential execution model.  ...  INTRODUCTION Self-adjusting computations [1] describe programs that have the inherent ability to respond to changes in their computational environment.  ... 
doi:10.1145/1248648.1248651 dblp:conf/popl/HammerARG07 fatcat:sqaypue2wnatvkd642gmiq7eja

Implicit self-adjusting computation for purely functional programs

Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
2011 SIGPLAN notices  
This dissertation presents implicit self-adjusting computation, a type directed technique for translating purely functional programs into self-adjusting programs.  ...  We implement implicit self-adjusting computation as an extension to Standard ML with compiler and runtime support.  ...  by self-adjusting computation.  ... 
doi:10.1145/2034574.2034792 fatcat:w2onpvjmbbem7bblqe73ktog5i

Functional programming for dynamic and large data with self-adjusting computation

Yan Chen, Umut A. Acar, Kanat Tangwongsan
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
Based on lambda calculus, our techniques are suitable for expressing a diverse set of algorithms on large datasets and, via self-adjusting computation, enable computations to respond automatically to changes  ...  We then show a probabilistic chunking technique to further decrease space usage by controlling the fundamental space-time tradeoff in self-adjusting computation.  ...  As with all other prior work on self-adjusting computation (e.g.  ... 
doi:10.1145/2628136.2628150 dblp:conf/icfp/ChenAT14 fatcat:shpllaoybfev7fvwqfqbuqb5pi

Functional programming for dynamic and large data with self-adjusting computation

Yan Chen, Umut A. Acar, Kanat Tangwongsan
2014 SIGPLAN notices  
Based on lambda calculus, our techniques are suitable for expressing a diverse set of algorithms on large datasets and, via self-adjusting computation, enable computations to respond automatically to changes  ...  We then show a probabilistic chunking technique to further decrease space usage by controlling the fundamental space-time tradeoff in self-adjusting computation.  ...  As with all other prior work on self-adjusting computation (e.g.  ... 
doi:10.1145/2692915.2628150 fatcat:q7xsdfgiyzfb5ek753s3r5zjlm

Type-directed automatic incrementalization

Yan Chen, Jana Dunfield, Umut A. Acar
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
Based on recent advances in self-adjusting computation, including a theoretical proposal for translating purely functional programs to self-adjusting programs, we develop techniques for translating conventional  ...  Since incremental changes to input often result in only small changes in output, it is often feasible to respond to such changes asymptotically more efficiently than by re-running the whole computation  ...  Recent advances in self-adjusting computation made important progress on the problem of incremental computation.  ... 
doi:10.1145/2254064.2254100 dblp:conf/pldi/ChenDA12 fatcat:e7yw3prks5ffxfyojxjlb6ymwy

Reactive imperative programming with dataflow constraints

Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2011 SIGPLAN notices  
To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. proaches such as self-adjusting computation and subject/observer communication  ...  Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver.  ...  part by the Italian Ministry of Education, University, and Research (MIUR) under PRIN 2008TFBWL4 national research project "AlgoDEEP: Algorithmic Challenges for Data-Intensive Processing on Emerging Computing  ... 
doi:10.1145/2076021.2048100 fatcat:irg6zifnlrfirgui3dryppe2hi

Reactive imperative programming with dataflow constraints

Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. proaches such as self-adjusting computation and subject/observer communication  ...  Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver.  ...  part by the Italian Ministry of Education, University, and Research (MIUR) under PRIN 2008TFBWL4 national research project "AlgoDEEP: Algorithmic Challenges for Data-Intensive Processing on Emerging Computing  ... 
doi:10.1145/2048066.2048100 dblp:conf/oopsla/DemetrescuFR11 fatcat:w2vbszjaqvbcxm45epovrd52oi

Reactive Imperative Programming with Dataflow Constraints

Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2014 ACM Transactions on Programming Languages and Systems  
To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. proaches such as self-adjusting computation and subject/observer communication  ...  Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver.  ...  part by the Italian Ministry of Education, University, and Research (MIUR) under PRIN 2008TFBWL4 national research project "AlgoDEEP: Algorithmic Challenges for Data-Intensive Processing on Emerging Computing  ... 
doi:10.1145/2623200 fatcat:mmv3khnpivbj7jh4jioi7nwdai

What Girls Won't Do for Love: Human Immunodeficiency Virus/Sexually Transmitted Infections Risk Among Young African-American Women Driven by a Relationship Imperative

Jerris L. Raiford, Puja Seth, Ralph J. DiClemente
2013 Journal of Adolescent Health  
Adolescents who have a stronger identity in relation to others (relational identity) rather than to themselves (self-identity) may view intimate relationships as imperative to a positive self-concept,  ...  HIV/STI prevention programs should target males and females and address healthy relationships, sense of self-worth, self-esteem and the gender power imbalance that may persist in the community along with  ...  imperative) or 0 (no, did not endorse a relationship imperative).b Adjusted odds ratio (AOR); odds ratio adjusted by age, public assistance, and typical age difference of partner.c Odds ratio adjusted  ... 
doi:10.1016/j.jadohealth.2012.09.006 pmid:23298990 pmcid:PMC3682825 fatcat:jje4zo77xffvjhslekv4v3khse

Streaming big data with self-adjusting computation

Umut A. Acar, Yan Chen
2013 Proceedings of the 2013 workshop on Data driven functional programming - DDFP '13  
In this paper, we propose an approach based on self-adjusting computation that can dramatically improve the efficiency of such computations.  ...  Many big data computations involve processing data that changes incrementally or dynamically over time. Using existing techniques, such computations quickly become impractical.  ...  Self-adjusting computation is also applicable to imperative programs but for most data-driven computations, this does not seem beneficial.  ... 
doi:10.1145/2429376.2429382 dblp:conf/popl/AcarC12 fatcat:bfufhf354zchjaalfnfoym6wk4

Page 570 of Psychological Bulletin Vol. 28, Issue 8 [page]

1931 Psychological Bulletin  
The remaining classes included questions, answers, imperative statements, imitations of others, self-repetitions and vocalizations in which one of the first personal pronouns was used.  ...  The average number of vocalizations per hour was also secured for each child, and reliabilities were computed for each of the categories.  ... 
« Previous Showing results 1 — 15 out of 68,875 results