1120 search results - page 21 / 224 » time 1999 |
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
FOCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We show1 that non-deterministic time NTIME(n) is not contained in deterministic time n 2and polylogarithmic space, for any > 0. This implies that (infinitely often) satisfiabi...
ICIP
1999
IEEE
16 years 1 days ago
1999
IEEE
A power optimized space-time code is presented for reliable delivery of layer coded multimedia data through wireless channels. Appropriate power control further improves the perfo...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
78
Voted
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...