ÍslenskaenEnglish

Aðilar að Skemmunni

Leit eftir:


SkýrslaHáskólinn í Reykjavík>Tölvunarfræðideild>Reykjavik University Technical Report Computer Science. RUTR-CS>

Vinsamlegast notið þetta auðkenni þegar þið vitnið til verksins eða tengið í það: http://hdl.handle.net/1946/7497

Titill
en

An implementation and semantics for transactional memory introspection in Haskell

Útgáfa
Október 2008
Útdráttur
en

Transactional Memory Introspection (TMI) is a novel reference monitor architecture that provides complete mediation, freedom from time-to-check-to-time-to-use bugs and improved failure handling for authorization, by building on the Software Transactional Memory architecture. In this paper we present a formal definition of TMI and the concrete implementation over the Haskell STM,

Birtist í

RUTR-CS08007

ISSN

1670-5777

Birting
1.2.2011


Skrár
NafnRaðanlegtStærðRaðanlegtAðgangurHækkandiLýsingRaðanlegtSkráartegund
RUTR-CS08007.pdf478KBOpinn Heildartexti PDF Skoða/Opna