1156 search results - page 14 / 232 » Implications for design |
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
—Many modern optimizers use a transformation rule based framework. While there has been a lot of work on identifying new transformation rules, there has been little work focused ...
CLUSTER
2002
IEEE
13 years 7 months ago
2002
IEEE
A Computational Grid is a collection of heterogeneous computers and resources spread across multiple administrative domains with the intent of providing users easy access to these...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
As part of a focus on electronic publications, we undertook an exploratory study of how people saved and used the information they encountered while reading. In particular, we wan...