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 application/pdf.
Filters
Derivation of Secure Parallel Applications by Means of Module Embedding
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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
2011
PLoS ONE
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 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
2017
Journal of Computer and Communications
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.
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]
2017
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 2019; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the international workshop on Principles of software evolution - IWPSE '02
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.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the International Conference on Parallel 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.
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
2016
High-Performance Computing in Geoscience and Remote Sensing VI
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.
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]
2022
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 2022; you can also visit the original URL.
The file type is application/pdf.
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
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.
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
1982
IEEE Transactions on Software Engineering
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.
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]
2004
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.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
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