Sciweavers

146 search results - page 2 / 30
» Understanding Algorithms by Means of Visualized Path Testing
Sort
View
POPL
2007
ACM
14 years 5 months ago
Dynamic heap type inference for program understanding and debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
Ben Liblit, Chloë W. Schulze, Marina Polishch...
ICRA
2010
IEEE
126views Robotics» more  ICRA 2010»
13 years 3 months ago
Planning short paths with clearance using explicit corridors
— A central problem of applications dealing with virtual environments is planning a collision-free path for a character. Since environments and their characters are growing more ...
Roland Geraerts
CSREASAM
2006
13 years 6 months ago
Firewall Design: Understandable, Designable and Testable
Firewalls are the cornerstones of network security. To make firewalls working effectively, firewall manager must design firewall rules and the rule order correctly. In this paper, ...
Yan-ning Huang, Yong Jiang
IIE
2007
159views more  IIE 2007»
13 years 5 months ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
APBC
2003
141views Bioinformatics» more  APBC 2003»
13 years 6 months ago
Comparison of Metabolic Pathways using Constraint Graph Drawing
Databases contain a large amount of data about metabolic pathways, in particular about similar pathways in different species. Biologists are familiar with visual representations ...
Falk Schreiber