1346 search results - page 114 / 270 » An Interface Model for Parallel Components |
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
COMPUTER
2000
13 years 8 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
ESCIENCE
2007
IEEE
14 years 3 months ago
2007
IEEE
— SAGA is a high-level programming abstraction, which significantly facilitates the development and deployment of Grid-aware applications. The primary aim of this paper is to di...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...