6201 search results - page 122 / 1241 » Implementation of Axiomatic Language |
142
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...
137
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
135
click to vote
JASIS
2000
15 years 4 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
151
click to vote
CI
1999
15 years 3 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
224
click to vote
ICOODB
2010
15 years 2 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...