1346 search results - page 9 / 270 » An Interface Model for Parallel Components |
ASPDAC
2006
ACM
14 years 10 days ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
ENTCS
2007
13 years 8 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
ICPR
2000
IEEE
14 years 29 days ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
DSRT
2003
IEEE
14 years 1 months ago
2003
IEEE