6201 search results - page 1026 / 1241 » Implementation of Axiomatic Language |
171
click to vote
SC
2005
ACM
16 years 4 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
178
click to vote
SIGCSE
2005
ACM
16 years 4 days ago
2005
ACM
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
173
click to vote
SIGECOM
2005
ACM
16 years 4 days ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
152
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
157
click to vote
SMA
2005
ACM
16 years 4 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...