1569 search results - page 35 / 314 » Programming contest strategy |
ICST
2011
IEEE
13 years 1 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
CLIMA
2010
13 years 11 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
ICDE
1993
IEEE
14 years 2 months ago
1993
IEEE
In this article, different techniques for 'pointer swizzling" are classified and evaluated for optimizing the access to main-memory resident persistent objects. To speed ...
CODES
2004
IEEE
14 years 1 months ago
2004
IEEE
Single chip heterogeneous multiprocessors are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs trad...