4586 search results - page 563 / 918 » Computing stable models in parallel |
136
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
124
click to vote
ISPA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we investigate the fault tolerance of connectivity probability for CDMA-based wireless sensor networks with variations of nodes deployment. The variations ...
124
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
140
click to vote
HPDC
2006
IEEE
15 years 11 months ago
2006
IEEE
— The potential of truly large scale grids can only be realized with grid architectures and deployment strategies that lower the need for human administrative intervention, and t...
128
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...