FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904902009> ?p ?o ?g. }

• W2904902009 abstract "Multicore systems are increasingly common as a modern computing platform. Multicore processors not only offer better performance-to-cost ratios relative to single-core processors but also have significantly minimised space, weight, and power (SWaP) constraints. Unfortunately, they introduce challenges in verification as their shared components are potential channels for interference. The potential for interference increases the possibility of concurrency faults at runtime and consequently increases the difficulty of verifying. In this thesis, search-based techniques are empirically investigated to determine their effectiveness in temporal testing—searching for test inputs that may lead a task running on an embedded multicore to produce extreme (here longest) execution times, which might cause the system to violate its temporal requirements. Overall, the findings suggest that various forms of search-based approaches are effective in generating test inputs exhibiting extreme execution times on the embedded multicore environment. All previous work in temporal testing has evolved test data directly; this is not essential. In this thesis, one novel proposed approach, i.e. the use of search to discover high performing biased random sampling regimes (which we call 'dependent input sampling strategies'), has proved particularly effective. Shifting the target of search from test data itself to strategies proves particularly well motivated for attaining extreme execution times. Finally, we present also preliminary results on the use of so-called 'hyper-heuristics', which can be used to form optimal hybrids of optimisation techniques. An extensive comparison of direct approaches to establishing a baseline is followed by reports of research into indirect approaches and hyper-heuristics. The shift to strategies from direct data can be thought of as a leap in abstraction level for the underlying temporal test data generation problem. The shift to hyper-heuristics aims to boost the level of optimisation technique abstraction. The former is more fully worked out than the latter and has proved a significant success. For the latter only preliminary results are available; as will be seen from this work as the whole computational requirements for research experimentation are significant." @default.
• W2904902009 created "2018-12-22" @default.
• W2904902009 creator A5043024506 @default.
• W2904902009 date "2017-09-01" @default.
• W2904902009 modified "2023-09-27" @default.
• W2904902009 title "Search-based temporal testing of multicore applications" @default.
• W2904902009 cites W1829921621 @default.
• W2904902009 cites W2731842147 @default.
• W2904902009 hasPublicationYear "2017" @default.
• W2904902009 type Work @default.
• W2904902009 sameAs 2904902009 @default.
• W2904902009 citedByCount "0" @default.
• W2904902009 crossrefType "dissertation" @default.
• W2904902009 hasAuthorship W2904902009A5043024506 @default.
• W2904902009 hasConcept C111919701 @default.
• W2904902009 hasConcept C120314980 @default.
• W2904902009 hasConcept C127413603 @default.
• W2904902009 hasConcept C127705205 @default.
• W2904902009 hasConcept C173608175 @default.
• W2904902009 hasConcept C193702766 @default.
• W2904902009 hasConcept C201995342 @default.
• W2904902009 hasConcept C2780451532 @default.
• W2904902009 hasConcept C41008148 @default.
• W2904902009 hasConcept C78766204 @default.
• W2904902009 hasConceptScore W2904902009C111919701 @default.
• W2904902009 hasConceptScore W2904902009C120314980 @default.
• W2904902009 hasConceptScore W2904902009C127413603 @default.
• W2904902009 hasConceptScore W2904902009C127705205 @default.
• W2904902009 hasConceptScore W2904902009C173608175 @default.
• W2904902009 hasConceptScore W2904902009C193702766 @default.
• W2904902009 hasConceptScore W2904902009C201995342 @default.
• W2904902009 hasConceptScore W2904902009C2780451532 @default.
• W2904902009 hasConceptScore W2904902009C41008148 @default.
• W2904902009 hasConceptScore W2904902009C78766204 @default.
• W2904902009 hasLocation W29049020091 @default.
• W2904902009 hasOpenAccess W2904902009 @default.
• W2904902009 hasPrimaryLocation W29049020091 @default.
• W2904902009 hasRelatedWork W114655053 @default.
• W2904902009 hasRelatedWork W117929036 @default.
• W2904902009 hasRelatedWork W1490003627 @default.
• W2904902009 hasRelatedWork W189448761 @default.
• W2904902009 hasRelatedWork W1996062864 @default.
• W2904902009 hasRelatedWork W2072788375 @default.
• W2904902009 hasRelatedWork W2186136787 @default.
• W2904902009 hasRelatedWork W2324614674 @default.
• W2904902009 hasRelatedWork W2559828926 @default.
• W2904902009 hasRelatedWork W2564627278 @default.
• W2904902009 hasRelatedWork W2739841226 @default.
• W2904902009 hasRelatedWork W2741609640 @default.
• W2904902009 hasRelatedWork W2887404429 @default.
• W2904902009 hasRelatedWork W2888221526 @default.
• W2904902009 hasRelatedWork W2932808573 @default.
• W2904902009 hasRelatedWork W2939045487 @default.
• W2904902009 hasRelatedWork W2968307567 @default.
• W2904902009 hasRelatedWork W2997336912 @default.
• W2904902009 hasRelatedWork W3183851594 @default.
• W2904902009 hasRelatedWork W430352296 @default.
• W2904902009 isParatext "false" @default.
• W2904902009 isRetracted "false" @default.
• W2904902009 magId "2904902009" @default.
• W2904902009 workType "dissertation" @default.