9231 search results - page 1581 / 1847 » informs 2008 |
165
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
138
click to vote
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
We study the complexity of locally list-decoding binary error correcting codes with good parameters (that are polynomially related to information theoretic bounds). We show that co...
134
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Loops are an important source of optimization. In this paper, we address such optimizations for those cases when loops contain kernels mapped on reconfigurable fabric. We...
122
Voted
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
119
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we present the complete design and architectural details of MAIZEROUTER. MAIZEROUTER reflects a significant leap in progress over existing publicly available routing...