Zobrazeno 1 - 10
of 79
pro vyhledávání: '"David A. Musser"'
Publikováno v:
CLEI Electronic Journal, Vol 1, Iss 2 (1998)
A complete traversal of a container C (such as a set) is informally described by the iteration scheme for x in C F(x,C) where F is a function that might possibly modify C by inserting new elements into it. We assume that the order in which the elemen
Externí odkaz:
https://doaj.org/article/adee06abef3a407ba11db0a0e47a84c5
Autor:
Barbara W. Henderson, Lurine A. Vaughan, Allan R. Oseroff, David A. Musser, Sandra O. Gollnick, Barbara Owczarczak
Publikováno v:
Photochemistry and Photobiology. 74:811-816
Photodynamic therapy (PDT) treatment of both malignant and benign skin diseases has proven to be effective, and its use is increasing worldwide. However, preclinical studies using murine models have shown that PDT of the skin inhibits cell-mediated i
Publikováno v:
Scientific Programming, Vol 11, Iss 4, Pp 309-320 (2003)
We apply the notion of design patterns to optimizations performed by designers of software libraries, focusing especially on object-oriented numerical libraries. We formalize three design patterns that we have abstracted from many existing libraries
Publikováno v:
Information and Software Technology. 44:797-810
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and the combination of two well-designed libraries not necessarily well desig
Publikováno v:
Photochemistry and Photobiology. 69:222-225
The role of the irradiation site in the induction of suppression of the contact hypersensitivity (CHS) response following photodynamic therapy (PDT) was examined in a murine model. Laser irradiation on the flanks of nontumor-bearing Photofrin-injecte
Autor:
David R. Musser
Publikováno v:
Software: Practice and Experience. 27:983-993
Quicksort is the preferred in-place sorting algorithm in many contexts, since its average computing time on uniformly distributed inputs is Θ(N log N), and it is in fact faster than most other sorting algorithms on most inputs. Its drawback is that
Autor:
David R. Musser, Changqing Wang
Publikováno v:
IEEE Transactions on Software Engineering. 23:314-323
Dynamic verification is a new approach to formal verification, applicable to generic algorithms such as those found in the Standard Template Library (STL, part of the Draft ANSI/ISO C++ Standard Library). Using behavioral abstraction and symbolic exe
Autor:
Carlos A. Varela, David R. Musser
Publikováno v:
AGERE!@SPLASH
The actor model of distributed computing imposes important restrictions on concurrent computations in order to be valid. In particular, an actor language implementation must provide fairness, the property that if a system transition is infinitely oft
Autor:
Dominic A. DeLaurentis, Keith D. Calligaro, David J. Musser, Matthew J. Dougherty, Carol A. Raviola
Publikováno v:
Annals of Vascular Surgery. 10:143-146
The safety and cost savings of carotid endarterectomy (CEA) were determined with guidelines developed after vascular "critical pathways" were implemented. Using these guidelines, our goal was to admit patients the day of surgery and to discharge them
Autor:
Matthew J. Dougherty, Dominic A. DeLaurentis, Carol A. Raviola, David J. Musser, Keith D. Calligaro
Publikováno v:
Journal of Vascular Surgery. 22(6):649-660
Purpose: The purpose of this study was to determine whether major vascular surgery could be performed safely and with significant hospital cost savings by decreasing length of stay and implementation of vascular clinical pathways.Methods: Morbidity,