Sciweavers

2658 search results - page 370 / 532
» Autonomic Computing: An Overview
Sort
View
DFG
2004
Springer
15 years 12 months ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
ICCS
2004
Springer
15 years 12 months ago
Platform-Independent Cache Optimization by Pinpointing Low-Locality Reuse
Abstract. For many applications, cache misses are the primary performance bottleneck. Even though much research has been performed on automatically optimizing cache behavior at the...
Kristof Beyls, Erik H. D'Hollander
ISMIR
2004
Springer
154views Music» more  ISMIR 2004»
15 years 12 months ago
Mapping Music In The Palm Of Your Hand, Explore And Discover Your Collection
The trends of miniaturization and increasing storage capabilities for portable music players made it possible to carry increasingly more music on small portable devices, but it al...
Fabio Vignoli, Rob van Gulik, Huub van de Wetering
ACSD
2003
IEEE
103views Hardware» more  ACSD 2003»
15 years 11 months ago
Design Validation of ZCSP with SPIN
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou D...
EDOC
2003
IEEE
15 years 11 months ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel