View in EDS PDF Full Text

Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.

Saved in:
Bibliographic Details
Title: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
Authors: Dillon, Laura K.1, ldillon@cse.msu.edu, Stirewalt, R. E. K.1, stire@cse.msu.edu, Kraemer, Eileen2, eileen@cs.uga.edu, Shaohua Xie2, shaohua@cs.uga.edu, Fleming, Scott D.1, sdf@cse.msu.edu
Source: ICSE: International Conference on Software Engineering; 2008, p33-38, 6p, 3 Diagrams, 1 Chart
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 36798553
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Dillon%2C+Laura+K%2E%22">Dillon, Laura K.</searchLink><relatesTo>1</relatesTo>, <i>ldillon@cse.msu.edu</i><br /><searchLink fieldCode="AU" term="%22Stirewalt%2C+R%2E+E%2E+K%2E%22">Stirewalt, R. E. K.</searchLink><relatesTo>1</relatesTo>, <i>stire@cse.msu.edu</i><br /><searchLink fieldCode="AU" term="%22Kraemer%2C+Eileen%22">Kraemer, Eileen</searchLink><relatesTo>2</relatesTo>, <i>eileen@cs.uga.edu</i><br /><searchLink fieldCode="AU" term="%22Shaohua+Xie%22">Shaohua Xie</searchLink><relatesTo>2</relatesTo>, <i>shaohua@cs.uga.edu</i><br /><searchLink fieldCode="AU" term="%22Fleming%2C+Scott+D%2E%22">Fleming, Scott D.</searchLink><relatesTo>1</relatesTo>, <i>sdf@cse.msu.edu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>; 2008, p33-38, 6p, 3 Diagrams, 1 Chart
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=36798553
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 6
        StartPage: 33
    Titles:
      – TitleFull: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Dillon, Laura K.
      – PersonEntity:
          Name:
            NameFull: Stirewalt, R. E. K.
      – PersonEntity:
          Name:
            NameFull: Kraemer, Eileen
      – PersonEntity:
          Name:
            NameFull: Shaohua Xie
      – PersonEntity:
          Name:
            NameFull: Fleming, Scott D.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: 2008
              Type: published
              Y: 2008
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1