4382 search results - page 770 / 877 » Query by Semantic Example |
116
click to vote
FMCAD
2009
Springer
15 years 6 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...
127
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
141
click to vote
ASWSD
2006
Springer
15 years 6 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
112
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
145
click to vote
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...