4340 search results - page 64 / 868 » Designing for change |
138
Voted
PDPTA
1997
15 years 4 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
104
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Affymetrix GeneChips™ are an important tool in many facets of biological research. Recently, notable design changes to the chips have been made. In this study, we us...
119
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
171
Voted
ICONFERENCE
2011
14 years 10 months ago
2011
While studies have considered computer-mediated decision-making in several domains, few have considered the unique challenges posed in software design. To address this gap, a qual...
234
click to vote
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...