Sciweavers

4469 search results - page 487 / 894
» Dynamic Program Slicing
Sort
View
152
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 5 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
228
Voted
IV
2010
IEEE
186views Visualization» more  IV 2010»
15 years 4 months ago
Visual Amortization Analysis of Recompilation Strategies
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
Stephan Zimmer, Stephan Diehl
188
Voted
ICMLA
2009
15 years 4 months ago
Automatic Feature Selection for Model-Based Reinforcement Learning in Factored MDPs
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
Mark Kroon, Shimon Whiteson
VR
2011
IEEE
192views Virtual Reality» more  VR 2011»
14 years 10 months ago
Continual surface-based multi-projector blending for moving objects
We introduce a general technique for blending imagery from multiple projectors on a tracked, moving, non-planar object. Our technique continuously computes visibility of pixels ov...
Peter Lincoln, Greg Welch, Henry Fuchs
POPL
2006
ACM
16 years 7 months ago
The essence of command injection attacks in web applications
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
Zhendong Su, Gary Wassermann