Filters








86,552 Hits in 5.7 sec

Higher-order functional reactive programming in bounded space

Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
2012 SIGPLAN notices  
In this paper, we give a new language for higher-order reactive programming.  ...  Our language generalizes and simplifies prior type systems for reactive programming, by supporting the use of streams of streams, first-class functions, and higher-order operations.  ...  We give a new implementation strategy, described using operational semantics, for higher-order reactive programming.  ... 
doi:10.1145/2103621.2103665 fatcat:v7vj3xexhrb5zdoef2rd3dnn7i

Higher-order functional reactive programming in bounded space

Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
2012 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12  
In this paper, we give a new language for higher-order reactive programming.  ...  Our language generalizes and simplifies prior type systems for reactive programming, by supporting the use of streams of streams, first-class functions, and higher-order operations.  ...  We give a new implementation strategy, described using operational semantics, for higher-order reactive programming.  ... 
doi:10.1145/2103656.2103665 dblp:conf/popl/KrishnaswamiBH12 fatcat:projn7xslrea5hqei7c5wy6bw4

Towards formally verifiable resource bounds for real-time embedded systems

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
2006 ACM SIGBED Review  
Our work is conducted in terms of the domain-specific language Hume, a language that combines functional programming for computations with finitestate automata for specifying reactive systems.  ...  ) in the context of realtime embedded systems.  ...  First-order LFPL definitions can be computed in bounded space, even in the presence of general recursion.  ... 
doi:10.1145/1183088.1183093 fatcat:ojcxy3hksffrhfywvlrk5xky6e

Ultrametric Semantics of Reactive Programs

Neelakantan R. Krishnaswami, Nick Benton
2011 2011 IEEE 26th Annual Symposium on Logic in Computer Science  
We describe a denotational model of higher-order functional reactive programming using ultrametric spaces and nonexpansive maps, which provide a natural Cartesian closed generalization of causal stream  ...  Finally, we show how to efficiently implement reactive programs written in this language using an imperatively updated dataflow graph, and give a separation logic proof that this low-level implementation  ...  From Ultrametrics to Functional Reactive Programs For streams of base type, the properties of maps in the category of ultrametric spaces correspond exactly to the properties of first-order reactive programs  ... 
doi:10.1109/lics.2011.38 dblp:conf/lics/KrishnaswamiB11 fatcat:33ttn7khfrdrnnibwbsyckmmtu

Using Parallel Genetic Algorithms for Estimating Model Parameters in Complex Reactive Transport Problems

Torlapati, Clement
2019 Processes  
The PGA used in this study is generic and can be easily scaled to higher-order water quality modeling problems involving real-world applications.  ...  In this study, we present the details of an optimization method for parameter estimation of one-dimensional groundwater reactive transport problems using a parallel genetic algorithm (PGA).  ...  lower bound is kept the same as the first scenario, but the higher bound was increased by an order of magnitude, and in the fourth scenario both lower and higher bounds were changed by an order of magnitude  ... 
doi:10.3390/pr7100640 fatcat:k3prwi5k5vbftloqrydi6ixsgm

Analysis of complexity measures and information planes of selected molecules in position and momentum spaces

Rodolfo O. Esquivel, Juan Carlos Angulo, Juan Antolín, Jesús S. Dehesa, Sheila López-Rosa, Nelson Flores-Gallegos
2010 Physical Chemistry, Chemical Physics - PCCP  
both position and momentum spaces for the one-particle densities of 90 selected molecules of various chemical types, at the CISD/6-311++G(3df,2p) level of theory.  ...  Fisher-Shannon and LMC shape complexities and the Shannon-disequilibrium, Fisher-Shannon and Fisher-disequilibrium information planes, which consist of two localization-delocalization factors, are computed in  ...  This behavior means that in position space, higher complexity is due to higher disequilibrium (higher order) and lower uncertainty L r .  ... 
doi:10.1039/b927055h pmid:20473427 fatcat:6ugnynktcjf7nfl2k6mfx2avja

Enhanced Mine Blast Algorithm For Solving Reactive Power Problem

Dr.K.Lenin
2017 Zenodo  
In this paper Enhanced Mine Blast (EMB) algorithm which based on mine bomb explosion concept is proposed to solve optimal reactive power problem.The clue of the projected Enhanced Mine Blast (EMB) algorithm  ...  In this paper convergence speed has been enhanced.  ...  The value of is set to 360/N s in order to conduct uniform search in the domain space.  ... 
doi:10.5281/zenodo.1002645 fatcat:gp7vj3mwpjbe7dycvqwyq4ridy

Containers and aggregates, mutators and isolates for reactive programming

Aleksandar Prokopec, Philipp Haller, Martin Odersky
2014 Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14  
Reactive programming with first-class reactive values is a paradigm that aims to encode callback logic in declarative statements.  ...  Many programs have an inherently reactive nature imposed by the functional dependencies between their data and external events. Classically, these dependencies are dealt with using callbacks.  ...  We compared Reactive Collections against RxJava and Scala.React implementations on an Intel i5-2500 3.30 GHz Acknowledgements We would like to thank Erik Meijer for the discussions we had, his useful  ... 
doi:10.1145/2637647.2637656 dblp:conf/ecoop/ProkopecHO14 fatcat:ai2dxqzoynbjnfjoo5p727urd4

A semantic model for graphical user interfaces

Neelakantan R. Krishnaswami, Nick Benton
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
The non-linear part of the language is used for writing reactive stream-processing functions whilst the linear sublanguage naturally captures the generativity and usage constraints on the various linear  ...  We give a denotational model for graphical user interface (GUI) programming using the Cartesian closed category of ultrametric spaces.  ...  In that work, we used the category of ultrametric spaces to interpret higher-order functional reactive programs, and used Banach's theorem to interpret (guarded) feedback.  ... 
doi:10.1145/2034773.2034782 dblp:conf/icfp/KrishnaswamiB11 fatcat:wphpst4qizdnnixtwgbj3cuj6y

Computing the Feasible Spaces of Optimal Power Flow Problems [article]

Daniel K. Molzahn
2016 arXiv   pre-print
To improve computational tractability, "bound tightening" and "grid pruning" algorithms use convex relaxations to eliminate the consideration of discretization points for which the power flow equations  ...  The performance of OPF solution techniques strongly depends on the problem's feasible space.  ...  However, second-order cone programming (SOCP) reformulations for these functions enable the solution of (14) with γ = 1 [2] , [39] .  ... 
arXiv:1608.00598v1 fatcat:fa4a2o3e25ebbilrefq2hvitly

A semantic model for graphical user interfaces

Neelakantan R. Krishnaswami, Nick Benton
2011 SIGPLAN notices  
The non-linear part of the language is used for writing reactive stream-processing functions whilst the linear sublanguage naturally captures the generativity and usage constraints on the various linear  ...  We give a denotational model for graphical user interface (GUI) programming using the Cartesian closed category of ultrametric spaces.  ...  In that work, we used the category of ultrametric spaces to interpret higher-order functional reactive programs, and used Banach's theorem to interpret (guarded) feedback.  ... 
doi:10.1145/2034574.2034782 fatcat:ztd6gfyco5htzmlzpk5fa3igwe

Advanced Reactive Power Compensation of Wind Power Plant Using PMU Data

Zhen Wang, Baohua Zhang, Mohammadamin Mobtahej, Aliasghar Baziar, Baseem Khan
2021 IEEE Access  
The real reactive power samples are shown by small green balls and the space between the lower and upper bounds is shown in pink. The results are shown for 300 reactive power samples.  ...  It shows that SVC can help to reduce the reactive power demand of the main grid by letting WT participate in the reactive regulation programs.  ...  Since 2004, he has been working in Xiamen Great Power Geo Information Technology CO., LTD. engaged in the design and R&D of Power Grid geo-information technology and its application, and led some provincial  ... 
doi:10.1109/access.2021.3075966 fatcat:jzqooofolfgpbocux6o562kxbm

PcG-Mediated Higher-Order Chromatin Structures Modulate Replication Programs at the Drosophila BX-C

Federica Lo Sardo, Chiara Lanzuolo, Federico Comoglio, Marco De Bardi, Renato Paro, Valerio Orlando, Asifa Akhtar
2013 PLoS Genetics  
In the fully repressed BX-C, loss of function experiments revealed a synergistic role for PcG proteins in the maintenance of replication programs through the mediation of higher-order structures.  ...  that mirrors lineage-specific BX-C higher-order structures.  ...  Acknowlegments We thank Luca Battistini and Giovanna Borsellino for providing lab space and funding to perform the work done by MDB, Gabriella Ruocco and Maria Teresa Cencioni for technical support at  ... 
doi:10.1371/journal.pgen.1003283 pmid:23437006 pmcid:PMC3578750 fatcat:6vvemppggzarvjdonaqn6ylx6y

Nonlinear Oscillations and Stability of a Nuclear Reactor with Two Reactivity Feedbacks

Theodore R. Schmidt, David L. Hetrick
1970 Nuclear science and engineering  
Second Approximation with Higher Harmonics The inclusion of third, fourth, or higher harmonics in power or reactivity in the above equations only yields terms of order la^|^ and higher which are dropped  ...  This "infinite" iteration, however, includes only second harmonics in power and reactivity, as the higher harmonics would be expressed in terms of higher order than considered in this derivation.  ... 
doi:10.13182/nse70-a19320 fatcat:aoalxlun3baghfya5v43ov3rmu

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
Programs are statically scheduled and translated into sequential code which, by construction, runs in bounded time and space.  ...  Lem resembles a pure subset of Objective Caml, supporting typical functional programming constructs, including top-level parametric polymorphism, datatypes, records, higher-order functions, and pattern  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de
« Previous Showing results 1 — 15 out of 86,552 results