7452 search results - page 131 / 1491 » A Semantics for Multiprocessor Systems |
145
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Due to the ‘semantic gap’ between low-level visual features and the rich semantics in user’s mind, performance of traditional contentbased image retrieval systems is far from...
113
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
120
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...
129
click to vote
FORTE
2009
15 years 1 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
240
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...