1461 search results - page 155 / 293 » On Regular Reduced Products |
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
AMAST
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
CODES
2004
IEEE
14 years 27 days ago
2004
IEEE
Networks-on-Chip (NoC) is emerging as a practical development platform for future systems-on-chip products. We propose an energyefficient static algorithm which optimizes the ener...
SPIN
2000
Springer
14 years 22 days ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
FAST
2010
13 years 11 months ago
2010
Duplication of data in storage systems is becoming increasingly common. We introduce I/O Deduplication, a storage optimization that utilizes content similarity for improving I/O p...