10414 search results - page 1779 / 2083 » An efficient algorithm for Co-segmentation |
139
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
183
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
113
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Considering the solution of dynamic access problems in a user hierarchy, a novel scheme based on one-way hash function is proposed to manage the cryptographic keys in the paper. T...
166
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
169
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...