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
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
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
2008
Proceedings of the IEEE
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
1992
Conference proceedings on Communications architectures & protocols - SIGCOMM '92
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 2005; you can also visit the original URL.
The file type is application/pdf.
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
2013
ACM Computing Surveys
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.
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
2003
Theory and Practice of Logic Programming
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 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2015
2015 49th Asilomar Conference on Signals, Systems and Computers
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.
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
2011
Computers & Operations Research
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 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
2016
SIGPLAN notices
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 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
2016
Proceedings of the 9th International Symposium on Haskell - Haskell 2016
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 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]
2005
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.
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
2018
ACM Transactions on Programming Languages and Systems
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 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
2009
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09
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 2016; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of functional programming
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.
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
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
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 2016; you can also visit the original URL.
The file type is application/pdf.
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