1063 search results - page 27 / 213 » Programming Methodologies in GCLA |
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
—This paper argues that algorithmic skeletons are a suitable programming model for multi-core architectures. -level abstractions offered by algorithmic skeletons provide a simple...
SUM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Genetic algorithms (GAs) have been argued to constitute a flexible search thereby enabling to solve difficult problems which classical optimization methodologies may find ha...
RISE
2005
Springer
14 years 1 months ago
2005
Springer
Most of the contemporary projects require balance between agility and discipline. In the paper a software development and project management methodology called XPrince (eXtreme PRo...