797 search results - page 76 / 160 » MODULA-2 and Its Compilation |
115
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
119
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
135
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Cognitive modeling has evolved into a powerful tool for understanding and predicting user behavior. Higher-level modeling frameworks such as GOMS and its variants facilitate fast ...
240
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
254
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...