6770 search results - page 172 / 1354 » How GPUs Work |
110
Voted
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
116
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
111
click to vote
ISI
2007
Springer
15 years 8 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
100
click to vote
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...