17298 search results - page 3034 / 3460 » Abstract computing machines |
160
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
169
click to vote
HIPC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
204
click to vote
HIPC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Linear scan register allocation is an attractive register allocation algorithm because of its simplicity and fast running time. However, it is generally felt that linear ...
165
click to vote
HM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The maximum diversity problem (MDP) consists in identifying, in a population, a subset of elements, characterized by a set of attributes, that present the most diverse ch...
178
click to vote
HM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...