Matches in SemOpenAlex for { <https://semopenalex.org/work/W2746733541> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2746733541 abstract "In this paper, we present the incremental methodology to develop a multiplier and an adder. We start from an abstraction which gives the result in one shot and we introduce the algorithm using division by 2 and an accumulator to store a temporary result. For the adder we give another refinement to introduce the carry. Next we introduce two codings: an abstract one (sequence of bits) and a concrete one (bounded sequence of bits). We discover an overflow in the last refinement." @default.
- W2746733541 created "2017-08-31" @default.
- W2746733541 creator A5007751056 @default.
- W2746733541 creator A5018322893 @default.
- W2746733541 date "2002-01-01" @default.
- W2746733541 modified "2023-09-25" @default.
- W2746733541 title "Integration of the proof process in the system development through refinement steps" @default.
- W2746733541 hasPublicationYear "2002" @default.
- W2746733541 type Work @default.
- W2746733541 sameAs 2746733541 @default.
- W2746733541 citedByCount "5" @default.
- W2746733541 crossrefType "journal-article" @default.
- W2746733541 hasAuthorship W2746733541A5007751056 @default.
- W2746733541 hasAuthorship W2746733541A5018322893 @default.
- W2746733541 hasConcept C10138342 @default.
- W2746733541 hasConcept C111472728 @default.
- W2746733541 hasConcept C11413529 @default.
- W2746733541 hasConcept C124304363 @default.
- W2746733541 hasConcept C124584101 @default.
- W2746733541 hasConcept C134306372 @default.
- W2746733541 hasConcept C138885662 @default.
- W2746733541 hasConcept C139719470 @default.
- W2746733541 hasConcept C162324750 @default.
- W2746733541 hasConcept C164620267 @default.
- W2746733541 hasConcept C199360897 @default.
- W2746733541 hasConcept C2078106 @default.
- W2746733541 hasConcept C2776299755 @default.
- W2746733541 hasConcept C2778112365 @default.
- W2746733541 hasConcept C3227080 @default.
- W2746733541 hasConcept C33923547 @default.
- W2746733541 hasConcept C34388435 @default.
- W2746733541 hasConcept C39613435 @default.
- W2746733541 hasConcept C41008148 @default.
- W2746733541 hasConcept C54355233 @default.
- W2746733541 hasConcept C60798267 @default.
- W2746733541 hasConcept C76155785 @default.
- W2746733541 hasConcept C80444323 @default.
- W2746733541 hasConcept C82876162 @default.
- W2746733541 hasConcept C86803240 @default.
- W2746733541 hasConcept C94375191 @default.
- W2746733541 hasConcept C98045186 @default.
- W2746733541 hasConceptScore W2746733541C10138342 @default.
- W2746733541 hasConceptScore W2746733541C111472728 @default.
- W2746733541 hasConceptScore W2746733541C11413529 @default.
- W2746733541 hasConceptScore W2746733541C124304363 @default.
- W2746733541 hasConceptScore W2746733541C124584101 @default.
- W2746733541 hasConceptScore W2746733541C134306372 @default.
- W2746733541 hasConceptScore W2746733541C138885662 @default.
- W2746733541 hasConceptScore W2746733541C139719470 @default.
- W2746733541 hasConceptScore W2746733541C162324750 @default.
- W2746733541 hasConceptScore W2746733541C164620267 @default.
- W2746733541 hasConceptScore W2746733541C199360897 @default.
- W2746733541 hasConceptScore W2746733541C2078106 @default.
- W2746733541 hasConceptScore W2746733541C2776299755 @default.
- W2746733541 hasConceptScore W2746733541C2778112365 @default.
- W2746733541 hasConceptScore W2746733541C3227080 @default.
- W2746733541 hasConceptScore W2746733541C33923547 @default.
- W2746733541 hasConceptScore W2746733541C34388435 @default.
- W2746733541 hasConceptScore W2746733541C39613435 @default.
- W2746733541 hasConceptScore W2746733541C41008148 @default.
- W2746733541 hasConceptScore W2746733541C54355233 @default.
- W2746733541 hasConceptScore W2746733541C60798267 @default.
- W2746733541 hasConceptScore W2746733541C76155785 @default.
- W2746733541 hasConceptScore W2746733541C80444323 @default.
- W2746733541 hasConceptScore W2746733541C82876162 @default.
- W2746733541 hasConceptScore W2746733541C86803240 @default.
- W2746733541 hasConceptScore W2746733541C94375191 @default.
- W2746733541 hasConceptScore W2746733541C98045186 @default.
- W2746733541 hasLocation W27467335411 @default.
- W2746733541 hasOpenAccess W2746733541 @default.
- W2746733541 hasPrimaryLocation W27467335411 @default.
- W2746733541 hasRelatedWork W114686116 @default.
- W2746733541 hasRelatedWork W1521384855 @default.
- W2746733541 hasRelatedWork W1969131317 @default.
- W2746733541 hasRelatedWork W1997005139 @default.
- W2746733541 hasRelatedWork W2057893146 @default.
- W2746733541 hasRelatedWork W2088558145 @default.
- W2746733541 hasRelatedWork W2133715977 @default.
- W2746733541 hasRelatedWork W2140414125 @default.
- W2746733541 hasRelatedWork W2240392894 @default.
- W2746733541 hasRelatedWork W2463827935 @default.
- W2746733541 hasRelatedWork W2734771240 @default.
- W2746733541 hasRelatedWork W2761444995 @default.
- W2746733541 hasRelatedWork W2946186229 @default.
- W2746733541 hasRelatedWork W2991625758 @default.
- W2746733541 hasRelatedWork W3043296681 @default.
- W2746733541 hasRelatedWork W3090398887 @default.
- W2746733541 hasRelatedWork W3123625165 @default.
- W2746733541 hasRelatedWork W3157821452 @default.
- W2746733541 hasRelatedWork W3158361880 @default.
- W2746733541 hasRelatedWork W2679663746 @default.
- W2746733541 isParatext "false" @default.
- W2746733541 isRetracted "false" @default.
- W2746733541 magId "2746733541" @default.
- W2746733541 workType "article" @default.