S-algol - PDFSEARCH.IO - Document Search Engine

S-algol
Results: 142

#	Item
1	Q1. (i) What are the two fundamental types or parallelism ? (ii) What are the categories into which parallel computers are divided according to Flynn’s taxonomy ? Ans (i) Data and task parallelism Ans. (ii) Single Inst Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-11-13 04:58:55 Computer programming Software engineering Computing Parallel computing OpenMP Infinite loop Printf format string ALGOL 68 Data parallelism Message Passing Interface
2	© Bjarne Stroustrup, D-R-A-F-T Instructor’s notes Add to Reading List Source URL: stroustrup.com Language: English - Date: 2011-10-07 14:43:41 Software engineering Computer programming Programming language theory Object-oriented programming languages Object-oriented programming Procedural programming languages IBM software C++ Cross-platform software Const This ALGOL 68
3	Scheme Reports Working Group 1 Progress Alex Shinn 1. Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:56 Software engineering Computer programming Computing Scheme Source code Object-oriented programming languages Hygienic macro Macro Racket S-expression Programming language specification ALGOL 68
4	St Andrews Algol to Javascript compiler project William Trend March Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-19 08:58:22 Software engineering Computer programming Programming language theory Procedural programming languages Compiler construction Programming language implementation Parsing Scripting languages ALGOL S-algol Compiler XPL
5	Global Energy Optimization Plugin Developer’s Guide Global Energy Optimization Power Management (GEOPM) is an extensible power management framework targeting high performance computing. The library can be extended to s Add to Reading List Source URL: geopm.github.io Language: English - Date: 2016-05-25 12:25:11 Software engineering Computer programming Programming language theory Procedural programming languages C++ Data types Const C++ classes Method ALGOL 68 D C++11
6	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
7	Grading Rubric – Project 2 – Final Report and Source Code (15% of Project 2 Grade) Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English - Date: 2012-07-25 00:00:39 Algorithm Mathematical logic Theoretical computer science ALGOL 68 Subroutine
8	A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2007-01-30 15:35:55 Category theory Functors Algebraic topology Homotopy theory Fibred category Cartesian closed category Natural transformation Universal property Sheaf Fibration Product Dual
9	Early Nordic compilers and autocodes VersionofPeter Sestoft IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-09-21 16:38:01 Procedural programming languages ALGOL 60 ALGOL Autocode DASK Jrn Jensen High-level programming language Regnecentralen Electronic delay storage automatic calculator Pascal BESK Compiler
10	Electronic Prior Approval Request (PAR) System: FAQ’s Quick Reference Guide What actions require prior approval? Add to Reading List Source URL: cng.ncsu.edu Language: English - Date: 2012-10-09 16:49:22 Par ALGOL 68 Email Internet Computing Digital media Programming language theory