963 search results - page 138 / 193 » Modeling and analysis of real -time systems with mutex compo... |
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
WETICE
2003
IEEE
15 years 5 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
113
click to vote
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
With the popularity of "bag of visual terms" representations of images, many text indexing techniques have been applied in large-scale image retrieval systems. However, ...