6054 search results - page 995 / 1211 » Implementation of Andorra-based Languages |
125
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
132
click to vote
SC
2005
ACM
15 years 10 months 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...
137
click to vote
SIGCSE
2005
ACM
15 years 10 months 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...
138
click to vote
SIGECOM
2005
ACM
15 years 10 months 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 ...
122
click to vote
SIGIR
2005
ACM
15 years 10 months 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...