Sciweavers

3104 search results - page 428 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
HIPEAC
2009
Springer
15 years 8 months ago
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
Lee W. Howes, Anton Lokhmotov, Alastair F. Donalds...
ICDE
2000
IEEE
121views Database» more  ICDE 2000»
16 years 6 months ago
Creating a Customized Access Method for Blobworld
We present the design and analysis of a customized access method for the content-based image retrieval system, Blobworld. Using the amdb access method analysis tool, we analyzed t...
Megan Thomas, Chad Carson, Joseph M. Hellerstein
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 9 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
133
Voted
KBSE
2006
IEEE
15 years 11 months ago
Integrating and Scheduling an Open Set of Static Analyses
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
Michael Eichberg, Mira Mezini, Sven Kloppenburg, K...
ICIA
2007
15 years 7 months ago
An Intelligent Discussion-Bot for Guiding Student Interactions in Threaded Discussions
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
Jihie Kim, Erin Shaw, Grace Chern, Donghui Feng