Matches in SemOpenAlex for { <https://semopenalex.org/work/W1806173689> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1806173689 endingPage "53" @default.
- W1806173689 startingPage "38" @default.
- W1806173689 abstract "Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the call graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically. The approach allows checking global computational properties which require complex instrumentation tracking information about previous execution states, such as, e.g., that the execution time accumulated by a given procedure is not greater than a given bound. We have built a prototype implementation, integrated it in the Ciao/CiaoPP system and successfully applied it to performance improvement, automatic optimization (e.g., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs." @default.
- W1806173689 created "2016-06-24" @default.
- W1806173689 creator A5030520172 @default.
- W1806173689 creator A5037200055 @default.
- W1806173689 creator A5070652559 @default.
- W1806173689 creator A5073531919 @default.
- W1806173689 date "2011-01-01" @default.
- W1806173689 modified "2023-10-16" @default.
- W1806173689 title "Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs" @default.
- W1806173689 cites W1500138362 @default.
- W1806173689 cites W1572129992 @default.
- W1806173689 cites W2022801095 @default.
- W1806173689 cites W2043636082 @default.
- W1806173689 cites W2092408876 @default.
- W1806173689 cites W2108229043 @default.
- W1806173689 cites W2116138321 @default.
- W1806173689 cites W2116325485 @default.
- W1806173689 cites W2132678579 @default.
- W1806173689 cites W2144433126 @default.
- W1806173689 cites W2145546708 @default.
- W1806173689 cites W2147953536 @default.
- W1806173689 doi "https://doi.org/10.1007/978-3-642-18378-2_6" @default.
- W1806173689 hasPublicationYear "2011" @default.
- W1806173689 type Work @default.
- W1806173689 sameAs 1806173689 @default.
- W1806173689 citedByCount "5" @default.
- W1806173689 countsByYear W18061736892013 @default.
- W1806173689 countsByYear W18061736892015 @default.
- W1806173689 countsByYear W18061736892016 @default.
- W1806173689 countsByYear W18061736892018 @default.
- W1806173689 countsByYear W18061736892021 @default.
- W1806173689 crossrefType "book-chapter" @default.
- W1806173689 hasAuthorship W1806173689A5030520172 @default.
- W1806173689 hasAuthorship W1806173689A5037200055 @default.
- W1806173689 hasAuthorship W1806173689A5070652559 @default.
- W1806173689 hasAuthorship W1806173689A5073531919 @default.
- W1806173689 hasBestOaLocation W18061736892 @default.
- W1806173689 hasConcept C110251889 @default.
- W1806173689 hasConcept C120314980 @default.
- W1806173689 hasConcept C168065819 @default.
- W1806173689 hasConcept C187191949 @default.
- W1806173689 hasConcept C199360897 @default.
- W1806173689 hasConcept C2989134064 @default.
- W1806173689 hasConcept C41008148 @default.
- W1806173689 hasConceptScore W1806173689C110251889 @default.
- W1806173689 hasConceptScore W1806173689C120314980 @default.
- W1806173689 hasConceptScore W1806173689C168065819 @default.
- W1806173689 hasConceptScore W1806173689C187191949 @default.
- W1806173689 hasConceptScore W1806173689C199360897 @default.
- W1806173689 hasConceptScore W1806173689C2989134064 @default.
- W1806173689 hasConceptScore W1806173689C41008148 @default.
- W1806173689 hasLocation W18061736891 @default.
- W1806173689 hasLocation W18061736892 @default.
- W1806173689 hasLocation W18061736893 @default.
- W1806173689 hasOpenAccess W1806173689 @default.
- W1806173689 hasPrimaryLocation W18061736891 @default.
- W1806173689 hasRelatedWork W1498982577 @default.
- W1806173689 hasRelatedWork W1579177548 @default.
- W1806173689 hasRelatedWork W1587224678 @default.
- W1806173689 hasRelatedWork W1601811574 @default.
- W1806173689 hasRelatedWork W1602801198 @default.
- W1806173689 hasRelatedWork W181842068 @default.
- W1806173689 hasRelatedWork W2025670560 @default.
- W1806173689 hasRelatedWork W2151898527 @default.
- W1806173689 hasRelatedWork W4234604123 @default.
- W1806173689 hasRelatedWork W2523525283 @default.
- W1806173689 isParatext "false" @default.
- W1806173689 isRetracted "false" @default.
- W1806173689 magId "1806173689" @default.
- W1806173689 workType "book-chapter" @default.