9974 search results - page 1283 / 1995 » Software Interconnection Models |
184
Voted
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
207
click to vote
ACE
2004
15 years 8 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
208
click to vote
ISASSCI
2001
15 years 8 months ago
2001
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
187
Voted
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
177
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents a case study of using simulation for analyzing the impact of proposed changes in the supply chain processes for a large logistics operation. The major changes ...