19,241 Hits in 4.8 sec

The PlusCal Algorithm Language [chapter]

Leslie Lamport
2009 Lecture Notes in Computer Science  
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

Matthieu Wipliez, Ghislain Roquier, Jean-François Nezan
2009 Journal of Signal Processing Systems  
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]

Leslie Lamport
2006 Lecture Notes in Computer Science  
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

Essayas Gebrewahid, Mehmet Ali Arslan, Andréas Karlsson, Zain Ul-Abdin
2016 Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing - WPMVP '16  
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

J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden (+1 others)
1960 Numerische Mathematik  
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}$

Sergio Greco, Domenico Saccà, Carlo Zaniolo
2001 Acta Informatica  
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

F. Palumbo, D. Pani, E. Manca, L. Raffo, M. Mattavelli, G. Roquier
2010 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP)  
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}$

Erez Petrank, Gábor Tardos
2002 Combinatorica  
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]

M.Thangarasu, R.Manavalan
2013 arXiv   pre-print
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

Lucas Borges Ferreira, Fernando França da Cunha, Gilberto Chohaku Sediyama, Flavio Bastos Campos
2019 Pesquisa Agropecuária Brasileira  
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]

P. F. G. Dechering, J. P. M. de Vreught, J. A. Trescher, H. J. Sips
1996 Lecture Notes in Computer Science  
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

Jean-Francois Piollé
2018 Zenodo  
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 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

Ghislain Roquier, Matthieu Wipliez, Mickael Raulet, Jean-Francois Nezan, Olivier Deforges
2008 2008 15th IEEE International Conference on Image Processing  
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]

Sabina Akhtar, Stephan Merz, Martin Quinson
2011 Lecture Notes in Computer Science  
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]

Alex Shafarenko, Raimund Kirner
2011 arXiv   pre-print
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