3457 search results - page 239 / 692 » A Symbol Is Not a Symbol |
188
click to vote
PPOPP
1999
ACM
15 years 11 months ago
1999
ACM
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
159
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the problem of detecting a vector of symbols that is being transmitted over a fading multiple?input multiple?output (MIMO) channel, where each symbol is an ?th root of...
203
click to vote
PRIS
2004
15 years 8 months ago
2004
Abstract. The main area of work in computer music related to information systems is known as music information retrieval (MIR). Databases containing musical information can be clas...
166
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
178
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...