Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565567435> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1565567435 abstract "The main purpose of this paper is to introduce, through the case study of a new class of general approach of vision processing, the use of formal techniques to model complex concurrent systems using abstract specification. Moreover, we want to show that it is possible to derive implementations on parallel machines by specification transformation. The implementation is derived from the abstract specification by introducing concrete aspects of the realization, for instance the algorithms used to distribute the global knowledge of time, producing a concrete specification. The CO-OPN (Concurrent Object Oriented Petri Nets) language [4,5] is used to model both specifications, the abstract one and the concrete one. This example proves the wide spectrum of application that can be modelled using CO-OPN. CO-OPN is supported by a complete environement called SANDS (Structured Algebraic Net Development System) including a graphical editor, a compiler, a temporal logic prover and a simulator [5]. The concrete specification is used for producing the code for the parallel machine, in our case a transputer machine. The idea of developing a vision system in a modular fashion has already been raised by many authors [1]. Anatomical, physiological and psychological studies show that despite separation and specialization of visual processing, common underlying principles and mechanisms seem to apply. Moreover if modules are casted from the same mold, reusability can significantly save development time. The goal of this work is not to propose a universal vision system, but rather to investigate promising concepts." @default.
- W1565567435 created "2016-06-24" @default.
- W1565567435 creator A5013795728 @default.
- W1565567435 creator A5031542181 @default.
- W1565567435 creator A5045568620 @default.
- W1565567435 creator A5049897229 @default.
- W1565567435 date "1994-01-01" @default.
- W1565567435 modified "2023-09-30" @default.
- W1565567435 title "Parallel Distributed Algorithm Design Through Specification Transformation: The Asynchronous Vision System" @default.
- W1565567435 cites W2033983519 @default.
- W1565567435 cites W4300128858 @default.
- W1565567435 doi "https://doi.org/10.1007/978-3-0348-8534-8_14" @default.
- W1565567435 hasPublicationYear "1994" @default.
- W1565567435 type Work @default.
- W1565567435 sameAs 1565567435 @default.
- W1565567435 citedByCount "0" @default.
- W1565567435 crossrefType "book-chapter" @default.
- W1565567435 hasAuthorship W1565567435A5013795728 @default.
- W1565567435 hasAuthorship W1565567435A5031542181 @default.
- W1565567435 hasAuthorship W1565567435A5045568620 @default.
- W1565567435 hasAuthorship W1565567435A5049897229 @default.
- W1565567435 hasConcept C101468663 @default.
- W1565567435 hasConcept C11413529 @default.
- W1565567435 hasConcept C116253237 @default.
- W1565567435 hasConcept C137981799 @default.
- W1565567435 hasConcept C151319957 @default.
- W1565567435 hasConcept C169590947 @default.
- W1565567435 hasConcept C199360897 @default.
- W1565567435 hasConcept C201677973 @default.
- W1565567435 hasConcept C26713055 @default.
- W1565567435 hasConcept C2777904410 @default.
- W1565567435 hasConcept C31258907 @default.
- W1565567435 hasConcept C38677869 @default.
- W1565567435 hasConcept C41008148 @default.
- W1565567435 hasConceptScore W1565567435C101468663 @default.
- W1565567435 hasConceptScore W1565567435C11413529 @default.
- W1565567435 hasConceptScore W1565567435C116253237 @default.
- W1565567435 hasConceptScore W1565567435C137981799 @default.
- W1565567435 hasConceptScore W1565567435C151319957 @default.
- W1565567435 hasConceptScore W1565567435C169590947 @default.
- W1565567435 hasConceptScore W1565567435C199360897 @default.
- W1565567435 hasConceptScore W1565567435C201677973 @default.
- W1565567435 hasConceptScore W1565567435C26713055 @default.
- W1565567435 hasConceptScore W1565567435C2777904410 @default.
- W1565567435 hasConceptScore W1565567435C31258907 @default.
- W1565567435 hasConceptScore W1565567435C38677869 @default.
- W1565567435 hasConceptScore W1565567435C41008148 @default.
- W1565567435 hasLocation W15655674351 @default.
- W1565567435 hasOpenAccess W1565567435 @default.
- W1565567435 hasPrimaryLocation W15655674351 @default.
- W1565567435 hasRelatedWork W1513714848 @default.
- W1565567435 hasRelatedWork W1566366711 @default.
- W1565567435 hasRelatedWork W1867541808 @default.
- W1565567435 hasRelatedWork W194720932 @default.
- W1565567435 hasRelatedWork W1963984425 @default.
- W1565567435 hasRelatedWork W1993937210 @default.
- W1565567435 hasRelatedWork W2088058063 @default.
- W1565567435 hasRelatedWork W2101329288 @default.
- W1565567435 hasRelatedWork W2119261249 @default.
- W1565567435 hasRelatedWork W2126350516 @default.
- W1565567435 hasRelatedWork W2141371828 @default.
- W1565567435 hasRelatedWork W2149398290 @default.
- W1565567435 hasRelatedWork W2149438537 @default.
- W1565567435 hasRelatedWork W2170593077 @default.
- W1565567435 hasRelatedWork W2364232133 @default.
- W1565567435 hasRelatedWork W2408468855 @default.
- W1565567435 hasRelatedWork W2544038901 @default.
- W1565567435 hasRelatedWork W2600946227 @default.
- W1565567435 hasRelatedWork W2614085781 @default.
- W1565567435 hasRelatedWork W789618397 @default.
- W1565567435 isParatext "false" @default.
- W1565567435 isRetracted "false" @default.
- W1565567435 magId "1565567435" @default.
- W1565567435 workType "book-chapter" @default.