1362 search results - page 19 / 273 » The Projection of Systolic Programs |
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
ENTCS
2006
13 years 8 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
IFIP
1998
Springer
14 years 21 days ago
1998
Springer
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...
SIGCSE
2012
ACM
12 years 4 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
ICLP
2010
Springer
14 years 11 days ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...