Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247696553> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4247696553 endingPage "190" @default.
- W4247696553 startingPage "177" @default.
- W4247696553 abstract "Message-based communication offers the potential benefits of providing stronger specification and cleaner separation between components. Compared with shared-memory interactions, message passing has the potential disadvantages of more expensive data exchange (no direct sharing) and more complicated programming.In this paper we report on the language, verification, and run-time system features that make messages practical as the sole means of communication between processes in the Singularity operating system. We show that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation. Furthermore, specifications on communication channels help in detecting programmer mistakes early---namely at compile-time---thereby reducing the difficulty of the message-based programming model.The paper describes our communication invariants, the language and verification features that support them, as well as implementation details of the infrastructure. A number of benchmarks show the competitiveness of this approach." @default.
- W4247696553 created "2022-05-12" @default.
- W4247696553 creator A5016958899 @default.
- W4247696553 creator A5020676929 @default.
- W4247696553 creator A5030028828 @default.
- W4247696553 creator A5034788870 @default.
- W4247696553 creator A5084249145 @default.
- W4247696553 creator A5089347042 @default.
- W4247696553 creator A5089781126 @default.
- W4247696553 date "2006-04-18" @default.
- W4247696553 modified "2023-10-17" @default.
- W4247696553 title "Language support for fast and reliable message-based communication in singularity OS" @default.
- W4247696553 cites W1980885047 @default.
- W4247696553 cites W1991509752 @default.
- W4247696553 cites W1998070736 @default.
- W4247696553 cites W2006989942 @default.
- W4247696553 cites W2015888335 @default.
- W4247696553 cites W2038677544 @default.
- W4247696553 cites W2041544991 @default.
- W4247696553 cites W2045808511 @default.
- W4247696553 cites W2046317364 @default.
- W4247696553 cites W2087747577 @default.
- W4247696553 cites W2129133667 @default.
- W4247696553 cites W2131238817 @default.
- W4247696553 cites W2140164463 @default.
- W4247696553 cites W2142837069 @default.
- W4247696553 cites W2154581630 @default.
- W4247696553 cites W2155544344 @default.
- W4247696553 cites W4206723809 @default.
- W4247696553 doi "https://doi.org/10.1145/1218063.1217953" @default.
- W4247696553 hasPublicationYear "2006" @default.
- W4247696553 type Work @default.
- W4247696553 citedByCount "20" @default.
- W4247696553 countsByYear W42476965532012 @default.
- W4247696553 countsByYear W42476965532014 @default.
- W4247696553 countsByYear W42476965532015 @default.
- W4247696553 countsByYear W42476965532016 @default.
- W4247696553 countsByYear W42476965532020 @default.
- W4247696553 countsByYear W42476965532022 @default.
- W4247696553 crossrefType "journal-article" @default.
- W4247696553 hasAuthorship W4247696553A5016958899 @default.
- W4247696553 hasAuthorship W4247696553A5020676929 @default.
- W4247696553 hasAuthorship W4247696553A5030028828 @default.
- W4247696553 hasAuthorship W4247696553A5034788870 @default.
- W4247696553 hasAuthorship W4247696553A5084249145 @default.
- W4247696553 hasAuthorship W4247696553A5089347042 @default.
- W4247696553 hasAuthorship W4247696553A5089781126 @default.
- W4247696553 hasConcept C120314980 @default.
- W4247696553 hasConcept C169590947 @default.
- W4247696553 hasConcept C199360897 @default.
- W4247696553 hasConcept C204156049 @default.
- W4247696553 hasConcept C2775941552 @default.
- W4247696553 hasConcept C2778514511 @default.
- W4247696553 hasConcept C2779960059 @default.
- W4247696553 hasConcept C41008148 @default.
- W4247696553 hasConcept C55439883 @default.
- W4247696553 hasConcept C854659 @default.
- W4247696553 hasConcept C86803240 @default.
- W4247696553 hasConcept C89423630 @default.
- W4247696553 hasConcept C98045186 @default.
- W4247696553 hasConceptScore W4247696553C120314980 @default.
- W4247696553 hasConceptScore W4247696553C169590947 @default.
- W4247696553 hasConceptScore W4247696553C199360897 @default.
- W4247696553 hasConceptScore W4247696553C204156049 @default.
- W4247696553 hasConceptScore W4247696553C2775941552 @default.
- W4247696553 hasConceptScore W4247696553C2778514511 @default.
- W4247696553 hasConceptScore W4247696553C2779960059 @default.
- W4247696553 hasConceptScore W4247696553C41008148 @default.
- W4247696553 hasConceptScore W4247696553C55439883 @default.
- W4247696553 hasConceptScore W4247696553C854659 @default.
- W4247696553 hasConceptScore W4247696553C86803240 @default.
- W4247696553 hasConceptScore W4247696553C89423630 @default.
- W4247696553 hasConceptScore W4247696553C98045186 @default.
- W4247696553 hasIssue "4" @default.
- W4247696553 hasLocation W42476965531 @default.
- W4247696553 hasOpenAccess W4247696553 @default.
- W4247696553 hasPrimaryLocation W42476965531 @default.
- W4247696553 hasRelatedWork W1497385637 @default.
- W4247696553 hasRelatedWork W1617499594 @default.
- W4247696553 hasRelatedWork W1936017528 @default.
- W4247696553 hasRelatedWork W1992155208 @default.
- W4247696553 hasRelatedWork W2003848320 @default.
- W4247696553 hasRelatedWork W2192862863 @default.
- W4247696553 hasRelatedWork W2245390655 @default.
- W4247696553 hasRelatedWork W4252501555 @default.
- W4247696553 hasRelatedWork W1482645738 @default.
- W4247696553 hasRelatedWork W1602178951 @default.
- W4247696553 hasVolume "40" @default.
- W4247696553 isParatext "false" @default.
- W4247696553 isRetracted "false" @default.
- W4247696553 workType "article" @default.