Sciweavers

5314 search results - page 358 / 1063
» Hybrid Dynamic Programming
Sort
View
IWPC
2010
IEEE
15 years 5 months ago
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains
— Program Comprehension is improved if: i) the Problem and Program Domains can be related, and ii) this relation is shown in a suitable way to the programmer. Currently, there ar...
Mario M. Beron, Maria João Varanda Pereira,...

Publication
226views
17 years 4 months ago
A Gentle Introduction to Multi-stage Programming
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
Walid Taha
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
16 years 26 days ago
Proving Termination of Tree Manipulating Programs
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tom&...
ICNS
2006
IEEE
16 years 21 days ago
Building Distributed Access Control System Using Service-Oriented Programming Model
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
Ivan Zuzak, Sinisa Srbljic, Ivan Benc
CSMR
2005
IEEE
16 years 9 days ago
Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
Andy Zaidman, Toon Calders, Serge Demeyer, Jan Par...