Filters








22,597 Hits in 7.7 sec

Towards Practical Infinite Stream Constraint Programming: Applications and Implementation [chapter]

Jasper C. H. Lee, Jimmy H. M. Lee
2014 Lecture Notes in Computer Science  
Siu et al. propose stream CSPs (St-CSPs) as a generalisation of finite domain CSPs to cater for constraints on infinite streams, and a solving algorithm that produces a deterministic Büchi automaton recognising  ...  As a novel application, we demonstrate how St-CSPs can model mathematically and generate a PID controller for driving a self-balancing tray and an inverted pendulum in real-time.  ...  Last but not least, the second author is indebted to Bill Wadge for teaching him dataflow programming and Lucid 25 years ago.  ... 
doi:10.1007/978-3-319-10428-7_34 fatcat:5pskkqrs65dsrarnbbs6ojjfy4

The Signal Passing Interface and Its Application to Embedded Implementation of Smart Camera Applications

S. Saha, S. Puthenpurayil, J. Schlessman, S.S. Bhattacharyya, W. Wolf
2008 Proceedings of the IEEE  
SPI is targeted toward computation-intensive signal processing applications, and due to its careful specialization, more performance-efficient for embedded implementation in this domain.  ...  ABSTRACT | Embedded smart camera systems comprise computation-and resource-hungry applications implemented on small, complex but resource-hardy platforms.  ...  SPI is targeted towards signal processing applications, and through careful specialization, it is streamlined for embedded implementation in this domain.  ... 
doi:10.1109/jproc.2008.928744 fatcat:jozhrbcvpbdbloeyqvoqnpe23m

A language-based approach to protocol implementation

Mark B. Abbott, Larry L. Peterson
1992 Conference proceedings on Communications architectures & protocols - SIGCOMM '92  
is difficult to design and implement.  ...  The foremost advantage of a programming language is that it is an ideal vehicle for both imposing and benefiting from constraints.  ...  However, one feasible near-term use of Morpheus is implementing application-specific protocols.  ... 
doi:10.1145/144179.144201 dblp:conf/sigcomm/AbbottP92 fatcat:v3i5icdxqbh67i4q67kipt53be

Synchronous programming in audio processing

Karim Barkati, Pierre Jouvelot
2013 ACM Computing Surveys  
More precisely, we implemented and tested the same lookup table oscillator example program, one of the most classical algorithms for sound synthesis, using a selection of significant synchronous programming  ...  and C with the OpenMP Stream Extension (Matlab/Octave is used for the initial specification).  ...  ACKNOWLEDGMENT The authors thank Daniel Gaffé, Léonard Gérard, Yann Orlarey, Cédric Pasteur, Antoniu Pop, Marc Pouzet, Annie Ressouche, Xavier Rival and Valérie Roy for their help, Laure Gonnord and Jean-Pierre  ... 
doi:10.1145/2543581.2543591 fatcat:ycwgrgrmurbxtjoyjl32juys64

Logic programming in the context of multiparadigm programming: the Oz experience

PETER VAN ROY, PER BRAND, DENYS DUCHIER, SEIF HARIDI, CHRISTIAN SCHULTE, MARTIN HENZ
2003 Theory and Practice of Logic Programming  
Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions.  ...  A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  We thank Krzysztof Apt, Manuel Hermenegildo, Kazunori Ueda, and others for their questions and comments at the ICLP99 tutorial where the original talk was given.  ... 
doi:10.1017/s1471068403001741 fatcat:opfvkb5i3vellfgk7s3mozjo7i

Logic programming in the context of multiparadigm programming: the Oz experience [article]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002 arXiv   pre-print
Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions.  ...  A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  This research was partly financed by the Walloon Region of Belgium in the PIRATES project. fourth international conference on principles and practice of constraint programming (cp '98 Nadathur, Gopalan  ... 
arXiv:cs/0208029v1 fatcat:aef4drwtkfd4tcyknziqfegbja

Implementation of Fog computing for reliable E-health applications

Razvan Craciunescu, Albena Mihovska, Mihail Mihaylov, Sofoklis Kyriazakos, Ramjee Prasad, Simona Halunga
2015 2015 49th Asilomar Conference on Signals, Systems and Computers  
In this work we explore some of the potential fiber-optic data transmission applications of the nonlinear Fourier transform (NFT), a signal analysis technique introduced by mathematicians and physicists  ...  One potential application is a nonlinear analogue of linear frequency-division multiplexing that, unlike many other fiber-optic transmission strategies, deals with both dispersion and nonlinearity unconditionally  ...  signal denoising based on quadratic semi-infinite programming (QSIP).  ... 
doi:10.1109/acssc.2015.7421170 dblp:conf/acssc/CraciunescuMMKP15 fatcat:qm6mki5z6bcvrfimkmqjyrxaxm

Analysis of heuristic validity, efficiency and applicability of the profile distance method for implementation in decision support systems

Edward Bernroider, Nikolaus Obwegeser, Volker Stix
2011 Computers & Operations Research  
We present a bi-section algorithm, which efficiently supports the discovery of transition profiles needed in a user-friendly and practical application of the method.  ...  We elaborate on the usability of the method and question the heuristic used.  ...  Application of the PDM as a software prototype We implemented a first prototype to test the practical application and usability of the PDM.  ... 
doi:10.1016/j.cor.2010.09.017 fatcat:ldsoyumvlneybnx6a7yitmubum

Functional reactive programming, refactored

Ivan Perez, Manuel Bärenz, Henrik Nilsson
2016 SIGPLAN notices  
We give proofs for our theoretical claims and we have verified the practical side by benchmarking a set of existing, non-trivial Yampa applications running on top of our new system with very good results  ...  Functional Reactive Programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them.  ...  is isomorphic to standard infinite streams.  ... 
doi:10.1145/3241625.2976010 fatcat:eev44jojujd4dkjhvlszpgwkpm

Functional reactive programming, refactored

Ivan Perez, Manuel Bärenz, Henrik Nilsson
2016 Proceedings of the 9th International Symposium on Haskell - Haskell 2016  
We give proofs for our theoretical claims and we have verified the practical side by benchmarking a set of existing, non-trivial Yampa applications running on top of our new system with very good results  ...  Functional Reactive Programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them.  ...  Krishnaswami and the anonymous reviewers for their helpful comments.  ... 
doi:10.1145/2976002.2976010 dblp:conf/haskell/PerezBN16 fatcat:tsx6kxje3zhu3bq44mq5wum5ea

Programming with Arrows [chapter]

John Hughes
2005 Lecture Notes in Computer Science  
It's also a natural way to assemble programs from components, and closely related to connecting programs via pipes in the UNIX shell.  ...  Point-free programming is rightly popular: used appropriately, it makes for concise and readable definitions, which are well suited to equational reasoning in the style of Bird and Meertens [2].  ...  The previous events we call "glitches", and they represent steps towards the correct value.  ... 
doi:10.1007/11546382_2 fatcat:tsdjqcq4rvdmplgkbk4hoqkm3u

Program Synthesis for Program Analysis

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2018 ACM Transactions on Programming Languages and Systems  
We provide instantiations of our framework for solving a diverse range of program verification tasks such as termination, non-termination, safety and bug finding, superoptimisation and refactoring.  ...  The synthesis problem is given in the form of a specification σ , which is a function taking a program P and input x as parameters and returning a boolean telling us whether P did "the right thing" on  ...  The Stream package provides implementations of common internal iteration algorithms such as foreach, find and sort using optimised iteration orders and even concurrency where applicable.  ... 
doi:10.1145/3174802 fatcat:iop4bqbtardarc7kuxxud6sudq

Push-pull functional reactive programming

Conal M. Elliott
2009 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09  
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation.  ...  On the road to a new implementation, we'll meet some old friends (monoids, functors, applicative functors, monads, morphisms, and improving values) and make some new friends (functional future values,  ...  Thus join E has the tricky task of merging (a representation of) a sorted infinite stream of sorted infinite streams into a single sorted infinite stream.  ... 
doi:10.1145/1596638.1596643 dblp:conf/haskell/Elliott09 fatcat:3mqchidkdzf3nnlxpkdoipm3ka

PhD Abstracts

GRAHAM HUTTON
2014 Journal of functional programming  
Many students complete PhDs in functional programming each year, but there is currently no common location in which to promote and advertise the resulting work.  ...  The Journal of Functional Programming would like to change that!  ...  The stream fusion technique itself has been presented previously and many practical implementations exist.  ... 
doi:10.1017/s0956796814000215 fatcat:rs2j5wgm5ndf7ek2zls5pmg2w4

MapReduce program synthesis

Calvin Smith, Aws Albarghouthi
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
With this synthesis technology and the simplicity of its example-based interface, we make a step forward towards enabling end users to perform large-scale data analyses and general computations, without  ...  knowledge of programming and distributed computing frameworks.  ...  We would like to thank Eran Yahav, our shepherd, for helping us improve and clarify the paper.  ... 
doi:10.1145/2908080.2908102 dblp:conf/pldi/SmithA16 fatcat:cxb2uah3xzhpnalb5wqyi5negm
« Previous Showing results 1 — 15 out of 22,597 results