411,698 Hits in 4.4 sec

Derivation of Secure Parallel Applications by Means of Module Embedding [chapter]

Atanas Radenski
2000 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

Interference between Sentence Processing and Probabilistic Implicit Sequence Learning

Dezso Nemeth, Karolina Janacsek, Gabor Csifcsak, Gabor Szvoboda, James H. Howard, Darlene V. Howard, Matjaz Perc
2011 PLoS ONE  
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

Programming System PARCS

A. V. Anisimov, A. V. Derevianchenko, P. P. Kuliabko, O. M. Fedorus
2017 Journal of Computer and Communications  
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

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs [chapter]

David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
2017 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


Ira D. Baxter
2002 Proceedings of the international workshop on Principles of software evolution - IWPSE '02  
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

Page 44 of Automation and Remote Control Vol. 35, Issue 11 [page]

1974 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.  ... 

Rapid Domain Adaptation for Machine Translation with Monolingual Data [article]

Mahdis Mahdieh, Mia Xu Chen, Yuan Cao, Orhan Firat
2020 arXiv   pre-print
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

A Component-based Coordination Language for Efficient Reconfigurable Streaming Applications

Maik Nijhuis, Herbert Bos, Henri E. Bal
2007 Proceedings of the International Conference on Parallel Processing  
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

Parallel implementation of a hyperspectral image linear SVM classifier using RVC-CAL

D. Madroñal, H. Fabelo, R. Lazcano, G. M. Callicó, E. Juárez, C. Sanz, Bormin Huang, Sebastián López, Zhensen Wu, Jose M. Nascimento, Jun Li, Valeriy V. Strotov
2016 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

Refining Low-Resource Unsupervised Translation by Language Disentanglement of Multilingual Model [article]

Xuan-Phi Nguyen, Shafiq Joty, Wu Kui, Ai Ti Aw
2022 arXiv   pre-print
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

High Performance Fortran

1994 ACM SIGPLAN Fortran Forum  
Full details of the language can be found in the HPF Language Specification document [2] 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

An Operational Approach to Requirements Specification for Embedded Systems

P. Zave
1982 IEEE Transactions on Software Engineering  
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

Using SPIN and STeP to Verify Business Processes Specifications [chapter]

Juan C. Augusto, Michael Butler, Carla Ferreira, Stephen-John Craig
2004 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

Page 4563 of Mathematical Reviews Vol. , Issue 98G [page]

1998 Mathematical Reviews  
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.  ... 

Training Multilingual Machine Translation by Alternately Freezing Language-Specific Encoders-Decoders [article]

Carlos Escolano, Marta R. Costa-jussà, José A. R. Fonollosa, Mikel Artetxe
2020 arXiv   pre-print
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