Filters








6,716 Hits in 3.0 sec

Beyond concurrent Pascal

Klaus-Peter Löhr
1977 Proceedings of the sixth symposium on Operating systems principles - SOSP '77  
It is exhibited by demonstrating how virtual memory systems can be constructed using Concurrent Pascal and how process management can be moved from the kernel to the Concurrent Pascal program.  ...  Alternatives are machine oriented high-level languages and "safe" languages in the style of Concurrent Pascal and MODULA.  ...  The system is called MUSIC for m_ulti-user ~ystem in Concurrent Pascal and is based on SOLO[Brinch Hansen 75b].  ... 
doi:10.1145/800214.806561 dblp:conf/sosp/Lohr77 fatcat:do6vbd6gezdrbbta3gtfbkbnji

The design of Edison

Brinch Hansen
1981 Software, Practice & Experience  
The theories used to reason about concurrent statements, when statements, and common variables are beyond the scope of this report."  ...  of Concurrent Pascal.  ... 
doi:10.1002/spe.4380110404 fatcat:ms2vd5gmrbfwnjjnvyzomzitiu

The Invention of Concurrent Programming [chapter]

Per Brinch Hansen
2001 The Origin of Concurrent Programming  
Brinch Hansen, The invention of concurrent programming. In The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls, P. Brinch Hansen, Ed.,  ...  The author selects classic papers written by the computer scientists who made the major breakthroughs in concurrent programming.  ...  Brinch Hansen, The Programming Language Concurrent Pascal (1975) Concurrent Pascal extends Pascal with abstract data types known as processes, monitors, and classes.  ... 
doi:10.1007/978-1-4757-3472-0_1 fatcat:ngxptj4ch5dqpnte5jnrtruqty

Page 530 of The Westminster Review Vol. 123, Issue [page]

1885 The Westminster Review  
Kegan Paul’s charmingly got up translation of the “Pensées” of Pascal,” based on M.  ...  I have always been a teacher; I have not ceased to be a Jearner; in the one capacity, I must tell the little that I know; in the other, I must strive after some glimpse of the immeasur- able light beyond  ... 

Multiprocessor Architectures For Concurrent Programs

Per Brinch Hansen
1978 Proceedings of the 1978 annual conference on - ACM 78  
This corresponds closely to the implementation of Concurrent Pascal on the POP 11/45 computer [ 2J . On a single processor concurrent processes are simulated by means of clock interrupts.  ...  Now we do have several years of experience uiith the programming language Concurrent Pascal t hat includes processes and monitors [zJ .  ... 
doi:10.1145/800127.804119 dblp:conf/acm/Hansen78 fatcat:ygywdgi7wreblbtfyql6rzu3rm

Multiprocessor architectures for concurrent programs

Per Brinch Hansen
1978 SIGARCH Computer Architecture News  
This corresponds closely to the implementation of Concurrent Pascal on the POP 11/45 computer [ 2J . On a single processor concurrent processes are simulated by means of clock interrupts.  ...  Now we do have several years of experience uiith the programming language Concurrent Pascal t hat includes processes and monitors [zJ .  ... 
doi:10.1145/641829.641830 fatcat:3vzaddij5fhwhl2rvcakisfopm

Efficient Parallel Recursion [chapter]

Per Brinch Hansen
1995 The Origin of Concurrent Programming  
(Andrews 1981), Concurrent Euclid (Holt 1983) , Planet (Crookes 1984) and Pascal-FC (Davies 1990) .  ...  These include Concurrent Pascal (Brinch Hansen 1975) , Simone (Kaubisch 1976) , Modula (Wirth 1977 ), Distributed Processes (Brinch Hansen 1978 , Pascal Plus (Welsh 1979) , StarMod (Cook 1980) , SR  ... 
doi:10.1007/978-1-4757-3472-0_20 fatcat:llact6z47jcw7pzsw5zhbz5p4y

Cardan and the Pascal Triangle

C. B. Boyer
1950 The American mathematical monthly  
Note that the definition of a non-trivial intersection point theorem also requires at least three lines on 2 point and three points on a line so that we have at least three lines of the configuration concurrent  ...  CARDAN AND THE PASCAL TRIANGLE C. B.  ... 
doi:10.1080/00029890.1950.11999554 fatcat:zr4ettm3prd37eecnx4va3ciiu

Page 162 of University Computing : The Bulletin of the IUCC Vol. 9, Issue 3 [page]

1987 University Computing : The Bulletin of the IUCC  
Such a book would no doubt be littered with examples of programs written in such languages as Concurrent Pascal, Ada, occam and Euclid (to name but a few).  ...  This view includes the concept of abstract data types, but also goes beyond this to allow a nested set of abstractions which eventually are based upon the primitive values (bit- patterns) and operations  ... 

Page 681 of The Hibbert Journal : A Quarterly Review of Religion, Theology and Philosophy Vol. 29, Issue 4 [page]

1930 The Hibbert Journal : A Quarterly Review of Religion, Theology and Philosophy  
Totally different from the Socratic paradox, they have no significance beyond that of intellectual sleight of hand.  ...  Pascal said of Montaigne (somewhat unwarrantably, it seems to me) that he involved all things in such universal, unmingled scepticism as to doubt of his own doubts.  ... 

The computer searches for Pascal conics

S.C. Chou, X.S. Gao
1995 Computers and Mathematics with Applications  
Four classes of theorems related to Pascal conics have been discovered by this approach. Two of them are new.  ...  We wondered whether there were further linear properties (collinearity or concurrency) of the Pascal configuration.  ...  Salmon's theorem involves too many points (thus, too many polynomials in our prover), and is beyond the space limit of our computer.  ... 
doi:10.1016/0898-1221(94)00216-8 fatcat:mbnk57l6grdkdlnv3slwco7cxu

Page 289 of Journal of Engineering Education Vol. 22, Issue 4 [page]

1931 Journal of Engineering Education  
In considering the mathematics of the seventeenth century we referred to the notable development of synthetic geometry by Pascal and Desargues.  ...  rks deal 3 beyond blish the © on the in 1794, inge the roblems ancient oandon- cCessive lid and unt of both x ilready ’s fifth geom- and a at the ; there rough ot de- ideas lyai,* 1832. d into Iso at is  ... 

Comparative Study of Massively Parallel GPU Realizations of Wavelet Transform Computation with Lattice Structure and Matrix-Based Approach

Dariusz Puchala, Kamil Stokfiszewski, Kamil Wieloch, Mykhaylo Yatsymirskyy
2018 2018 IEEE Second International Conference on Data Stream Mining & Processing (DSMP)  
However, these considerations go beyond the scope of this paper and will be the basis for future research. V.  ...  equals to 48, which amounts to maximum possible number of concurrent threads running on a single SM to be equal to 1536 concurrent threads.  ... 
doi:10.1109/dsmp.2018.8478567 fatcat:425k7xftpzdizlgq3vgxbzcjm4

Page 208 of Colby Quarterly Vol. 28, Issue 4 [page]

1992 Colby Quarterly  
(Pascal, entertainer of vast interior and exterior worlds, presides over this lyric.)  ...  Jefferson, whose trysts with his slave- mistress simulate those of “Satanic” Byron and earn him the title “Beelzebub” from a spying Smith, invents a polygraph so that words such as /ove can run concurrently  ... 

Is Ada too big? A designer answers the critics

Brian A. Wichmann
1984 Communications of the ACM  
All indications are that Ada compilers will be bigger and slower than Pascal compilers. Fortunately, singlechip microprocessors are now becoming available with addressing beyond 16 bits.  ...  But how can one teach the principles of concurrency with a sequential language?  ... 
doi:10.1145/69610.69613 fatcat:u54p4s4pxnccrpxjm7a6uxpmhy
« Previous Showing results 1 — 15 out of 6,716 results