5090 search results - page 592 / 1018 » Constructing Strategies for Programming |
172
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
163
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
151
click to vote
UM
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
167
click to vote
CSL
2004
Springer
16 years 7 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
170
click to vote
IH
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents an implementation of the novel watermarking method proposed by Venkatesan, Vazirani, and Sinha in their recent paper A Graph Theoretic Approach to Sof...