Dissertation/ Thesis
Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components ; Property/behavior-based automated composition of parallel programs from self-describing components
| Τίτλος: | Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components ; Property/behavior-based automated composition of parallel programs from self-describing components |
|---|---|
| Συγγραφείς: | Mahmood, Nasim, 1976- |
| Συνεισφορές: | Browne, James C. |
| Έτος έκδοσης: | 2007 |
| Συλλογή: | The University of Texas at Austin: Texas ScholarWorks |
| Θεματικοί όροι: | Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification |
| Περιγραφή: | Development of efficient and correct parallel programs is a complex task. These parallel codes have strong requirements for performance and correctness and must operate robustly and efficiently across a wide spectrum of application parameters and on a wide spectrum of execution environments. Scientific and engineering programs increasingly use adaptive algorithms whose behavior can change dramatically at runtime. Performance properties are often not known until programs are tested and performance may degrade during execution. Many errors in parallel programs arise in incorrect programming of interactions and synchronizations. Testing has proven to be inadequate. Formal proofs of correctness are needed. This research is based on systematic application of software engineering methods to effective development of efficiently executing families of high performance parallel programs. We have developed a framework (P-COM²) for development of parallel program families which addresses many of the problems cited above. The conceptual innovations underlying P-COM² are a software architecture specification language based on self-describing components, a timing and sequencing algorithm which enables execution of programs with both concrete and abstract components and a formal semantics for the architecture specification language. The description of each component incorporates compiler-useable specifications for the properties and behaviors of the components, the functionality a component implements, pre-conditions and postconditions on the inputs and outputs and state machine based sequencing control for invocations of the component. The P-COM² compiler and runtime system implement these concepts to enable: (a) evolutionary development where a program instance is evolved from a performance model to a complete application with performance known at each step of evolution, (b) automated composition of program instances targeting specific application instances and/or execution environments from self-describing components ... |
| Τύπος εγγράφου: | thesis |
| Περιγραφή αρχείου: | electronic; application/pdf |
| Γλώσσα: | English |
| Relation: | http://hdl.handle.net/2152/3360; 175023972 |
| Διαθεσιμότητα: | http://hdl.handle.net/2152/3360 |
| Rights: | Copyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works. |
| Αριθμός Καταχώρησης: | edsbas.D894ABC0 |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: http://hdl.handle.net/2152/3360# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.D894ABC0 RelevancyScore: 689 AccessLevel: 3 PubType: Dissertation/ Thesis PubTypeId: dissertation PreciseRelevancyScore: 689.334350585938 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components ; Property/behavior-based automated composition of parallel programs from self-describing components – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Mahmood%2C+Nasim%2C+1976-%22">Mahmood, Nasim, 1976-</searchLink> – Name: Author Label: Contributors Group: Au Data: Browne, James C. – Name: DatePubCY Label: Publication Year Group: Date Data: 2007 – Name: Subset Label: Collection Group: HoldingsInfo Data: The University of Texas at Austin: Texas ScholarWorks – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Parallel+programs+%28Computer+programs%29%22">Parallel programs (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Parallel+programs+%28Computer+programs%29--Verification%22">Parallel programs (Computer programs)--Verification</searchLink> – Name: Abstract Label: Description Group: Ab Data: Development of efficient and correct parallel programs is a complex task. These parallel codes have strong requirements for performance and correctness and must operate robustly and efficiently across a wide spectrum of application parameters and on a wide spectrum of execution environments. Scientific and engineering programs increasingly use adaptive algorithms whose behavior can change dramatically at runtime. Performance properties are often not known until programs are tested and performance may degrade during execution. Many errors in parallel programs arise in incorrect programming of interactions and synchronizations. Testing has proven to be inadequate. Formal proofs of correctness are needed. This research is based on systematic application of software engineering methods to effective development of efficiently executing families of high performance parallel programs. We have developed a framework (P-COM²) for development of parallel program families which addresses many of the problems cited above. The conceptual innovations underlying P-COM² are a software architecture specification language based on self-describing components, a timing and sequencing algorithm which enables execution of programs with both concrete and abstract components and a formal semantics for the architecture specification language. The description of each component incorporates compiler-useable specifications for the properties and behaviors of the components, the functionality a component implements, pre-conditions and postconditions on the inputs and outputs and state machine based sequencing control for invocations of the component. The P-COM² compiler and runtime system implement these concepts to enable: (a) evolutionary development where a program instance is evolved from a performance model to a complete application with performance known at each step of evolution, (b) automated composition of program instances targeting specific application instances and/or execution environments from self-describing components ... – Name: TypeDocument Label: Document Type Group: TypDoc Data: thesis – Name: Format Label: File Description Group: SrcInfo Data: electronic; application/pdf – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: http://hdl.handle.net/2152/3360; 175023972 – Name: URL Label: Availability Group: URL Data: http://hdl.handle.net/2152/3360 – Name: Copyright Label: Rights Group: Cpyrght Data: Copyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works. – Name: AN Label: Accession Number Group: ID Data: edsbas.D894ABC0 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.D894ABC0 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Parallel programs (Computer programs) Type: general – SubjectFull: Parallel programs (Computer programs)--Verification Type: general Titles: – TitleFull: Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components ; Property/behavior-based automated composition of parallel programs from self-describing components Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Mahmood, Nasim, 1976- – PersonEntity: Name: NameFull: Browne, James C. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2007 Identifiers: – Type: issn-locals Value: edsbas |
| ResultId | 1 |