2555 search results - page 241 / 511 » Quantifiers and Working Memory |
124
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
132
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Recent studies have showed the effectiveness of job co-scheduling in alleviating shared-cache contention on Chip Multiprocessors. Although program inputs affect cache usage and thu...
128
click to vote
IWEC
2004
15 years 6 months ago
2004
In this paper, we describe our work on classification of players in Massively Multiplayer Online Games using Hidden Markov Models based on player action sequences. In our previous ...
122
click to vote
WSC
2004
15 years 6 months ago
2004
In time-parallel simulation, the simulation time axis is decomposed into a number of slices which are assigned to parallel processes for concurrent simulation. Although a promisin...
138
click to vote
COR
2008
15 years 5 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...