Search
Feedback
About UniCat 
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
ISBN: 9789180750004 9789180750011 Year: 2023 Publisher: Linköping : Linkopings Universitet,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This dissertation by Filip Strömbäck focuses on teaching and learning concurrent programming in the shared memory model. It addresses the challenges students face in understanding concurrency, which is essential due to the increasing prevalence of multicore systems in various devices. The research explores the difficulties students encounter, such as the need for a more formal approach to programming and understanding fundamental concepts like scope, aliasing, and references. The dissertation introduces Progvis, a visualization tool that helps students better grasp concurrent programming by illustrating the interaction between concurrency and basic programming concepts. The tool also includes a model-checker to identify concurrency issues, aiding students' learning. The findings suggest that Progvis improves students' problem-solving speed and accuracy in concurrent programming.
ISBN: 0130446289 9780130446282 Year: 1977 Publisher: Englewood Cliffs (N.J.): Prentice Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Concurrent PASCAL (Computer program language) --- Operating systems (Computers) --- Systèmes d'exploitation (Ordinateurs) --- Concurrent Pascal (Computer program language) --- 681.3*D13 --- 681.3*D32 --- 681.3*D33 --- Elektronica --- Programmeren --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Pascal (Computer program language) --- Concurrent programming --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Operating systems --- Concurrent Pascal (Computer program language). --- Operating systems (Computers). --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D13 Concurrent programming --- Programming(Concurrent-) --- Pascal language(Concurrent-)
ISBN: 0070224390 9780070224391 Year: 1984 Publisher: New York: McGraw-Hill,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Electronic data processing --- Computer programming --- Distributed processing --- Computer programming. --- Distributed processing. --- Traitement réparti --- Programmation (Informatique) --- Electronic digital computers. --- Electronic data processing - Distributed processing --- Concurrent Programming --- Ada --- synchronization --- Parallelism --- Data Base --- Petri Net --- Concurrent Pascal --- Distributed System --- Concurrency --- Software engineering --- Distribution processing --- Electronic data
ISBN: 3540082409 0387082409 3540373748 9783540082408 9780387082400 Year: 1977 Volume: 50 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer architecture. Operating systems --- Minicomputers --- Compilers (Computer programs) --- Concurrent Pascal (Computer program language) --- Compiling (Electronic computers) --- Programming --- -#TCPW P4.0 --- #TCPW P4.1 --- #TCPW P4.3 --- #TCPW P5.5 --- 681.3*D13 --- 681.3*D33 --- 681.3*D34 --- Mini computers --- Miniature computers --- Small computers --- Electronic digital computers --- Miniature electronic equipment --- Pascal (Computer program language) --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Concurrent programming --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D13 Concurrent programming --- Compilers (Computer programs). --- Concurrent Pascal (Computer program language). --- Programming. --- #TCPW P4.0 --- Software engineering. --- Philosophy (General). --- Software Engineering/Programming and Operating Systems. --- Philosophy, general. --- Computer software engineering --- Engineering --- Langages de programmation --- Minicomputers - Programming
| Listing 1 - 4 of 4 |
Sort by
|