363 search results - page 55 / 73 » Validation coverage analysis for complex digital designs |
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...
SETA
2004
Springer
14 years 2 months ago
2004
Springer
A classical problem of digital sequence design, first studied in the 1950s but still not well understood, is to determine those binary sequences whose aperiodic autocorrelations ...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...