Sciweavers

4213 search results - page 671 / 843
» The Tau Parallel Performance System
Sort
View
142
Voted
FMICS
2006
Springer
15 years 8 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
ERSA
2006
133views Hardware» more  ERSA 2006»
15 years 6 months ago
An FPGA based Co-Design Architecture for MIMO Lattice Decoders
MIMO systems have attracted great attentions because of their huge capacity. The hardware implementation of MIMO decoder becomes a challenging task as the complexity of the MIMO sy...
Cao Liang, Jing Ma, Xin-Ming Huang
OPODIS
2003
15 years 6 months ago
Transient Model for Jackson Networks and Its Approximation
Jackson networks have been very successful in so many areas in modeling parallel and distributed systems. However, the ability of Jackson networks to predict performance with syste...
Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar
FAC
2008
108views more  FAC 2008»
15 years 5 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
IJCM
2002
73views more  IJCM 2002»
15 years 4 months ago
Space-Time Equations for Non-Unimodular Mappings
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
Jingling Xue, Patrick M. Lenders