3713 search results - page 495 / 743 » Constructing a Calculus of Programs |
132
click to vote
EUROPAR
2005
Springer
15 years 9 months 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...
125
click to vote
ICCS
2005
Springer
15 years 9 months 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...
105
click to vote
UM
2005
Springer
15 years 9 months 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...
131
Voted
IH
2004
Springer
15 years 9 months 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...
113
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a system software design for multiple instruction stream control in a massively parallel associative computing environment. The purpose of providing multiple ...