Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099097378> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2099097378 abstract "With the increasing emphasis on exploiting concurrency efficiently and correctly, the lack of suitable pedagogical material for teaching concurrency is a growing problem. In this paper, we summarize a recently concluded class as well as some independent projects in the area of concurrency and multi-core computing that offer some insights to address this problem. We examine background papers, the teaching of low level concurrency, and the teaching of threading and message passing. The use of dynamic formal verification tools in a class setting is discussed in some detail. We conclude with a summary of pedagogical material being assembled, including exercises from a popular textbook on MPI solved using our dynamic verifier ISP. Our observation is that the teaching of concurrency is greatly facilitated by the use of dynamic push-button formal verification tools that can handle non-trivial concurrent programs. Given the growing number of publications on how to teach concurrency as well as employ new programming approaches, our work addresses the somewhat neglected topic of using modern dynamic formal verification methods within the context of widely used concurrency approaches and libraries." @default.
- W2099097378 created "2016-06-24" @default.
- W2099097378 creator A5014202235 @default.
- W2099097378 creator A5023078216 @default.
- W2099097378 creator A5030639479 @default.
- W2099097378 creator A5039924074 @default.
- W2099097378 creator A5043123472 @default.
- W2099097378 creator A5054841277 @default.
- W2099097378 creator A5058281242 @default.
- W2099097378 creator A5069008580 @default.
- W2099097378 creator A5069846379 @default.
- W2099097378 creator A5073887611 @default.
- W2099097378 creator A5090117182 @default.
- W2099097378 date "2009-07-19" @default.
- W2099097378 modified "2023-09-28" @default.
- W2099097378 title "Some resources for teaching concurrency" @default.
- W2099097378 cites W1596400970 @default.
- W2099097378 cites W1815537977 @default.
- W2099097378 cites W1848189967 @default.
- W2099097378 cites W1893845610 @default.
- W2099097378 cites W192267309 @default.
- W2099097378 cites W2054961017 @default.
- W2099097378 cites W2064372914 @default.
- W2099097378 cites W2079942837 @default.
- W2099097378 cites W2115309705 @default.
- W2099097378 cites W2131514278 @default.
- W2099097378 cites W2135948849 @default.
- W2099097378 cites W2149871224 @default.
- W2099097378 cites W2151240335 @default.
- W2099097378 cites W2169870841 @default.
- W2099097378 cites W2293292232 @default.
- W2099097378 cites W4239064133 @default.
- W2099097378 doi "https://doi.org/10.1145/1639622.1639624" @default.
- W2099097378 hasPublicationYear "2009" @default.
- W2099097378 type Work @default.
- W2099097378 sameAs 2099097378 @default.
- W2099097378 citedByCount "3" @default.
- W2099097378 countsByYear W20990973782012 @default.
- W2099097378 countsByYear W20990973782013 @default.
- W2099097378 countsByYear W20990973782017 @default.
- W2099097378 crossrefType "proceedings-article" @default.
- W2099097378 hasAuthorship W2099097378A5014202235 @default.
- W2099097378 hasAuthorship W2099097378A5023078216 @default.
- W2099097378 hasAuthorship W2099097378A5030639479 @default.
- W2099097378 hasAuthorship W2099097378A5039924074 @default.
- W2099097378 hasAuthorship W2099097378A5043123472 @default.
- W2099097378 hasAuthorship W2099097378A5054841277 @default.
- W2099097378 hasAuthorship W2099097378A5058281242 @default.
- W2099097378 hasAuthorship W2099097378A5069008580 @default.
- W2099097378 hasAuthorship W2099097378A5069846379 @default.
- W2099097378 hasAuthorship W2099097378A5073887611 @default.
- W2099097378 hasAuthorship W2099097378A5090117182 @default.
- W2099097378 hasConcept C120314980 @default.
- W2099097378 hasConcept C150495011 @default.
- W2099097378 hasConcept C173608175 @default.
- W2099097378 hasConcept C193702766 @default.
- W2099097378 hasConcept C199360897 @default.
- W2099097378 hasConcept C41008148 @default.
- W2099097378 hasConcept C75949130 @default.
- W2099097378 hasConcept C84511453 @default.
- W2099097378 hasConceptScore W2099097378C120314980 @default.
- W2099097378 hasConceptScore W2099097378C150495011 @default.
- W2099097378 hasConceptScore W2099097378C173608175 @default.
- W2099097378 hasConceptScore W2099097378C193702766 @default.
- W2099097378 hasConceptScore W2099097378C199360897 @default.
- W2099097378 hasConceptScore W2099097378C41008148 @default.
- W2099097378 hasConceptScore W2099097378C75949130 @default.
- W2099097378 hasConceptScore W2099097378C84511453 @default.
- W2099097378 hasLocation W20990973781 @default.
- W2099097378 hasOpenAccess W2099097378 @default.
- W2099097378 hasPrimaryLocation W20990973781 @default.
- W2099097378 hasRelatedWork W1556611670 @default.
- W2099097378 hasRelatedWork W1570895331 @default.
- W2099097378 hasRelatedWork W1583998359 @default.
- W2099097378 hasRelatedWork W1760404489 @default.
- W2099097378 hasRelatedWork W2110053516 @default.
- W2099097378 hasRelatedWork W2139633925 @default.
- W2099097378 hasRelatedWork W2374807419 @default.
- W2099097378 hasRelatedWork W2788685475 @default.
- W2099097378 hasRelatedWork W2899486387 @default.
- W2099097378 hasRelatedWork W4233783224 @default.
- W2099097378 isParatext "false" @default.
- W2099097378 isRetracted "false" @default.
- W2099097378 magId "2099097378" @default.
- W2099097378 workType "article" @default.