6704 search results - page 920 / 1341 » Testing Scenario-Based Models |
154
Voted
HICSS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...
151
Voted
HICSS
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
171
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
152
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
176
Voted
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Meetings are an important vehicle for human interaction. The Meeting Scheduling problem (MS) considers several agents, each holding a personal calendar, and a number of meetings wh...