219 search results - page 27 / 44 » Automatic Verification of Determinism for Structured Paralle... |
107
click to vote
COLING
2010
14 years 4 months ago
2010
In this paper, we present an investigation into the use of cue phrases as a basis for dialogue act classification. We define what we mean by cue phrases, and describe how we extra...
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Instance based locality optimization 6 is a semi automatic program restructuring method that reduces the number of cache misses. The method imitates the human approach of consideri...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...