Sciweavers

8947 search results - page 1631 / 1790
» Improving software quality
Sort
View
PDCAT
2005
Springer
15 years 11 months ago
An Agile Programming Model for Grid End Users
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
Zhiwei Xu, Chengchun Shu, Haiyan Yu, Haozhi Liu
132
Voted
SIGADA
2005
Springer
15 years 11 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
VLDB
2005
ACM
93views Database» more  VLDB 2005»
15 years 11 months ago
Revisiting Pipelined Parallelism in Multi-Join Query Processing
Multi-join queries are the core of any integration service that integrates data from multiple distributed data sources. Due to the large number of data sources and possibly high v...
Bin Liu, Elke A. Rundensteiner
CC
2005
Springer
153views System Software» more  CC 2005»
15 years 11 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
ACMMSP
2004
ACM
101views Hardware» more  ACMMSP 2004»
15 years 11 months ago
Metrics and models for reordering transformations
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
Michelle Mills Strout, Paul D. Hovland
« Prev « First page 1631 / 1790 Last » Next »