Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980360906> ?p ?o ?g. }
- W1980360906 endingPage "146" @default.
- W1980360906 startingPage "137" @default.
- W1980360906 abstract "Runtime Verification (RV) has recently emerged as a complementary technology to extend coverage of conventional software verification methods. To address the substantial performance and power overhead of pure software RV frameworks, this paper introduces NUVA, which stands for nonuniform verification architecture, a distributed automata-based RV architecture for parametric specifications in the form of parameterized finite-state automata, with a case study over a cache-coherent nonuniform-memory-access (ccNUMA) multiprocessor. The core of NUVA is a coherent distributed automata transactional memory (ATM) that efficiently maintains states of a dynamic population of automata checkers organized into a rooted dynamic directed acyclic graph (DAG) concurrently shared among all processor nodes. A cycle-accurate model of a ccNUMA multiprocessor confirms that performance slowdown is 1~3% and NoC message traffic increases by 10~15% at parametric event density1 of 0.025 EPI for two compute-intensive scientific benchmarks having irregular concurrent data structures. The detailed architecture and implementation metrics in TSMC 40nm CMOS technology are presented. NUVA can be dimensioned to incur average total power overhead of less than 140mW and area overhead of 4mm2 for a quad-core multiprocessor chip, at operating frequency of 250MHz. It is also estimated to incur 1.9~2.6% area overhead and 0.5~1% power overhead when integrated with Intel's family of high-end desktop and mobile quad-core processors operating at 1.6~3.2GHz. Our silicon implementation achieves average performance2 of 1.5 MEPS/mW. For a processor core with 5 MIPS/mW, this corresponds to a 3.2% drop in energy efficiency at parametric event density of 0.01 EPI." @default.
- W1980360906 created "2016-06-24" @default.
- W1980360906 creator A5003628207 @default.
- W1980360906 creator A5065734697 @default.
- W1980360906 creator A5088405390 @default.
- W1980360906 date "2015-10-04" @default.
- W1980360906 modified "2023-09-24" @default.
- W1980360906 title "NUVA: architectural support for runtime verification of parametric specifications over multicores" @default.
- W1980360906 cites W125598877 @default.
- W1980360906 cites W1498432697 @default.
- W1980360906 cites W150634083 @default.
- W1980360906 cites W1542906860 @default.
- W1980360906 cites W1549880792 @default.
- W1980360906 cites W1575809242 @default.
- W1980360906 cites W1577117059 @default.
- W1980360906 cites W1584489325 @default.
- W1980360906 cites W1795569145 @default.
- W1980360906 cites W1878842069 @default.
- W1980360906 cites W1941427975 @default.
- W1980360906 cites W1972544179 @default.
- W1980360906 cites W1996832037 @default.
- W1980360906 cites W2027769154 @default.
- W1980360906 cites W2028239076 @default.
- W1980360906 cites W2034593585 @default.
- W1980360906 cites W2046161500 @default.
- W1980360906 cites W2055898521 @default.
- W1980360906 cites W2080267935 @default.
- W1980360906 cites W2083004950 @default.
- W1980360906 cites W2086010014 @default.
- W1980360906 cites W2087492381 @default.
- W1980360906 cites W209133351 @default.
- W1980360906 cites W2101343420 @default.
- W1980360906 cites W2101623441 @default.
- W1980360906 cites W2105372251 @default.
- W1980360906 cites W2111141292 @default.
- W1980360906 cites W2111759889 @default.
- W1980360906 cites W2113995939 @default.
- W1980360906 cites W2115309705 @default.
- W1980360906 cites W2116593309 @default.
- W1980360906 cites W2118372007 @default.
- W1980360906 cites W2124861237 @default.
- W1980360906 cites W2127532866 @default.
- W1980360906 cites W2128941141 @default.
- W1980360906 cites W2128948567 @default.
- W1980360906 cites W2130730821 @default.
- W1980360906 cites W2132281483 @default.
- W1980360906 cites W2135143063 @default.
- W1980360906 cites W2137591753 @default.
- W1980360906 cites W2143869535 @default.
- W1980360906 cites W2145471566 @default.
- W1980360906 cites W2146966321 @default.
- W1980360906 cites W2147435261 @default.
- W1980360906 cites W2147657366 @default.
- W1980360906 cites W2150593762 @default.
- W1980360906 cites W2151607777 @default.
- W1980360906 cites W2151845324 @default.
- W1980360906 cites W2153229512 @default.
- W1980360906 cites W2153484975 @default.
- W1980360906 cites W2156204788 @default.
- W1980360906 cites W2159869022 @default.
- W1980360906 cites W2162351670 @default.
- W1980360906 cites W2164119561 @default.
- W1980360906 cites W2169589594 @default.
- W1980360906 cites W2170293694 @default.
- W1980360906 cites W2295399529 @default.
- W1980360906 cites W2295903414 @default.
- W1980360906 cites W3142037494 @default.
- W1980360906 cites W35708471 @default.
- W1980360906 cites W35787678 @default.
- W1980360906 cites W618068147 @default.
- W1980360906 cites W1544697261 @default.
- W1980360906 doi "https://doi.org/10.5555/2830689.2830707" @default.
- W1980360906 hasPublicationYear "2015" @default.
- W1980360906 type Work @default.
- W1980360906 sameAs 1980360906 @default.
- W1980360906 citedByCount "3" @default.
- W1980360906 countsByYear W19803609062016 @default.
- W1980360906 countsByYear W19803609062018 @default.
- W1980360906 crossrefType "proceedings-article" @default.
- W1980360906 hasAuthorship W1980360906A5003628207 @default.
- W1980360906 hasAuthorship W1980360906A5065734697 @default.
- W1980360906 hasAuthorship W1980360906A5088405390 @default.
- W1980360906 hasConcept C111919701 @default.
- W1980360906 hasConcept C115537543 @default.
- W1980360906 hasConcept C120314980 @default.
- W1980360906 hasConcept C134277064 @default.
- W1980360906 hasConcept C141917322 @default.
- W1980360906 hasConcept C149635348 @default.
- W1980360906 hasConcept C173608175 @default.
- W1980360906 hasConcept C189783530 @default.
- W1980360906 hasConcept C193702766 @default.
- W1980360906 hasConcept C199360897 @default.
- W1980360906 hasConcept C203222032 @default.
- W1980360906 hasConcept C2777187653 @default.
- W1980360906 hasConcept C2779960059 @default.
- W1980360906 hasConcept C38556500 @default.
- W1980360906 hasConcept C41008148 @default.
- W1980360906 hasConcept C4822641 @default.