Suchergebnisse - Concurrent Pascal (Computer program language)~
-
1
Teaching and Learning Concurrent Programming in the Shared Memory Model
ISBN: 9789180750004, 9180750001Veröffentlicht: Linköping Linkopings Universitet 2023Volltext
E-Book -
2
C# 2008 and 2005 threaded programming: beginner's guide: exploit the power of multiple processors for faster, more responsive software
ISBN: 1847197108, 9781847197115, 1847197116, 9781847197108Veröffentlicht: Birmingham, U.K PACKT Publishing 2009“… This is a concise practical guide that will help you learn C# threaded programming, with lot of examples and clear explanations. It is packed with screenshots …”
Volltext
E-Book -
3
Java Programming 24-Hour Trainer
ISBN: 0470889640, 9780470889640Veröffentlicht: Hoboken John Wiley & Sons, Incorporated 2011“… A unique book-and-video package presented by Java guru Yakov Fain As one of the most popular software languages for building Web applications, Java is often the first programming language developers learn …”
Volltext
E-Book -
4
Java 7 New Features Cookbook
ISBN: 1849685622, 9781849685627Veröffentlicht: Olton Packt Publishing 2012“… Each recipe comprises step-by-step instructions followed by an analysis of what was done in each task and other useful information. The book is designed so …”
Volltext
E-Book -
5
Learn You Some Erlang for Great Good!: A Beginner's Guide
ISBN: 9781593274351, 1593274351Veröffentlicht: San Francisco No Starch Press, Incorporated 2013“… Erlang is a functional programming language used by high paying companies such as Facebook and Amazon …”
Volltext
E-Book -
6
Communicating process architectures 2002 : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom
ISBN: 9781586032685, 1586032682Veröffentlicht: Amsterdam IOS Press 2002Volltext
Buch -
7
The programming language Concurrent Pascal
ISSN: 0098-5589Veröffentlicht: IEEE 01.06.1975Veröffentlicht in IEEE transactions on software engineering (01.06.1975)“… It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors …”
Volltext
Journal Article -
8
Multithreaded transactions in scientific computing. The Growth06_v2 program
ISSN: 0010-4655, 1879-2944Veröffentlicht: Elsevier B.V 01.07.2009Veröffentlicht in Computer physics communications (01.07.2009)“… Writing a concurrent program can be more difficult than writing a sequential program …”
Volltext
Journal Article -
9
The Velox Transactional Memory Stack
ISSN: 0272-1732, 1937-4143Veröffentlicht: Los Alamitos IEEE 01.09.2010Veröffentlicht in IEEE MICRO (01.09.2010)“… The transactional memory (TM) programming paradigm is a strong contender to become the approach of choice for replacing locks and implementing atomic operations in concurrent programming …”
Volltext
Journal Article Verlag -
10
Mastering Delphi programming: a complete reference guide : learn all about building fast, scalable, and high performing applications with Delphi
Veröffentlicht: Packt Publishing 26.11.2019“… Use structural, behavioral, and concurrent patterns in Delphi to skillfully develop applicationsKey FeaturesDelve into the core patterns and components of Delphi to enhance your application's …”
Volltext
E-Book -
11
Mastering Delphi Programming: A Complete Reference Guide
ISBN: 1838989110, 9781838989118Veröffentlicht: Packt Publishing 26.11.2019“… Use structural, behavioral, and concurrent patterns in Delphi to skillfully develop applicationsKey FeaturesDelve into the core patterns and components of Delphi to enhance your application's design …”
Volltext
E-Book -
12
Portable, parallelizing Pascal compiler
ISSN: 0740-7459, 1937-4194Veröffentlicht: Los Alamitos IEEE 01.03.1993Veröffentlicht in IEEE software (01.03.1993)“… multiprocessors, are discussed. P/sup 3/C is a fully automatic, portable parallelizing Pascal compiler for scientific code, which is characterized by loops operating on regular data structures …”
Volltext
Journal Article -
13
Context-bounded verification of liveness properties for multithreaded shared-memory programs
ISSN: 2475-1421, 2475-1421Veröffentlicht: 01.01.2021Veröffentlicht in Proceedings of ACM on programming languages (01.01.2021)“… We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads …”
Volltext
Journal Article -
14
Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations
ISSN: 0098-5589, 1939-3520Veröffentlicht: New York, NY IEEE 01.01.1985Veröffentlicht in IEEE transactions on software engineering (01.01.1985)“… : a process or a monitor oriented approach. This paper compares the two design approaches in a Concurrent Pascal environment …”
Volltext
Journal Article -
15
Extending Concurrent Pascal to Allow Dynamic Resource Management
ISSN: 0098-5589, 1939-3520Veröffentlicht: New York IEEE 01.05.1977Veröffentlicht in IEEE transactions on software engineering (01.05.1977)“… In Concurrent Pascal, the syntactic and semantic definition of the language prevents the inadvertent definition of a program that might violate the integrity of a shared data object …”
Volltext
Journal Article -
16
Experience with Modular Concurrent Programming
ISSN: 0098-5589, 1939-3520Veröffentlicht: New York IEEE 01.03.1977Veröffentlicht in IEEE transactions on software engineering (01.03.1977)“… This paper summarizes the initial experience with the programming language Concurrent Pascal in the design of three model operating systems …”
Volltext
Journal Article -
17
MPP Pascal
ISBN: 9780818658921, 0818658924Veröffentlicht: IEEE Comput. Soc. Press 1988Veröffentlicht in Proceedings (1988)“… The massively parallel processor (MPP) Pascal language is presented, and the implementation decisions pertinent to mapping parallel constructs onto the MPP are discussed …”
Volltext
Tagungsbericht -
18
Multithreaded transactions in scientific computing: New versions of a computer program for kinematical calculations of RHEED intensity oscillations
ISSN: 0010-4655, 1879-2944Veröffentlicht: Elsevier B.V 15.11.2006Veröffentlicht in Computer physics communications (15.11.2006)“… Writing a concurrent program can be more difficult than writing a sequential program …”
Volltext
Journal Article -
19
Cooperative and competitive concurrency in scientific computing. A full open-source upgrade of the program for dynamical calculations of RHEED intensity oscillations
ISSN: 0010-4655, 1879-2944, 1386-9485Veröffentlicht: Elsevier B.V 01.06.2011Veröffentlicht in Computer physics communications (01.06.2011)“… A computational model is a computer program, which attempts to simulate an abstract model of a particular system …”
Volltext
Journal Article -
20
A Value Analysis for C Programs
ISBN: 0769537936, 9780769537931Veröffentlicht: IEEE 01.09.2009Veröffentlicht in SCAM 2009 : proceedings: ninth IEEE International Working Conference on Source Code Analysis and Manipulation : 20-21 September 2009, Edmonton, Alberta, Canada (01.09.2009)“… We demonstrate the value analysis of Frama-C. Frama-C is an Open Source static analysis framework for the C language …”
Volltext
Tagungsbericht

