5653 search results - page 1013 / 1131 » Distributed Conceptual Structures |
84
Voted
SPAA
2004
ACM
15 years 8 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
127
Voted
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The unprecedented growth and increased importance of geographically distributed spatial data has created a strong need for efficient sharing of such data. Interestingly, ...
129
Voted
ICIAR
2004
Springer
15 years 8 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
257
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
119
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...