Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140150399> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2140150399 abstract "The number of computation cycles used for simulation-based verification of multiprocessor systems is the available throughput of simulation. This paper presents Automaton, a verification framework for multiprocessor systems based on the state-space coverage of interacting state machines in the system components. Automaton provides focused verification of those components and minimizes the demand on computing resources while ensuring improved verification coverage at the system level. Automaton makes use of a coverage-based directed-random simulation approach employing a network of workstations. The overall result is a more thorough and efficient system-level verification with a given simulation resource." @default.
- W2140150399 created "2016-06-24" @default.
- W2140150399 creator A5027306116 @default.
- W2140150399 creator A5058304394 @default.
- W2140150399 creator A5067681964 @default.
- W2140150399 creator A5078070078 @default.
- W2140150399 date "2002-11-22" @default.
- W2140150399 modified "2023-09-24" @default.
- W2140150399 title "Automaton: an autonomous coverage-based multiprocessor system verification environment" @default.
- W2140150399 cites W1600376353 @default.
- W2140150399 cites W1937259677 @default.
- W2140150399 cites W2099243692 @default.
- W2140150399 cites W2102454528 @default.
- W2140150399 cites W2110674096 @default.
- W2140150399 cites W2121222904 @default.
- W2140150399 cites W2137267116 @default.
- W2140150399 cites W2166858488 @default.
- W2140150399 cites W2171714961 @default.
- W2140150399 cites W2544898874 @default.
- W2140150399 cites W47193485 @default.
- W2140150399 doi "https://doi.org/10.1109/iwrsp.1997.618893" @default.
- W2140150399 hasPublicationYear "2002" @default.
- W2140150399 type Work @default.
- W2140150399 sameAs 2140150399 @default.
- W2140150399 citedByCount "11" @default.
- W2140150399 crossrefType "proceedings-article" @default.
- W2140150399 hasAuthorship W2140150399A5027306116 @default.
- W2140150399 hasAuthorship W2140150399A5058304394 @default.
- W2140150399 hasAuthorship W2140150399A5067681964 @default.
- W2140150399 hasAuthorship W2140150399A5078070078 @default.
- W2140150399 hasConcept C105795698 @default.
- W2140150399 hasConcept C111919701 @default.
- W2140150399 hasConcept C112505250 @default.
- W2140150399 hasConcept C11413529 @default.
- W2140150399 hasConcept C120314980 @default.
- W2140150399 hasConcept C157764524 @default.
- W2140150399 hasConcept C173608175 @default.
- W2140150399 hasConcept C33923547 @default.
- W2140150399 hasConcept C41008148 @default.
- W2140150399 hasConcept C48103436 @default.
- W2140150399 hasConcept C4822641 @default.
- W2140150399 hasConcept C555944384 @default.
- W2140150399 hasConcept C67953723 @default.
- W2140150399 hasConcept C72434380 @default.
- W2140150399 hasConcept C80444323 @default.
- W2140150399 hasConceptScore W2140150399C105795698 @default.
- W2140150399 hasConceptScore W2140150399C111919701 @default.
- W2140150399 hasConceptScore W2140150399C112505250 @default.
- W2140150399 hasConceptScore W2140150399C11413529 @default.
- W2140150399 hasConceptScore W2140150399C120314980 @default.
- W2140150399 hasConceptScore W2140150399C157764524 @default.
- W2140150399 hasConceptScore W2140150399C173608175 @default.
- W2140150399 hasConceptScore W2140150399C33923547 @default.
- W2140150399 hasConceptScore W2140150399C41008148 @default.
- W2140150399 hasConceptScore W2140150399C48103436 @default.
- W2140150399 hasConceptScore W2140150399C4822641 @default.
- W2140150399 hasConceptScore W2140150399C555944384 @default.
- W2140150399 hasConceptScore W2140150399C67953723 @default.
- W2140150399 hasConceptScore W2140150399C72434380 @default.
- W2140150399 hasConceptScore W2140150399C80444323 @default.
- W2140150399 hasLocation W21401503991 @default.
- W2140150399 hasOpenAccess W2140150399 @default.
- W2140150399 hasPrimaryLocation W21401503991 @default.
- W2140150399 hasRelatedWork W116725359 @default.
- W2140150399 hasRelatedWork W1910771831 @default.
- W2140150399 hasRelatedWork W1979082201 @default.
- W2140150399 hasRelatedWork W2033574831 @default.
- W2140150399 hasRelatedWork W2085914595 @default.
- W2140150399 hasRelatedWork W2103825248 @default.
- W2140150399 hasRelatedWork W2105571234 @default.
- W2140150399 hasRelatedWork W2111876050 @default.
- W2140150399 hasRelatedWork W2115784192 @default.
- W2140150399 hasRelatedWork W2124537426 @default.
- W2140150399 hasRelatedWork W2132195400 @default.
- W2140150399 hasRelatedWork W2148627094 @default.
- W2140150399 hasRelatedWork W2161314693 @default.
- W2140150399 hasRelatedWork W2163439735 @default.
- W2140150399 hasRelatedWork W2166246228 @default.
- W2140150399 hasRelatedWork W2187712736 @default.
- W2140150399 hasRelatedWork W3142855371 @default.
- W2140150399 hasRelatedWork W599456022 @default.
- W2140150399 hasRelatedWork W1898891326 @default.
- W2140150399 hasRelatedWork W2186546540 @default.
- W2140150399 isParatext "false" @default.
- W2140150399 isRetracted "false" @default.
- W2140150399 magId "2140150399" @default.
- W2140150399 workType "article" @default.