Search Results - Concurrent Pascal (Computer program language)*
-
1
Teaching and Learning Concurrent Programming in the Shared Memory Model
ISBN: 9789180750004, 9180750001Published: Linköping Linkopings Universitet 2023Get full text
eBook -
2
Java 7 New Features Cookbook
ISBN: 1849685622, 9781849685627Published: 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…”
Get full text
eBook -
3
Learn You Some Erlang for Great Good!: A Beginner's Guide
ISBN: 9781593274351, 1593274351Published: San Francisco No Starch Press, Incorporated 2013“…Erlang is a functional programming language used by high paying companies such as Facebook and Amazon…”
Get full text
eBook -
4
C# 2008 and 2005 threaded programming: beginner's guide: exploit the power of multiple processors for faster, more responsive software
ISBN: 1847197108, 9781847197115, 1847197116, 9781847197108Published: 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…”
Get full text
eBook -
5
Communicating process architectures 2002 : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom
ISBN: 9781586032685, 1586032682Published: Amsterdam IOS Press 2002Get full text
Book -
6
Java Programming 24-Hour Trainer
ISBN: 0470889640, 9780470889640Published: 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…”
Get full text
eBook -
7
The programming language Concurrent Pascal
ISSN: 0098-5589Published: IEEE 01.06.1975Published in IEEE transactions on software engineering (01.06.1975)“… It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors…”
Get full text
Journal Article -
8
Multithreaded transactions in scientific computing. The Growth06_v2 program
ISSN: 0010-4655, 1879-2944Published: Elsevier B.V 01.07.2009Published in Computer physics communications (01.07.2009)“…Writing a concurrent program can be more difficult than writing a sequential program…”
Get full text
Journal Article -
9
The Velox Transactional Memory Stack
ISSN: 0272-1732, 1937-4143Published: Los Alamitos IEEE 01.09.2010Published 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…”
Get full text
Journal Article Publication -
10
Mastering Delphi programming: a complete reference guide : learn all about building fast, scalable, and high performing applications with Delphi
Published: 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…”
Get full text
eBook -
11
Mastering Delphi Programming: A Complete Reference Guide
ISBN: 1838989110, 9781838989118Published: 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…”
Get full text
eBook -
12
Portable, parallelizing Pascal compiler
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.03.1993Published 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…”
Get full text
Journal Article -
13
Context-bounded verification of liveness properties for multithreaded shared-memory programs
ISSN: 2475-1421, 2475-1421Published: 01.01.2021Published 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…”
Get full text
Journal Article -
14
Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations
ISSN: 0098-5589, 1939-3520Published: New York, NY IEEE 01.01.1985Published 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…”
Get full text
Journal Article -
15
Extending Concurrent Pascal to Allow Dynamic Resource Management
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.05.1977Published 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…”
Get full text
Journal Article -
16
Experience with Modular Concurrent Programming
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.03.1977Published 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…”
Get full text
Journal Article -
17
MPP Pascal
ISBN: 9780818658921, 0818658924Published: IEEE Comput. Soc. Press 1988Published 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…”
Get full text
Conference Proceeding -
18
Multithreaded transactions in scientific computing: New versions of a computer program for kinematical calculations of RHEED intensity oscillations
ISSN: 0010-4655, 1879-2944Published: Elsevier B.V 15.11.2006Published in Computer physics communications (15.11.2006)“…Writing a concurrent program can be more difficult than writing a sequential program…”
Get full text
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-9485Published: Elsevier B.V 01.06.2011Published 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…”
Get full text
Journal Article -
20
A Value Analysis for C Programs
ISBN: 0769537936, 9780769537931Published: IEEE 01.09.2009Published 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…”
Get full text
Conference Proceeding

