81,355 Hits in 5.1 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.  ...  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

Dominic A. Orchard, Steve Matthews
2008 Mathematics in Computer Science  
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

Jon C. Strauss
1966 Proceedings of the November 7-10, 1966, fall joint computer conference on XX - AFIPS '66 (Fall)  
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]

Craig Rasmussen and Matthew Sottile and Daniel Nagle and Soren Rasmussen
2015 arXiv   pre-print
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  
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

William Pierce
1965 IEEE Transactions on Electronic Computers  
, 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

Henri E. Bal, Jennifer G. Steiner, Andrew S. Tanenbaum
1989 ACM Computing Surveys  
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]

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003 Lecture Notes in Computer Science  
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

Jen-Yen Jason Chen, Shih-Chien Chou
1998 Information and Software Technology  
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

Md. Golam Rashed, Raquib Ahsan
2018 International Journal of Computer Applications  
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]

Bernd Mösli
1995 Informatik aktuell  
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

B.B. Wyatt, K. Kavi, S. Hufnagel
1992 IEEE Software  
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  
, 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

Ben Schneiderman
1985 IEEE Annals of the History of Computing  
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]

K. Mani Chandy, C. Kesselman
1993 Lecture Notes in Computer Science  
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