Sciweavers

4276 search results - page 562 / 856
» Techniques for Empirical Validation
Sort
View
IJACTAICIT
2010
155views more  IJACTAICIT 2010»
15 years 3 months ago
Constructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
Jaakko Korpi, Jussi Koskinen
CLOUDCOM
2010
Springer
15 years 3 months ago
Usage Patterns to Provision for Scientific Experimentation in Clouds
Abstract--Driven by the need to provision resources on demand, scientists are turning to commercial and research test-bed Cloud computing resources to run their scientific experime...
Eran Chinthaka Withana, Beth Plale
CGF
2010
139views more  CGF 2010»
15 years 1 months ago
Visualization of Large-Scale Urban Models through Multi-Level Relief Impostors
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
Carlos Andújar, Pere Brunet, Antoni Chica, ...
CORR
2011
Springer
203views Education» more  CORR 2011»
15 years 1 months ago
Guided Data Repair
In this paper we present GDR, a Guided Data Repair framework that incorporates user feedback in the cleaning process to enhance and accelerate existing automatic repair techniques...
Mohamed Yakout, Ahmed K. Elmagarmid, Jennifer Nevi...
TMC
2011
203views more  TMC 2011»
15 years 1 months ago
Throughput Optimization in Mobile Backbone Networks
—This paper describes new algorithms for throughput optimization in a mobile backbone network. This hierarchical communication framework combines mobile backbone nodes, which hav...
Emily M. Craparo, Jonathan P. How, Eytan Modiano