1860 search results - page 142 / 372 » tools 2009 |
155
click to vote
ECTEL
2009
Springer
16 years 16 days ago
2009
Springer
The work described is part of an ongoing interdisciplinary collaboration between two research teams of the University of Patras, Greece and the University of Freiburg, Germany, whi...
142
click to vote
EDUTAINMENT
2009
Springer
16 years 16 days ago
2009
Springer
Serious games are becoming a powerful tool in education. However, there are still open issues needing further research to generalize the use of videogames and game-like simulations...
153
click to vote
ESWS
2009
Springer
16 years 16 days ago
2009
Springer
Knowledge Acquisition through Semantic Annotation is vital to the evolution, growth and success of the Semantic Web. Both Semiautomatic and Manual Annotation are constricted by a ...
146
click to vote
EUROPAR
2009
Springer
16 years 16 days ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
196
click to vote
FM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...