1650 search results - page 163 / 330 » The HOM problem is decidable |
110
click to vote
NPC
2007
Springer
15 years 10 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
133
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
134
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
112
click to vote
ACG
2006
Springer
15 years 10 months ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
165
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper advances a new methodology based on signal-path information to resolve the problem of device-level placement for analog layout. This methodology is mainly based on three...