2715 search results - page 121 / 543 » An Implementation of Narrowing Strategies |
171
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...
156
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we discuss a parallel tabu search algorithm with implementation in a heterogeneous environment. Two parallelization strategies are integrated: functional decomposit...
165
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
145
click to vote
WFLP
2000
Springer
15 years 9 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
127
click to vote
FLAIRS
2010
15 years 8 months ago
2010
Most researchers agree that there is a continuum between well-definedness and ill-definedness. However, positioning a specific problem within this continuum is not always easy. To...