Conflict detection and validation strategies for software tradsacfional memory

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	SPEAR, Michael F, MARATHE, Virendra J, SCHERER, William N, SCOTT, Michael L
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Control theory. Systems Exact sciences and technology Robotics Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	193
container_issue
container_start_page	179
container_title
container_volume
creator	SPEAR, Michael F MARATHE, Virendra J SCHERER, William N SCOTT, Michael L
description
format	Conference Proceeding
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_19687369</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19687369</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_196873693</originalsourceid><addsrcrecordid>eNqNir0KwjAURoM_YNW-QxbHQtPE1MxFcXJyL5c0kUjalNyg9O0t4gN4lo_zcRYkY5KxgnOhlmTLj6IUQlZCrUhW8rIqVC34huSIz3KGs7qSLCO3JgzWO51oZ5LRyYWBwtDRF3jXwVcxRUjm4QxSGyLFYNMboqHz3SFoOzfgaW_6EKc9WVvwaPLf7sjhcr4312IE1OBthEE7bMfoeohTy5Q81Vwq_m_3AcaIRWg</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Conflict detection and validation strategies for software tradsacfional memory</title><source>Springer Books</source><creator>SPEAR, Michael F ; MARATHE, Virendra J ; SCHERER, William N ; SCOTT, Michael L</creator><creatorcontrib>SPEAR, Michael F ; MARATHE, Virendra J ; SCHERER, William N ; SCOTT, Michael L</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540446249</identifier><identifier>ISBN: 9783540446248</identifier><identifier>EISSN: 1611-3349</identifier><language>eng</language><publisher>New York: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Control theory. Systems ; Exact sciences and technology ; Robotics ; Software</subject><ispartof>Lecture notes in computer science, 2006, p.179-193</ispartof><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,776,780,785,786,4036,4037</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19687369$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>SPEAR, Michael F</creatorcontrib><creatorcontrib>MARATHE, Virendra J</creatorcontrib><creatorcontrib>SCHERER, William N</creatorcontrib><creatorcontrib>SCOTT, Michael L</creatorcontrib><title>Conflict detection and validation strategies for software tradsacfional memory</title><title>Lecture notes in computer science</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Control theory. Systems</subject><subject>Exact sciences and technology</subject><subject>Robotics</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540446249</isbn><isbn>9783540446248</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqNir0KwjAURoM_YNW-QxbHQtPE1MxFcXJyL5c0kUjalNyg9O0t4gN4lo_zcRYkY5KxgnOhlmTLj6IUQlZCrUhW8rIqVC34huSIz3KGs7qSLCO3JgzWO51oZ5LRyYWBwtDRF3jXwVcxRUjm4QxSGyLFYNMboqHz3SFoOzfgaW_6EKc9WVvwaPLf7sjhcr4312IE1OBthEE7bMfoeohTy5Q81Vwq_m_3AcaIRWg</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>SPEAR, Michael F</creator><creator>MARATHE, Virendra J</creator><creator>SCHERER, William N</creator><creator>SCOTT, Michael L</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Conflict detection and validation strategies for software tradsacfional memory</title><author>SPEAR, Michael F ; MARATHE, Virendra J ; SCHERER, William N ; SCOTT, Michael L</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_196873693</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Control theory. Systems</topic><topic>Exact sciences and technology</topic><topic>Robotics</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>SPEAR, Michael F</creatorcontrib><creatorcontrib>MARATHE, Virendra J</creatorcontrib><creatorcontrib>SCHERER, William N</creatorcontrib><creatorcontrib>SCOTT, Michael L</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>SPEAR, Michael F</au><au>MARATHE, Virendra J</au><au>SCHERER, William N</au><au>SCOTT, Michael L</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Conflict detection and validation strategies for software tradsacfional memory</atitle><btitle>Lecture notes in computer science</btitle><date>2006</date><risdate>2006</risdate><spage>179</spage><epage>193</epage><pages>179-193</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540446249</isbn><isbn>9783540446248</isbn><cop>New York</cop><cop>Berlin</cop><cop>Heidelberg</cop><pub>Springer</pub></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	Lecture notes in computer science, 2006, p.179-193
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_19687369
source	Springer Books
subjects	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Control theory. Systems Exact sciences and technology Robotics Software
title	Conflict detection and validation strategies for software tradsacfional memory
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T10%3A55%3A03IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Conflict%20detection%20and%20validation%20strategies%20for%20software%20tradsacfional%20memory&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=SPEAR,%20Michael%20F&rft.date=2006&rft.spage=179&rft.epage=193&rft.pages=179-193&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540446249&rft.isbn_list=9783540446248&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E19687369%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true