10666 search results - page 1537 / 2134 » Quantum programming languages |
161
click to vote
ICALP
2005
Springer
16 years 17 days ago
2005
Springer
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
208
click to vote
ILP
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
204
click to vote
PPSWR
2005
Springer
16 years 16 days ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
184
click to vote
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
160
click to vote
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...