2935 search results - page 50 / 587 » An Integrated Approach to High Integrity Software Verificati... |
134
click to vote
MICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
To exploit increased instruction-level parallelism available in modern processors, we describe the formation and optimization of tracenets, an integrated approach to reducing the ...
129
click to vote
AAAI
1998
15 years 5 months ago
1998
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
132
click to vote
ICDT
2001
ACM
15 years 8 months ago
2001
ACM
In fast OLAP applications it is often advantageous to provide approximate answers to range queries in order to achieve very high performances. A possible solution is to inquire sum...
142
click to vote
ACL
1996
15 years 5 months ago
1996
In this paper, we present a new approach for word sense disambiguation (WSD) using an exemplar-based learning algorithm. This approach integrates a diverse set of knowledge source...
141
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...