571 search results - page 93 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
84
Voted
WSC
2007
14 years 12 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
SAMOS
2010
Springer
14 years 7 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
83
Voted
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
The Grid provides infrastructure that allows an arbitrary application to be executed on a range of different computational resources. When input files are very large, or when faul...
87
Voted
PPPJ
2004
ACM
15 years 3 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...