1288 search results - page 29 / 258 » Visual Generalization in Programming by Example |
71
Voted
VISUALIZATION
2002
IEEE
15 years 2 months ago
2002
IEEE
We have created an application, called PRIMA (Patient Record Intelligent Monitoring and Analysis), which can be used to visualize and understand patient record data. It was develo...
ESEM
2009
ACM
15 years 24 days ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
SIGCSE
2004
ACM
15 years 2 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
CP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...