9842 search results - page 190 / 1969 » Compositional timing analysis |
152
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We discuss two approaches for decoding at arbitrary rates in the Slepian-Wolf problem - time sharing and source splitting - both of which rely on constituent vertex decoders. We c...
192
click to vote
QEST
2006
IEEE
16 years 15 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
162
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Capacitance coupling can have a significant impact on gate delay in today's deep submicron circuits. In this paper we present a static timing analysis tool that calculates th...
168
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Time-Slotted Optical Burst Switching (TS-OBS) is one of the most promising next-generation transport network technologies. This paper proposes a time-slot assignment procedure usin...
169
click to vote
FTDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper deals with the problem of scheduling aperiodic groups of tasks in distributed systems. It proposes two contributions, namely: i) a distributed scheduling algorithm to b...