2342 search results - page 404 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
194
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
115
click to vote
AIED
2005
Springer
15 years 5 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
130
click to vote
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
LREC
2008
15 years 1 months ago
2008
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...