A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms. ... Introduction We have designed and implemented a strictly typed modular language framework that supports the specification of generic parallel algorithms and the derivation of specific parallel applications ... Paradigm/SP is a specification and prototyping language and as such is simpler than production languages and environments. ...doi:10.1007/10722581_3 fatcat:2twuajblfbe23am5lo7inejguu
It appears that procedural and statistical models of language are not mutually exclusive, particularly for sentence processing. ... These results show that the implicit procedural system is engaged in sentence processing, but on a mechanism level, language might still be based on statistical computations. ... There was significant sequence-specific learning in the Word and Math condition, but no learning in the Sentence condition. B) Error rates in parallel task during dual task. ...doi:10.1371/journal.pone.0017577 pmid:21408117 pmcid:PMC3050904 fatcat:sc4jdttc6nffzjkcdvlow4tcnq
PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. ... Structurally, the control space consists of addressable "points" and "channels". Executing modules are assigned to points and communicate through channels connecting points. ... In our constructions of PARCS, we tried to maximally separate commands for CS from specific peculiarities of a basic procedural language. ...doi:10.4236/jcc.2017.59009 fatcat:e5hfrbmhmramxgi2aaik6n47ia
Lecture Notes in Computer Science
In this paper we introduce CSimpl, an extension of Simpl with concurrency-oriented language features and verification techniques. ... However, the source code of the programs to be verified often involves language features such as exceptions and procedures which are not supported by the existing mechanizations of those concurrent reasoning ... NRF2014NCR-NCR001-30) and administered by the National Cybersecurity R&D Directorate. ...doi:10.1007/978-3-662-54577-5_28 fatcat:iq55dex5czbg5iq73ovq6f23wq
DMS handles program scale by careful space management, computational scale via parallelism and knowledge acquisition scale via domains. ... This paper describes DMS, a practical, commercial program analysis and transformation system, and sketches a variety of tasks to which it has been applied, from redocumenting to large-scale system migration ... Sanjay Bhansali, Sheila Cheng, Warren Li, Andrew Yahin and Aaron Quigley all contributed to early versions of PAR-LANSE and DMS. ...doi:10.1145/512035.512047 dblp:conf/iwpse/Baxter02 fatcat:xoweezs2jra4db25hu2y74mpaa
Automation and Remote Control
Specifically, all parameters are broken down into a specified number of groups and the entities in each such group are broken down into a specified number of classes, Therefore the use of parallel algc ... Evidently it does not make much difference what specific procedure for isolating parameter groups are classify- ing entities are used in constructing a sequential language-generation algorithm. ...
We also propose an effective procedure of simultaneous adaptation for multiple domains and languages. ... languages is critical but little parallel data is available yet. ... This procedure is done for monolingual data from both source and target languages, which forces the representation learned for both languages through this denoising auto-encoding process to live in the ...arXiv:2010.12652v1 fatcat:3w2tjppnl5cp3kxtjmro4obona
Because the specification language is generic, the application can easily be ported to different platforms. ... Components interact using streaming communication and by sending and receiving events. From this component specification, the executable is generated. ... We would like to thank Kees van Reeuwijk and the anonymous reviewers for providing feedback on this paper. ...doi:10.1109/icpp.2007.5 dblp:conf/icpp/NijhuisBB07 fatcat:2iifkwvcpzgstma6vbmbyhedhq
High-Performance Computing in Geoscience and Remote Sensing VI
Once the parallelism of the classifier has been extracted, a comparison of the SVM classifier implementation using LibSVM -a specific library for SVM applications-and RVC-CAL has been performed. ... To do so, one of the most extended procedures is to exploit the intrinsic parallelism of the algorithms which, in consequence, supports the idea of using the SVM classifier due to its pixel-wise processing ... Specifically, in this case, all the steps of the processing chain are executed in parallel and, in addition, the transmissions among actors are also performed in parallel. ...doi:10.1117/12.2241648 fatcat:fon2yp7lqzhh5mqk3ivvs2xwve
In this work, we propose a simple refinement procedure to disentangle languages from a pre-trained multilingual UMT model for it to focus on only the target low-resource task. ... the model is trained in a massive multilingual environment, where theses low-resource languages are mixed with high-resource counterparts. ... FFN/Enc), and finally with language-specific FFN layers in both encoder and decoder (Lg. FFN/Enc+Dec). ...arXiv:2205.15544v1 fatcat:zgqbztnml5dotdhfhqtftfk2ay
Full details of the language can be found in the HPF Language Specification document  which is:also available via anonymous ftp from public/HPFF/draft at titan, cs .rice. edu. ... • Extrinsic procedures: HPF is well suited for data parallel programming. However, in order to accom- modate other programming paradigms, HPF provides extrinsic procedures. ...doi:10.1145/190783.1041310 fatcat:krq7vjjf2vb4rbliw64l365zra
Programs writien in equational languages ame concism free ho. implementation details. an easily amenable t 1. Generating high level language code for individual verificaion and parallel processing. ... and parallel processing. and not as u ic of medr steM . ... Checking the sp caton and maling corrections compiler, provides an efficient implementation tool for and additions may be IemIed as inferring or propagating parallel execution of the equational specifications ...doi:10.1109/tse.1982.235254 fatcat:qui25a5x2jbi5plaklc6xyiixq
Lecture Notes in Computer Science
Given the need of verification of correctness in business related software, it is important to fill in the gap between business process specification languages like StAC and the verification software already ... Business transactions are prone to failure and having to deal with unexpected situations. Some business process specification languages, e.g. StAC, introduce notions like compensation handling. ... Coordinating Nested Procedures. Calls to non-primitive processes in StAC behave as calls to procedures in programming languages. ...doi:10.1007/978-3-540-39866-0_22 fatcat:66gcgx7y7naxhckmnacgqasage
Even though the language considered in the paper is the simply typed lambda-calulus with a fixpoint con- structor and arithmetic constant we can generalize our approach to polymorphic languages such as ... The specification obtained is moded and typed; moreover, it has some important specific qualities: structure, clearness, correctness and executability. ...
We propose a modular architecture of language-specific encoder-decoders that constitutes a multilingual machine translation system that can be incrementally extended to new languages without the need for ... Additional comparison of the quality of sentence representation in the task of natural language inference shows that the alternately freezing training is also beneficial in this direction. ... Acknowledgments Google Faculty Research Award 2018 and 2019. Authors want to specially thank Oriol Vinyals for helpful and inspiring discussions. ...arXiv:2006.01594v1 fatcat:5gtf5chqdnaodfsndjdkduuxk4
« Previous Showing results 1 — 15 out of 411,698 results