ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ATVA
2009
Springer
14 years 21 days ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
-1 The couplings via realistic lossy substrates can be modeled as frequency-dependent coupling parameters. The fast extraction at multiple frequencies can be accomplished in two se...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Abstract-- In this paper we present the Statistical Retimingbased Timing Analysis (SRTA) algorithm. The goal is to compute the timing slack distribution for the nodes in the timing...
ATVA
2009
Springer
14 years 21 days ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Turbo decoding architectures have greater error correcting capability than any other known code. Due to their excellent performance turbo codes have been employed in several trans...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Abstract: This paper presents an approach to area optimization of arithmetic datapaths that perform polynomial computations over bit-vectors with finite widths. Examples of such de...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
As the large size of test data volume is becoming one of the major problems in testing System-on-a-Chip (SoC), several compression coding schemes have been proposed. Extended frequ...