2625 search results - page 179 / 525 » Applications 2000 |
170
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
189
click to vote
COOPIS
2000
IEEE
15 years 10 months ago
2000
IEEE
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
210
click to vote
ESSIR
2000
15 years 10 months ago
2000
This workshop attempted to present the state-of-the-art in multilingual information access (MLIA) research and development, including cross-language information retrieval and ques...
156
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Tertiary storage systems are used when secondary storage can not satisfy the data storage requirements and/or it is a more cost effective option. The new application domains requir...
185
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes a C compiler for a mixed Processor/FPGA architecture where the FPGA is a Reconfigurable Functional Unit (RFU). It presents three compilation techniques that c...