2286 search results - page 348 / 458 » Algorithms for Categorical Equivalence |
170
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
To effectively support today's global economy, database systems need to store and manipulate text data in multiple languages simultaneously. Current database systems do suppor...
172
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
163
click to vote
MICRO
2008
IEEE
16 years 27 days ago
2008
IEEE
Shrinking transistor sizes and a trend toward low-power processors have caused increased leakage, high per-device variation and a larger number of hard and soft errors. Maintainin...
165
click to vote
QEST
2008
IEEE
16 years 27 days ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
190
click to vote
ISAAC
2007
Springer
16 years 20 days ago
2007
Springer
Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and...