FRINK Linked Data Fragments server

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

• W2067061622 endingPage "135" @default.
• W2067061622 startingPage "71" @default.
• W2067061622 abstract "In the computer science community, data structure design is mainly conducted at a high level of abstraction under the implicit assumption that the platform contains a monolithic memory. Exploiting platform-related knowledge such as available on-chip and off-chip memory sizes, the cache size, and the number of SDRAM banks is mainly conducted in the system engineering community when the refined data structure has already been chosen. A convergence of both communities is desirable since this can lead to powerful optimizations. To achieve the convergence mentioned above, data-related transformations have been researched extensively in the recent past. Many of these transformations have a direct and large impact on memory footprint, execution time and energy consumption. Unfortunately, however, the most effective transformations are applied manually (e.g. in C code) and these result in a very time-consuming and error-prone design process. To overcome this burden, our general research goal is to develop a computer-aided design tool, called EASY MAP, that helps the designer to correctly construct the C code of an efficient but difficult-to-understand data structure. The formal design of EASY MAP is the topic of this article with the emphasis on Cha, the internal language of EASY MAP. Cha is based on a novel extension of Separation Logic’s spatial conjunction operator (∗), allowing it to concisely describe access operations of an irregularly accessed complex data organization. Cha is the basic building block of EASY MAP; it serves the purpose of automating EASY MAP’s refinement process and proving that it is correct by construction." @default.
• W2067061622 created "2016-06-24" @default.
• W2067061622 creator A5022880347 @default.
• W2067061622 creator A5033235745 @default.
• W2067061622 creator A5068891789 @default.
• W2067061622 date "2008-08-01" @default.
• W2067061622 modified "2023-10-01" @default.
• W2067061622 title "The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations" @default.
• W2067061622 cites W112132368 @default.
• W2067061622 cites W118153159 @default.
• W2067061622 cites W1484366641 @default.
• W2067061622 cites W1487472891 @default.
• W2067061622 cites W1495368328 @default.
• W2067061622 cites W1499056557 @default.
• W2067061622 cites W1507902915 @default.
• W2067061622 cites W1525928249 @default.
• W2067061622 cites W1570753066 @default.
• W2067061622 cites W1591716390 @default.
• W2067061622 cites W1593280365 @default.
• W2067061622 cites W1599424453 @default.
• W2067061622 cites W166724137 @default.
• W2067061622 cites W1724195640 @default.
• W2067061622 cites W1725475383 @default.
• W2067061622 cites W1737297434 @default.
• W2067061622 cites W1757983765 @default.
• W2067061622 cites W1774238277 @default.
• W2067061622 cites W1792966054 @default.
• W2067061622 cites W1825457006 @default.
• W2067061622 cites W1925341639 @default.
• W2067061622 cites W1974265510 @default.
• W2067061622 cites W1975076763 @default.
• W2067061622 cites W1980222790 @default.
• W2067061622 cites W1984300700 @default.
• W2067061622 cites W1987981153 @default.
• W2067061622 cites W1992177542 @default.
• W2067061622 cites W1994177012 @default.
• W2067061622 cites W1998141415 @default.
• W2067061622 cites W1999862696 @default.
• W2067061622 cites W2002019859 @default.
• W2067061622 cites W2023299380 @default.
• W2067061622 cites W2033303189 @default.
• W2067061622 cites W2046699259 @default.
• W2067061622 cites W2058125478 @default.
• W2067061622 cites W2060221201 @default.
• W2067061622 cites W2070111977 @default.
• W2067061622 cites W2078250023 @default.
• W2067061622 cites W2080769562 @default.
• W2067061622 cites W2082357899 @default.
• W2067061622 cites W2099679037 @default.
• W2067061622 cites W2106464290 @default.
• W2067061622 cites W2109647823 @default.
• W2067061622 cites W2111365507 @default.
• W2067061622 cites W2111706174 @default.
• W2067061622 cites W2112027494 @default.
• W2067061622 cites W2112457107 @default.
• W2067061622 cites W2114067856 @default.
• W2067061622 cites W2117127545 @default.
• W2067061622 cites W2119542077 @default.
• W2067061622 cites W2123683215 @default.
• W2067061622 cites W2125264433 @default.
• W2067061622 cites W2125313965 @default.
• W2067061622 cites W2127151593 @default.
• W2067061622 cites W2134119432 @default.
• W2067061622 cites W2137628566 @default.
• W2067061622 cites W2141170493 @default.
• W2067061622 cites W2148817888 @default.
• W2067061622 cites W2152951583 @default.
• W2067061622 cites W2155632873 @default.
• W2067061622 cites W2168533431 @default.
• W2067061622 cites W2171685273 @default.
• W2067061622 cites W2380286990 @default.
• W2067061622 cites W2611598995 @default.
• W2067061622 cites W2753176400 @default.
• W2067061622 cites W2912071127 @default.
• W2067061622 cites W3146075203 @default.
• W2067061622 cites W36116712 @default.
• W2067061622 cites W2468613061 @default.
• W2067061622 doi "https://doi.org/10.1016/j.scico.2008.03.002" @default.
• W2067061622 hasPublicationYear "2008" @default.
• W2067061622 type Work @default.
• W2067061622 sameAs 2067061622 @default.
• W2067061622 citedByCount "0" @default.
• W2067061622 crossrefType "journal-article" @default.
• W2067061622 hasAuthorship W2067061622A5022880347 @default.
• W2067061622 hasAuthorship W2067061622A5033235745 @default.
• W2067061622 hasAuthorship W2067061622A5068891789 @default.
• W2067061622 hasConcept C115537543 @default.
• W2067061622 hasConcept C147358964 @default.
• W2067061622 hasConcept C162319229 @default.
• W2067061622 hasConcept C173608175 @default.
• W2067061622 hasConcept C199360897 @default.
• W2067061622 hasConcept C2777904410 @default.
• W2067061622 hasConcept C2780801425 @default.
• W2067061622 hasConcept C41008148 @default.
• W2067061622 hasConcept C74912251 @default.
• W2067061622 hasConcept C80444323 @default.
• W2067061622 hasConcept C98045186 @default.
• W2067061622 hasConceptScore W2067061622C115537543 @default.

• next