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. ...
Module M0 contains a statement forall i := 1 to 10 do p(i) that generates processes by executing the procedure statement p(i). ...
This is why parallel statements and forall statements are not permitted to invoke unrestricted procedures. ...
doi:10.1007/10722581_3
fatcat:2twuajblfbe23am5lo7inejguu
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation
2008
Mathematics 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 2018; you can also visit the original URL.
The file type is application/pdf.
This paper discusses the embedding relationships and semantics of conjoining the dataflow and object-oriented paradigms to provide the language Lucian for defining intensional objects. ...
Lucian, a language derived from Lucid, embeds dataflow into object-orientation allowing the intensionalisation of objects. ...
Additional thanks to the anonymous reviewers for their comments and advice. ...
doi:10.1007/s11786-008-0046-6
fatcat:x6ssltkdifh4zbk66fbyow2t2i
Basic Hytran Simulation Language
1966
Proceedings of the November 7-10, 1966, fall joint computer conference on XX - AFIPS '66 (Fall)
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.
This preserves the true parallel system description aspect of the language. d 2 x dx -;+a-+bx=f(t) dt 2 dt dXI = DXO dt t = to XI =XO t = to The simulation oriented BHSL operators, with the exception of ...
FUNCTIONAL DESCRIPTION OF BHSL ENVIRONMENT The presentation of a problem oriented language is facilitated by a general discussion of the application area for which it is designed. ...
doi:10.1145/1464291.1464356
dblp:conf/afips/Strauss66
fatcat:srpwk2gomvgmbjuhrv4sa7pebu
Locally-Oriented Programming: A Simple Programming Model for Stencil-Based Computations on Multi-Level Distributed Memory Architectures
[article]
2015
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 demonstrate how a locally-oriented programming model can be adopted as a language extension using source-to-source program transformations. ...
This paper presents preliminary work examining how programming with a local orientation can be employed to provide simpler access to accelerator architectures. ...
The authors would also like to thank Robert Robey and Wayne Weseloh at Los Alamos National Laborabory for several stimulating conversations with respect to programming models. ...
arXiv:1502.03504v1
fatcat:r2ngh5ne75e4tkybuc3bkxehhe
Guest Editor's Introduction: New Computers for Artificial Intelligence Processing
1987
Computer
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.
and the design of system-level architectures to support one or more languages or knowledge-representation schemes. ...
In contrast, many Al applications are characterized by symbolic processing, nondeterministic computations, dynamic execution, large potential for parallel and distributed processing, knowledge management ...
I am also grateful to G. J. Li for his comments and to K. Lindquist for her secretarial support. ...
doi:10.1109/mc.1987.1663350
fatcat:fpmj7rwovnhm3jbbpxaln7nqlu
Subject index
1965
IEEE Transactions on Electronic Computers
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.
, and reviewing within the organization are specifically dis-Life Assurance data processing are consid-margin accounts. ...
Application to one-time projects is ered in relation to the hardware and software have been used for elaborate studies of securfound to be straightforward, whereas appli-employed in their solution. ities ...
Logic Devices, Flux Steered 3572
Insurance Data Processing, Problems of
Language,
High-Level
Procedure-
Filing System, Information Retrieval Pro-
Life 3656
Oriented 3.589
gram for a Magnetic ...
doi:10.1109/pgec.1965.264070
fatcat:7v5i5owjlfhxnff64ucyckjpbu
Programming languages for distributed computing systems
1989
ACM Computing Surveys
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.
Finally, we discuss 15 representative distributed languages to give the flavor of each. ...
We then describe the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial ...
transaction system Language based on actor model CSP-based language for operating-system design Language based on remote procedure calls Object-oriented language Object-oriented language FORTRAN-based ...
doi:10.1145/72551.72552
fatcat:y2afbdzlpbdgrhutfhgfuhfjmq
Process Algebra for Agent Communication: A General Semantic Approach
[chapter]
2003
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 2020; you can also visit the original URL.
The file type is application/pdf.
We show how ACPL provides a general basis to address the semantics of agent communication languages such as KQML and FIPA-ACL. Finally, we address several extensions of the basic algebra. ...
In this paper, we consider the process algebra ACPL, which models the basics of agent communication. ...
In a process algebra, a process is defined in terms of a set of basic operators, like sequential composition, choice, parallelism and looping. ...
doi:10.1007/978-3-540-44972-0_5
fatcat:5fxgo35lwfhyxhad6425op3unq
Enacting object-oriented methods by a process environment
1998
Information and Software Technology
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.
This paper describes modeling and enactment of two object-oriented methods, namely the OMT method and the Booth method, using the concurrent software process language (CSPL). ...
CSPL is a process-centered environment using Ada95like syntax to model a method as a process program which is then compiled to C-shell executing in UNIX. ...
Acknowledgements The authors wish to thank the referees for their comments and Y. L. Liu for his dedicated work. This research is sponsored by the National Science Council, Taiwan, under Grant No. ...
doi:10.1016/s0950-5849(98)00052-4
fatcat:2wjkhyacyrc3thitmukz4qqu2m
Python in Computational Science: Applications and Possibilities
2018
International Journal of Computer Applications
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.
Python can also be used as a glue language to wrap around existing static compiled code to obtain optimum performance. ...
The salient features of python make it an ideal language for scientific computing exposing the shortcomings of legacy languages and prototyping platforms. ...
Paradigm
Imperative, procedural, object-
oriented (C++).
Generic, imperative, object-
oriented, procedural.
Aspect-oriented,
functional,
imperative,
object-oriented,
reflective. ...
doi:10.5120/7058-9799
fatcat:2576rr4ay5ecrhne3pobisxaj4
A Comparison of C++, FORTRAN 90 and Oberon-2 for Scientific Programming
[chapter]
1995
Informatik aktuell
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.
This invites to reflect upon the suitability ofthese modern programming languages for scientific and engineering computing. ...
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. ...
Acknowledgements The author would like to thank the referees for helpful suggestions, and JörgWaldvogel, Seminar for Applied Mathematics ETH Zürich, for carefully reading this paper. ...
doi:10.1007/978-3-642-79958-7_103
dblp:conf/gi/Mosli95
fatcat:vwcfdlq7gbej5k25pw43djfofm
Parallelism in object-oriented languages: a survey
1992
IEEE Software
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 2010; you can also visit the original URL.
The file type is application/pdf.
Process creation Most concurrent object-oriented languages use one of two approaches to start multiple processes. ...
Implicitly terminating processes after replying to a message is similar to a remote procedure call.' ...
Authorized licensed use limited to: University of North Texas. Downloaded on July 27, 2009 at 14:37 from IEEE Xplore. Restrictions apply. ...
doi:10.1109/52.168859
fatcat:kvzoj3rzrjhnhbu5r5l6n4esgi
Some specific procedures of geometrical modelling in the PrESMod language for 2D parameter geometric modelling
2017
Tehnički Vjesnik
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.
, characteristic geometric parameters, such as diameter, radius, angle, length and also parallel, normal, tangent relations, there are several solutions for the given entity (how to obtain one solution ...
Finally, two commands in the PrESMod language for 2D parameter geometric modelling are given. ...
Introduction of relational statement in the procedure of geometric modelling when there are several solutions to one part of the procedure facilitates entity modelling or defining the required solution ...
doi:10.17559/tv-20160621114351
fatcat:pfn7dyigczeo5o3wmurcq2enru
The Relationship Between COBOL and Computer Science
1985
IEEE Annals of the History of Computing
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 2013; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments In addition to the people I interviewed, I was greatly helped by knowledgeable reviews of early drafts by Robert Dewar, John Gannon, Rick Linger, Daniel McCracken, Terrence Pratt, Edward ...
My first consideration of this topic was stimulated by Hank Tropp and Jean Sammet's invi-tation to give a talk at the 1979 .National Computer Conference's Pioneer Day celebration of the 20th an-niVerSary ...
languages, theory, and an abstract, more mathematical orientation. ...
doi:10.1109/mahc.1985.10041
fatcat:wlajsh26n5bfpbbpbgavq6amfu
Compositional C++: Compositional parallel programming
[chapter]
1993
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 2015; you can also visit the original URL.
The file type is application/pdf.
In this paper, we describe a small extension of C ++ called Compositional C ++ or CC ++ which is an object-oriented notation that supports compositional parallel programming. ...
CC ++ is designed to be transportable across a range of MIMD architectures. wpF G Q = wpF wpG Q ...
Object-oriented design methodologies 7 that facilitate the construction of large scale object-oriented programming systems can be applied to software written in CC ++ as well. ...
doi:10.1007/3-540-57502-2_44
fatcat:gonuykhekbeu5groyfp6nv5xdu
« Previous
Showing results 1 — 15 out of 81,355 results