Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033594467> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2033594467 endingPage "114" @default.
- W2033594467 startingPage "103" @default.
- W2033594467 abstract "Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correctly without locking by exploiting the atomicity of certain operations on a specific hardware. In this paper, we describe how to precisely analyze lockless microcontroller C programs with interrupts by taking the hardware architecture into account. We evaluate this technique in an octagon-based value range analysis using access-based localization to increase efficiency." @default.
- W2033594467 created "2016-06-24" @default.
- W2033594467 creator A5008301973 @default.
- W2033594467 creator A5019982470 @default.
- W2033594467 creator A5025898383 @default.
- W2033594467 date "2012-11-26" @default.
- W2033594467 modified "2023-10-04" @default.
- W2033594467 title "Static Analysis of Lockless Microcontroller C Programs" @default.
- W2033594467 cites W1521984813 @default.
- W2033594467 cites W1971332773 @default.
- W2033594467 cites W2029947984 @default.
- W2033594467 cites W2043100293 @default.
- W2033594467 cites W2045238089 @default.
- W2033594467 cites W2093709900 @default.
- W2033594467 cites W2098151336 @default.
- W2033594467 cites W2116449020 @default.
- W2033594467 cites W2123998619 @default.
- W2033594467 cites W2152885346 @default.
- W2033594467 cites W3104985640 @default.
- W2033594467 cites W3139419613 @default.
- W2033594467 cites W3139824870 @default.
- W2033594467 cites W3158747708 @default.
- W2033594467 doi "https://doi.org/10.4204/eptcs.102.10" @default.
- W2033594467 hasPublicationYear "2012" @default.
- W2033594467 type Work @default.
- W2033594467 sameAs 2033594467 @default.
- W2033594467 citedByCount "2" @default.
- W2033594467 countsByYear W20335944672015 @default.
- W2033594467 countsByYear W20335944672016 @default.
- W2033594467 crossrefType "journal-article" @default.
- W2033594467 hasAuthorship W2033594467A5008301973 @default.
- W2033594467 hasAuthorship W2033594467A5019982470 @default.
- W2033594467 hasAuthorship W2033594467A5025898383 @default.
- W2033594467 hasBestOaLocation W20335944671 @default.
- W2033594467 hasConcept C119857082 @default.
- W2033594467 hasConcept C127413603 @default.
- W2033594467 hasConcept C146978453 @default.
- W2033594467 hasConcept C149635348 @default.
- W2033594467 hasConcept C173018170 @default.
- W2033594467 hasConcept C188045909 @default.
- W2033594467 hasConcept C199360897 @default.
- W2033594467 hasConcept C204323151 @default.
- W2033594467 hasConcept C2776291640 @default.
- W2033594467 hasConcept C41008148 @default.
- W2033594467 hasConcept C75949130 @default.
- W2033594467 hasConcept C9390403 @default.
- W2033594467 hasConceptScore W2033594467C119857082 @default.
- W2033594467 hasConceptScore W2033594467C127413603 @default.
- W2033594467 hasConceptScore W2033594467C146978453 @default.
- W2033594467 hasConceptScore W2033594467C149635348 @default.
- W2033594467 hasConceptScore W2033594467C173018170 @default.
- W2033594467 hasConceptScore W2033594467C188045909 @default.
- W2033594467 hasConceptScore W2033594467C199360897 @default.
- W2033594467 hasConceptScore W2033594467C204323151 @default.
- W2033594467 hasConceptScore W2033594467C2776291640 @default.
- W2033594467 hasConceptScore W2033594467C41008148 @default.
- W2033594467 hasConceptScore W2033594467C75949130 @default.
- W2033594467 hasConceptScore W2033594467C9390403 @default.
- W2033594467 hasLocation W20335944671 @default.
- W2033594467 hasLocation W20335944672 @default.
- W2033594467 hasLocation W20335944673 @default.
- W2033594467 hasLocation W20335944674 @default.
- W2033594467 hasOpenAccess W2033594467 @default.
- W2033594467 hasPrimaryLocation W20335944671 @default.
- W2033594467 hasRelatedWork W2341212372 @default.
- W2033594467 hasRelatedWork W2358085404 @default.
- W2033594467 hasRelatedWork W2363835460 @default.
- W2033594467 hasRelatedWork W2368105428 @default.
- W2033594467 hasRelatedWork W2369813044 @default.
- W2033594467 hasRelatedWork W2376668782 @default.
- W2033594467 hasRelatedWork W2380194417 @default.
- W2033594467 hasRelatedWork W2381042966 @default.
- W2033594467 hasRelatedWork W2381979011 @default.
- W2033594467 hasRelatedWork W2389726215 @default.
- W2033594467 hasVolume "102" @default.
- W2033594467 isParatext "false" @default.
- W2033594467 isRetracted "false" @default.
- W2033594467 magId "2033594467" @default.
- W2033594467 workType "article" @default.