5634 search results - page 350 / 1127 » About Abstract Classes |
163
click to vote
CSEE
2007
Springer
16 years 12 days ago
2007
Springer
Despite many professed benefits of collaboration, some computer science educators feel students need to master work individually, particularly in the courses early in the curricul...
145
click to vote
ECTEL
2007
Springer
16 years 12 days ago
2007
Springer
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
154
click to vote
WINE
2007
Springer
16 years 10 days ago
2007
Springer
We present a computational approach to the saddle-point formulation for the Nash equilibria of two-person, zero-sum sequential games of imperfect information. The algorithm is a ...
148
click to vote
ECLIPSE
2006
ACM
16 years 6 days ago
2006
ACM
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...
176
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...