Sciweavers

16513 search results - page 2940 / 3303
» Numerical Analysis Methods
Sort
View
RTSS
1999
IEEE
15 years 9 months ago
Timing Anomalies in Dynamically Scheduled Microprocessors
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...
Thomas Lundqvist, Per Stenström
RTSS
1999
IEEE
15 years 9 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
WCRE
1999
IEEE
15 years 9 months ago
Recovering Code to Documentation Links in OO Systems
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
HIPC
1999
Springer
15 years 9 months ago
High Performance Data Mining
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
Vipin Kumar, Jaideep Srivastava
MICCAI
1999
Springer
15 years 9 months ago
Statistical Segmentation of fMRI Activations Using Contextual Clustering
Abstract. A central problem in the analysis of functional magnetic resonance imaging (fMRI) data is the reliable detection and segmentation of activated areas. Often this goal is a...
Eero Salli, Ari Visa, Hannu J. Aronen, Antti Korve...
« Prev « First page 2940 / 3303 Last » Next »