Sciweavers

1190 search results - page 14 / 238
» Enhancing Sharing for Precision
Sort
View
ISSTA
2012
ACM
11 years 9 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
SIGSOFT
1995
ACM
13 years 11 months ago
Precise Interprocedural Chopping
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
Thomas W. Reps, Genevieve Rosay
TJS
2002
121views more  TJS 2002»
13 years 7 months ago
Precise Data Locality Optimization of Nested Loops
A significant source for enhancing application performance and for reducing power consumption in embedded processor applications is to improve the usage of the memory hierarchy. In...
Vincent Loechner, Benoît Meister, Philippe C...
ESWA
2008
113views more  ESWA 2008»
13 years 7 months ago
Taxonomy alignment for interoperability between heterogeneous virtual organizations
Resources in virtual organizations are classified based on their local taxonomies. However, heterogeneity between these taxonomies is a serious problem for efficient cooperation p...
Jason J. Jung
ICC
2007
IEEE
14 years 1 months ago
Enhancing the Accuracy of Position Information through Superposition of Location Server Data
— The localization of a mobile device is of essential need in order to provide location based services to the users, e.g. in an emergency situation. Several mechanisms have been ...
Sven D. Hermann, Adam Wolisz, Michel Sortais