A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
The PlusCal Algorithm Language
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
Algorithms are different from programs and should not be described with programming languages. The only simple alternative to programming languages has been pseudo-code. ...
It is based on the TLA + specification language, and a PlusCal algorithm is automatically translated to a TLA + specification that can be checked with the TLC model checker and reasoned about formally. ...
Programming languages need loops to describe simple computations; Plus-Cal does not. ...
doi:10.1007/978-3-642-03466-4_2
fatcat:h5py7eajt5bwza5nrc2ql645wu
Software Code Generation for the RVC-CAL Language
2009
Journal of Signal Processing 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 2017; you can also visit the original URL.
The file type is application/pdf.
The elements of the library are specified by a textual description that expresses the I/O behavior of each module and by a reference software written using a subset of the CAL Actor Language named RVC-CAL ...
The generated code is validated against the original CAL description simulated using the Open Dataflow environment. ...
Testing an action's fireability is done by an action scheduler according to Algorithm 1, which is a reformulation of the conditions to fire an action as described in the CAL Language Report [3] . ...
doi:10.1007/s11265-009-0390-z
fatcat:fxznwmwfofcxnnnsykitaj27hq
Checking a Multithreaded Algorithm with + CAL
[chapter]
2006
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 2012; you can also visit the original URL.
The file type is application/pdf.
I rewrote the algorithm in the + cal algorithm language, ran the TLC model checker on it, and found the error. ...
A colleague told me about a multithreaded algorithm that was later reported to have a bug. ...
Acknowledgment I want to thank Homayoon Akhiani for model checking the two-sided queue algorithm with TLC on an Azul Systems multiprocessor. ...
doi:10.1007/11864219_11
fatcat:jujjrongwnffpcaxrjxcqnh64i
Support for data parallelism in the CAL actor language
2016
Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing - WPMVP '16
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.
In this paper, we present an extension to our CAL compilation framework (CAL2Many) that supports data parallelism in the CAL Actor Language. ...
Our compilation framework makes it possible to program architectures with SIMD support using high-level language and provides efficient code generation. ...
Acknowledgments This work has been supported by grants from The Foundation for Strategic Research and the Swedish national strategic research program ELLIIT. ...
doi:10.1145/2870650.2870656
dblp:conf/ppopp/GebrewahidAKZ16
fatcat:fyskpgkrhbeiznq2arenqtywtm
Report on the algorithmic language ALGOL 60
1960
Numerische Mathematik
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.
grammars and languages. ...
By all the previous constructions there is defined a mapping v of all the pairs [a, ?i] of M into the set of all integers {1, 2,...} if we put v [a, n] = p, where p is the canoni cal length of L(M'). ...
doi:10.1007/bf01386216
fatcat:mdl47xnu2na6jlpfopneqgt334
Extending stratified datalog to capture complexity classes ranging from ${\cal P} to {\cal QH}$
2001
Acta Informatica
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.
fashion, (iii) the ability to bind a query to the lowest complexity level that includes the problem at hand, and (iv) a general algorithm that adapts its behavior to the desired level of complexity required ...
The solution is based on (i) stratified negation as the core of a simple, declarative semantics for negation, (ii) the use of a "choice" construct to capture the nondeterminism of stable models in a disciplined ...
appeal and have an efficient implementation algorithm. ...
doi:10.1007/pl00013306
fatcat:44olmfk7srfnrkwis3yvhxanka
RVC: A multi-decoder CAL Composer tool
2010
2010 Conference on Design and Architectures for Signal and Image Processing (DASIP)
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.
Abstract Decoder Model ( FNL + RVC -CAL) ...
Looking at the similarities between the decoding algorithms to implement, the papers describes an automatic tool for their composition into a single configurable multi-decoder built of all the required ...
The main innovation is based on the adoption of a dataflow model of computation expressed using the RVC-CAL language and the associated network language FNL whose definitions are part of the new MPEG standard ...
doi:10.1109/dasip.2010.5706258
dblp:conf/dasip/PalumboPMRMR10
fatcat:jn67n4huqbasznnz5lzedricx4
On the Knowledge Complexity of ${\cal{N}P}$
2002
Combinatorica
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.
3k(n) (where k(n) is the knowledge complexity) then the language proven has to be in the third level of the polynomial time hierarchy. ...
AM AH-87], while the second asserts that the languages recognizable in logarithmic statistical knowledge complexity are in BPP NP GOP-94]. ...
Many past works considered the possibility of reducing the error of a probabilistic algorithm while not increasing the number of coin-tosses as much as the naive solution would. ...
doi:10.1007/s004930200005
fatcat:rl6oiy5eoffz7ktnwzbiawkfby
A Literature Review: Stemming Algorithms for Indian Languages
[article]
2013
arXiv
pre-print
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.
This expository paper presents survey of some of the latest developments on stemming algorithms in data mining and also presents with some of the solutions for various Indian language stemming algorithms ...
Stemming is the process of extracting root word from the given inflection word. It also plays significant role in numerous application of Natural Language Processing (NLP). ...
In this proposed model, the lightweight stemmer algorithm for stems the Gujarati words. MAULIK: An efficient stemmer for Hindi [22] Language was developed by Upendra Mishra et al. ...
arXiv:1308.5423v1
fatcat:7lqgly746jgprf5hnnqjvughzi
HS Cal software for the calibration of the Hargreaves-Samani equation
2019
Pesquisa Agropecuária Brasileira
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 HS Cal software can easily calibrate the Hargreaves-Samani equation, allowing the identification of the best form of this equation for a given site. ...
Abstract: The objective of this work was to develop a software (HS Cal) to calibrate the Hargreaves-Samani equation for specific periods of the year, in global, seasonal, and monthly time scales, as well ...
Acknowledgments To Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), for scholarship to the first author. ...
doi:10.1590/s1678-3921.pab2019.v54.00226
fatcat:udpijo55r5d6bhpyefxtyyjmpy
V-cal: a calculus for the compilation of data parallel languages
[chapter]
1996
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 2005; you can also visit the original URL.
The file type is application/pdf.
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite rules. ...
parallelism of an algorithm. ...
The V-cal engine is written in TXL (see Cordy 93]) which allows rapid prototyping. ...
doi:10.1007/bfb0014195
fatcat:rin64o6ujrdqjhvog5kok22w3m
Sentinel-3A CAL/VAL environment and applications
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 2021; you can also visit the original URL.
The file type is application/pdf.
Presentation given at the 19th GHRSST science meeting (XIX), Darmstadt, Germany, June 4 - 8, 2018. ...
Building the cal/val environment Lots of python or lib dependenciesconflicts, versions • Generic observation patterns -datamodel
Managing dataflows
Reference data Source
OSTIA • Swath, Grid, Trajectory ...
complete MDB process for www.ifremer.fr/cerweb/sentinel-3/mdb-slstr/ Tutorials and notebooks Content of the match-up is quite complex Python package providing : screening validation (RAL) • L2 algorithm ...
doi:10.5281/zenodo.5236708
fatcat:4twigl2gkzbv7gdvbbjypsypy4
Software synthesis of CAL actors for the MPEG reconfigurable Video Coding framework
2008
2008 15th IEEE International Conference on Image Processing
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 2011; you can also visit the original URL.
The file type is application/pdf.
In this framework, a decoder is modularly built as a configuration of video coding tools taken from the MPEG toolbox library. The elements of the library are specified using the CAL Actor Language. ...
CAL is a dataflow based language providing computation models that are concurrent and modular. This paper presents a synthesis tool that from a CAL specification generates multithread C code. ...
FU specification The CAL Actor Language (CAL) has been chosen as the normative language to specify the standard library of FUs. ...
doi:10.1109/icip.2008.4712028
dblp:conf/icip/RoquierWRND08
fatcat:pqwjux236vfxfpehp5dloshzjm
A High-Level Language for Modeling Algorithms and Their Properties
[chapter]
2011
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.
Recently, Lamport introduced the PlusCal algorithm language [9] (originally called +Cal). ...
Moreover, the Plus-Cal language enforces certain restrictions that often make it difficult to express distributed algorithms in a natural way. ...
We are grateful to Leslie Lamport for discussions on the design of our variant of PlusCal and for his encouragement of our project. ...
doi:10.1007/978-3-642-19829-8_4
fatcat:dbdtd4ja4rba7k2376ctinkype
CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks
[article]
2011
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.
Other Versions
The CAL language intention is to be able to describe the behaviour of so-called boxes in the context of S-Net. ...
In this article we present the Constraint Aggregation Language (CAL), a declarative language for describing properties of stateless program components that interact by exchanging messages. ...
No input is possible other than via the input
The Constraint Aggregation Language (CAL) The constraint aggregation language (CAL) describes properties of S-Net and boxes and boxes that share the S-Net ...
arXiv:1101.3356v2
fatcat:y7ahwtys3jcdfkptrdiizn4l5m
« Previous
Showing results 1 — 15 out of 19,241 results