1415 search results - page 136 / 283 » List making in the home |
170
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
166
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
206
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
207
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
189
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...