Flag semaphore

Results: 15



#Item
1Formal methods / Monitor / Hoare logic / Invariant / Loop invariant / Flag semaphore / Variable / ALGOL 68 / Predicate transformer semantics

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
2Concurrency control / Edsger W. Dijkstra / Monitor / Hoare logic / Event / Semaphore / Concurrent computing / Pascal / XC / Flag semaphore / ALGOL 68 / Unix signal

A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
3Edsger W. Dijkstra / Concurrency control / Semaphore / Synchronization / Mutual exclusion / Actor model / THE multiprogramming system / Flag semaphore / Lock / Critical section / Monitor / Sleeping barber problem

The Structure of the "THE"-Multiprogramming System Edsger W . Dijkstra Technological University, Eindhoven, The Netherlands A multiprogramming system is described in which all activities are divided over a number of sequ

Add to Reading List

Source URL: www.eecs.harvard.edu

Language: English
4Rail transport / Transport / Railway signal / Optical communications / Union Switch & Signal / North American railroad signals / Searchlight / Flag semaphore / Railway semaphore signal / Semaphore / Signal

LOGIC R AIL TECHNOLOGIES TM "Sophisticated

Add to Reading List

Source URL: www.logicrailtech.com

Language: English - Date: 2015-12-10 20:57:15
5Encodings / Flag semaphore / Railway signalling / Cultural history / Semiotics / Code / Flag / Railway signal / Signaller / Flags / Nonverbal communication / Notation

Topical Applications of Mathematics TAM Semaphore

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2008-02-19 10:22:39
6Flags / Semiotics / Cultural history / Nonverbal communication / Technology / Vexillology / Flag / Railroad switch

Mathematics Enhancement Programme Codes and Ciphers UNIT 13 Semaphore

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2005-08-11 12:59:49
7Encodings / Flag semaphore / Notation / Semiotics / Railway signal / Code / Flag / Cultural history / Flags / Nonverbal communication / Railway signalling

Mathematics Enhancement Programme Codes and Ciphers

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2005-08-11 12:59:46
8Endocrine system / Glycoproteins / Peptide hormones / Recombinant proteins / Sex hormones / Rh blood group system / Flag semaphore / Semaphore line / Flag signals / Biology / Flags / Anatomy

MEP: Codes and Ciphers, UNIT 13 Semaphore Pupil Text 13 Semaphore The semaphore flag signalling system, designed by the Chappe brothers in France in the

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2005-08-11 12:59:48
9Anatomy / Endocrine system / Glycoproteins / Recombinant proteins / Sex hormones / Flag semaphore / Flag signals / Semaphore line / Rh blood group system / Biology / Flags / Peptide hormones

Topical Applications of Mathematics: Semaphore Pupil Resource Semaphore

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2006-06-05 09:40:39
10Flags / Email / Semaphore line / Electrical telegraph / Railway semaphore signal / Flag signals / Semaphore / Telephony / Telegraphy / Technology / SeniorNet

September 2011 Newsletter

Add to Reading List

Source URL: www.ascca.org.au

Language: English - Date: 2013-04-15 07:15:11
UPDATE