2778 search results - page 342 / 556 » Limit complexities revisited |
195
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
183
click to vote
ISAS
2004
Springer
15 years 12 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
192
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
146
click to vote
PET
2004
Springer
15 years 12 months ago
2004
Springer
Internet computing technologies, like grid computing, enable a weak computational device connected to such a grid to be less limited by its inadequate local computational, storage,...
211
click to vote
POLICY
2004
Springer
15 years 12 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...