571 search results - page 64 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
169
click to vote
IPPS
2008
IEEE
16 years 12 days ago
2008
IEEE
The scalable parallel implementation, targeting SMP and/or multicore architectures, of dense linear algebra libraries is analyzed. Using the LU factorization as a case study, it is...
200
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
201
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
161
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
175
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...